Hacker News: pvsnp

New comment by pvsnp in "F*: A general-purpose proof-oriented programming language"

pvsnp — Sun, 02 Aug 2026 14:00:47 +0000

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

New comment by pvsnp in "SSH3: Faster and rich secure shell using HTTP/3"

pvsnp — Sat, 27 Sep 2025 17:34:51 +0000

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

New comment by pvsnp in "A Tour of Hell – Shell scripting Haskell dialect"

pvsnp — Wed, 02 Oct 2024 18:24:40 +0000

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

New comment by pvsnp in "Anthropic Claude 3.5 can create icalendar files, so I did this"

pvsnp — Sun, 25 Aug 2024 06:15:29 +0000

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.

New comment by pvsnp in "Daylight Computer – New 60fps e-paper tablet"

pvsnp — Thu, 23 May 2024 23:28:54 +0000

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 bit steep if it relies on an external service or something.

Oh, since it's Android under the hood, I see that kindle just works?

how's the battery life?

New comment by pvsnp in "Apple Is Developing AI Chips for Data Centers, Seeking Edge in Arms Race"

pvsnp — Tue, 07 May 2024 02:01:17 +0000

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 ongoing optimizations

New comment by pvsnp in "More than you've ever wanted to know about errors in Rust (2022)"

pvsnp — Sat, 22 Jul 2023 18:47:55 +0000

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.

New comment by pvsnp in "Names should be cute, not descriptive"

pvsnp — Tue, 10 Jan 2023 07:41:12 +0000

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 shouldn't be undecipherable (outside of perhaps ultra secret projects -- then maybe those agencies should have a name generator :) ). The cute names even if based on some theme get very old and the cultural context almost always gets lost once the company/team outgrows. Also it's a much easier to refactor away a new service if lets say you find yourself adding a completely unrelated feature to a service named "accounting" or something boring,whereas if you named it "hades" or something cutesy, you don't have any indicator whether the feature has outgrown. I've found it much easier to deprecate/sunset services and systems when they're obviously named too. One exception I'd say is when nicknames just arise and it becomes obvious to call it that. It's very rare and it happens. Borg at google is perhaps a good example here. It's so all encompassing that it's obvious what it means and calling it another name like "container orchestrator" or something similar perhaps doesn't have same gravitas. I think Microsoft had something called Autopilot which is even clearer but not it can be applied to many things.

New comment by pvsnp in "A brief rant on the future of interaction design (2011)"

pvsnp — Fri, 27 May 2022 14:21:56 +0000

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 cool * Kinect was released (November 4, 2010) a little before this article and presented another vision of future, but the market didn't think so * Oculus now detects hands and I'm pretty hopeful this will add more gestures and similar gait detection will be huge for interfaces

All in all, the incremental changes are starting to look more like what Bret is suggesting rather than purely "pane of glass"

New comment by pvsnp in "Cruise is opening driverless cars to the public in San Francisco"

pvsnp — Tue, 01 Feb 2022 23:32:49 +0000

Parent organization is still General Motors, they just operate independently

New comment by pvsnp in "Have Times Changed"

pvsnp — Fri, 07 Jan 2022 21:00:47 +0000

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

New comment by pvsnp in "The Cult of Crypto"

pvsnp — Sat, 11 Sep 2021 14:10:03 +0000

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 ESG concerns. I’d buy the argument that it’s a cult much like Communism is a cult, an idea taken to the extreme that’d cause lot of pain but the way it is written is sloppy.

>Though its lack of a single leading figure and its amorphous online footprint marks it out from traditional cults, some say the cryptocurrency movement bears a striking resemblance to another progeny of the digital age: the QAnon super-conspiracy.

> “Both have doctrine passed down by a mysterious unknown founder, puzzle-solving, and internet meme culture and lots of predictions about politics/economics that are completely unfalsifiable,” says Diehl. “They’re both rooted in this ideology that claims to oppose a common enemy: corruption and untrustworthy intermediaries, and both see the internet as the way to finally eradicate those problems in some great apocalyptic event.”

New comment by pvsnp in "New mystery AWS product ‘Infinidash’ goes viral despite being entirely fictional"

pvsnp — Mon, 05 Jul 2021 13:59:13 +0000

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

New comment by pvsnp in "Debian Packages That Need Lovin'"

pvsnp — Sat, 20 Feb 2021 22:19:39 +0000

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

New comment by pvsnp in "Disney and Integrators versus Aggregators"

pvsnp — Tue, 13 Oct 2020 15:24:47 +0000

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 less of an ability to extract the 100% margin like Disney+. They’re dependent on NFL, NBA for the rights, and on Hulu for other studios to sell them the rights to stream the movies and shows. They attempted something closer to integrator approach at ESPN with X-Games but its scale dwarfed in comparison. I do like that Disney is moving ahead and integrating and building better content. It took them a lot of acquisitions and strategic planning to get here. When I worked there, it was a really hard sell to bring this streaming expertise in-house. I was relatively junior employee and didn’t realize that a company like Disney can just buy the best streaming platform that they’d been using, MLBAM and build their streaming technology around it.

New comment by pvsnp in "AWS documentation is now open source and on GitHub"

pvsnp — Wed, 14 Mar 2018 01:19:04 +0000

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'm not going to spend a lot of time waiting to merge the PR for Amazon's docs. But given how many people use it, it's sort of for greater good anyway.

New comment by pvsnp in "AWS documentation is now open source and on GitHub"

pvsnp — Wed, 14 Mar 2018 01:16:49 +0000

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.

New comment by pvsnp in "[dead]"

pvsnp — Fri, 09 Jun 2017 15:40:19 +0000

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

New comment by pvsnp in "Deis to Join Microsoft"

pvsnp — Mon, 10 Apr 2017 14:53:41 +0000

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 is. Based on HN posts and other devops forums, Kubernetes eeems to have gained a lot of momentum recently.

New comment by pvsnp in "Lua as a Python’s secret weapon"

pvsnp — Wed, 30 Nov 2016 03:57:01 +0000

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