Viewing profile — pvsnp

Yes. Probably could’ve written it better but I’ve not poked around F* in a while and I was writing on my phone. Say you’re calling an external function implementation in hardware, …

I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.

Shouldn’t this be called SSH over HTTP/3?

I've wanted many things from shell but never to write Haskell in Shell. This turned something relatively naturally expressible into something so complex that requires type theory

Funny, I just learned this this week too and had it generate an ics file from an excel file. Then I realized there might be bugs, so I asked it to write program instead.

This is very cool. I've been waiting for something like this for a while. Since it's so new, are you allowing any hackability like ReMarkable? I'd like to use it instead of Amazon …

I think this makes sense for Apple to also provide the cloud capabilities similar to NVIDIA DGX so that any AI models that are targeted to Apple chips can run scaled up in data cen…

I agree. This would’ve likely saved me a lot of time that was spent on trial and error but now it’s not new. But this is great reference to forward to new folks getting started.

Don't do this. I see these names as just obvious ways to describe what things do like variables. I wouldn't want to be reading code like ``` beeblebrox = zaphod + trillian ``` simi…

I was wondering why this sounded familiar and it's from 2011. Here are various things that have been invented along the same lines as Bret mentions. * https://dynamicland.org/ - Br…

Parent organization is still General Motors, they just operate independently

Wouldn’t Microsoft have had to hire Linux sysadmins to run azure products?

Hah wow, this makes me doubt the person really understands bitcoin. The puzzle is a mathematical thing, AFAIK nobody’s poring over mysterious message drops from Satoshi like people…

Haha > Must include considerable time spent within the Infinidash lifecycle (OpenDash acceptable). Infinidash is at the core of everything we do. Why yes, I have exactly this skill…

Aren’t canonical and other distributions upstreaming changes to Debian?

While the whole of Disney has now morphed itself into an Integrator in the past 6 years or so, there are parts like ESPN and Hulu that function as Aggregators and have to curate th…

If it's not a huge change I'd rather suggest a fix while I'm in middle of something so that I don't have to update internal company documentation + code comments for special cases.…

I for one, welcome this change.. assuming I can grep for what I'm looking for in the repos. Or maybe Dash will integrate the docs so I don't have to browse around on metered LTE ne…

Clearly they must be using Lync or Skype to coordinate fixing them too -- just can't find the right tab to resume the conversations.

I'm somewhat surprised. Why would Microsoft put weight into Deis vs use something like Kubernetes or Mesos? I haven't kept up with Deis's growth and I'm obviously very happy for th…

nginx, haproxy, redis all support lua scripting to name a few.

How about this in OSX? echo "data:$(file -b --mime-type filename);base64,$(base64 filename)" | pbcopy or for linux, your favorite variant of pbcopy using xsel or xcopy? Not to say …

That one is owned by HBO still, you must be thinking of http://abc.xyz , which does contain a hidden link to http://hooli.xyz :)