pvsnp

7 ms·

1.
by pvsnp 1mo ago
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, being able to express those interfaces as external makes it
2.
by pvsnp 2mo ago
I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.
3.
by pvsnp 1y ago
Shouldn’t this be called SSH over HTTP/3?
4.
by pvsnp 2y ago
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
5.
by pvsnp 2y ago
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.
6.
by pvsnp 2y ago
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 Scribe and integrate against it but $729 is b
7.
by pvsnp 2y ago
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 centers but Apple owns the front end for it as well as any ongo
8.
by pvsnp 3y ago
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.
9.
by pvsnp 4y ago
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 ``` similarly names of services in architecture diagram
10.
by pvsnp 4y ago
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/ - Bret Victor's vision, looks really
11.
by pvsnp 5y ago
Parent organization is still General Motors, they just operate independently
12.
by pvsnp 5y ago
Wouldn’t Microsoft have had to hire Linux sysadmins to run azure products?
13.
by pvsnp 5y ago
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 do for Q. The article doesn’t mention Ethereum or heck even
14.
by pvsnp 5y ago
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 set
15.
by pvsnp 6y ago
Aren’t canonical and other distributions upstreaming changes to Debian?
16.
by pvsnp 6y ago
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 the content from elsewhere. In these business lines they have
17.
by pvsnp 9y ago
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. Comes with caveats of course, like I&#x
18.
by pvsnp 9y ago
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 networks.
19.
by pvsnp 9y ago
Clearly they must be using Lync or Skype to coordinate fixing them too -- just can't find the right tab to resume the conversations.
20.
by pvsnp 9y ago
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 them, but I'm curious what the gain i
21.
by pvsnp 10y ago
nginx, haproxy, redis all support lua scripting to name a few.
22.
by pvsnp 10y ago
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 this isn't a great tool.
23.
by pvsnp 10y ago
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 :)
24.
Service Discovery with Mesos-DNS – Mesosphere(mesosphere.com)
2 points by pvsnp 12y ago|0 comments
25.
by pvsnp 12y ago
This is really exciting move. I wonder if this would make compiling the .NET core easier in OSX and Linux?
26.
by pvsnp 12y ago
Yeah, I'd still prefer Wireshark but this is useful to know about for a variety of situations where it'd perhaps be worthwhile to see something.. if only Microsoft just exported to pcap :P
27.
by pvsnp 12y ago
Yeah, LICECAP is great. I have taken to using it for providing UI/UX feedback on Design. Just make the GIF, drag into github discussion for the issue or Pull Request. Done. :) It removes a lot of hassle of reproducing the errors for de
28.
by pvsnp 12y ago
I think the key insight here is the availability of Message Analyzer app -- I haven't used it but that's a good alternative that's supported than the hoops you sometimes have to join to run Wireshark.
29.
by pvsnp 12y ago
Oh wow, this is actually perfect if it takes off - open standards, and straightforward from what I can tell.
30.
by pvsnp 12y ago
Interesting, the analysis of NewsWeek story is pretty much what I was anticipating. It seems the Genius ecosystem has grown a fair amount since last I looked at it. I'd definitely like an account. Messaged you on Genius.

More ›