Hacker News: cpeterso

New comment by cpeterso in "CUDA-oxide: Nvidia's official Rust to CUDA compiler"

cpeterso — Mon, 11 May 2026 18:14:04 +0000

Here's a recording of a 2020 presentation ("Securing the Future of Safety and Security of Embedded Software") from NVIDIA at the AdaCore conference:

https://www.youtube.com/watch?v=2YoPoNx3L5E

New comment by cpeterso in "Bun's experimental Rust rewrite hits 99.8% test compatibility on Linux x64 glibc"

cpeterso — Sun, 10 May 2026 01:28:01 +0000

What coding model are you using for the rewrite? Opus for everything? A prerelease model like Mythos?

New comment by cpeterso in "Spotify adds 'Verified' badges to distinguish human artists from AI"

cpeterso — Fri, 01 May 2026 20:08:17 +0000

Once Spotify has this AI metadata, I'd like a setting to hide AI "artists" from my recommendations and playlists.

New comment by cpeterso in "The route from Prussian military headquarters to Gary Gygax’s basement"

cpeterso — Mon, 27 Apr 2026 16:13:00 +0000

Thanks! I’ll check out his other books.

New comment by cpeterso in "The route from Prussian military headquarters to Gary Gygax’s basement"

cpeterso — Sun, 26 Apr 2026 18:46:41 +0000

I have the first edition sitting on my shelf, waiting to be read. I didn’t realize there was a new edition!

Do you recommend I upgrade to the second edition instead reading the first edition I already have? Amazon says the first edition has 720 pages, while the second editions’ volumes 1 + 2 have 1186 pages!

Mozilla Used Anthropic's Mythos to Find and Fix 271 Bugs in Firefox

cpeterso — Tue, 21 Apr 2026 19:49:53 +0000

Article URL: https://www.wired.com/story/mozilla-used-anthropics-mythos-to-find-271-bugs-in-firefox/

Comments URL: https://news.ycombinator.com/item?id=47853649

Points: 41

# Comments: 18

New comment by cpeterso in "YouTube users get option to set their Shorts time limit to zero minutes"

cpeterso — Thu, 16 Apr 2026 00:41:56 +0000

I use the "Unhook" Firefox extension to customize the YouTube page. You can hide shorts, comments, recommendations, the home page feed, and more.

https://unhook.app/

Meta creating AI version of Mark Zuckerberg so staff can talk to the boss

cpeterso — Tue, 14 Apr 2026 23:30:01 +0000

Article URL: https://www.theguardian.com/technology/2026/apr/13/meta-ai-mark-zuckerberg-staff-talk-to-the-boss

Comments URL: https://news.ycombinator.com/item?id=47772812

Points: 4

# Comments: 1

Intuit compressed months of tax code implementation into hours

cpeterso — Mon, 13 Apr 2026 06:47:54 +0000

Article URL: https://venturebeat.com/data/intuit-compressed-months-of-tax-code-implementation-into-hours-and-built-a

Comments URL: https://news.ycombinator.com/item?id=47748520

Points: 1

# Comments: 0

Linux kernel maintainers are following through on removing Intel 486 support

cpeterso — Tue, 07 Apr 2026 18:36:53 +0000

Article URL: https://arstechnica.com/gadgets/2026/04/linux-kernel-maintainers-are-following-through-on-removing-intel-486-support/

Comments URL: https://news.ycombinator.com/item?id=47679503

Points: 18

# Comments: 1

New comment by cpeterso in "Endian wars and anti-portability: this again?"

cpeterso — Mon, 06 Apr 2026 03:04:50 +0000

A post about big-endian testing with QEMU was posted on HN just a few days ago:

https://news.ycombinator.com/item?id=47626462

https://www.hanshq.net/big-endian-qemu.html

New comment by cpeterso in "C++26 is done: ISO C++ standards meeting Trip Report"

cpeterso — Sun, 29 Mar 2026 21:46:56 +0000

Clang’s C++2c implementation status page simply says “no” for both reflection and contracts. GCC’s says “yes”.

https://clang.llvm.org/cxx_status.html

https://gcc.gnu.org/projects/cxx-status.html

Attie: The Future of AI Should Serve People, Not Platforms

cpeterso — Sun, 29 Mar 2026 21:35:23 +0000

Article URL: https://theliquidfrontier.leaflet.pub/3mi5pwkoqx22g

Comments URL: https://news.ycombinator.com/item?id=47567592

Points: 4

# Comments: 1

New comment by cpeterso in "Go Naming Conventions: A Practical Guide"

cpeterso — Sun, 29 Mar 2026 17:34:11 +0000

> Wisdom I received from, IIRC, the Perl documentation decades ago

Perl is a language renowned for being difficult to read and maintain.

New comment by cpeterso in "OpenCode – Open source AI coding agent"

cpeterso — Fri, 20 Mar 2026 23:50:20 +0000

OpenCode's creator acknowledged that the ease of shipping has let them ship prototype features that probably weren't worth shipping and that they need to invest more time cleaning up and fixing things.

https://x.com/thdxr/status/2031377117007454421

New comment by cpeterso in "Drugwars for the TI-82/83/83 Calculators (2011)"

cpeterso — Fri, 20 Mar 2026 15:25:32 +0000

I was curious why some expressions in the code used the character ù, such as “If Zù500”. It looks like a character encoding error, but the code presumably works correctly. ChatGPT says the byte value for ≤ in TI-BASIC is the same as ù in ANSI/Windows-1252 (0xF9).

New comment by cpeterso in "When AI writes the software, who verifies it?"

cpeterso — Wed, 04 Mar 2026 02:18:21 +0000

Looks like LLMs also find Dafny easier to write than Lean. This study, “A benchmark for vericoding: formally verified program synthesis”, reports:

> We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications … We find vericoding success rates of 27% in Lean, 44% in Verus/Rust and 82% in Dafny using off-the-shelf LLMs.

https://arxiv.org/html/2509.22908v1

New comment by cpeterso in ""Cancel ChatGPT" movement goes mainstream after OpenAI closes deal with U.S. Dow"

cpeterso — Sat, 28 Feb 2026 23:10:45 +0000

And they can get “too build to fail” bailouts from the US government after they are dependent on ChatGPT.

New comment by cpeterso in "I am directing the Department of War to designate Anthropic a supply-chain risk"

cpeterso — Fri, 27 Feb 2026 22:46:26 +0000

Good PR for Anthropic: the DoD already has contracts with OpenAI and xAI, but is still so eager to use Claude that they must threaten Anthropic.

New comment by cpeterso in "Show HN: Hacker Smacker – Spot great (and terrible) HN commenters at a glance"

cpeterso — Thu, 26 Feb 2026 21:12:01 +0000

> Version two: hide foes?

That's a good idea.

Here's my bad idea: the extension auto downvotes foes and auto upvotes friends. :)