HN user

williamstein

7,395 karma
Posts176
Comments1,111
View on HN
old.reddit.com 2mo ago

Codex downloaded by Xcode 26.4.1 reported as Malware

williamstein
3pts1
www.nteract.io 3mo ago

Nteract 2.0: A ground-up rebuild of the notebook app

williamstein
3pts0
bup.github.io 11mo ago

Bup: It Backs Things Up

williamstein
11pts2
developer.nvidia.com 1y ago

Transforming Quantum Education with AI Supercomputing and Nvidia CUDA-Q Academic

williamstein
1pts0
www.localfirstconf.com 1y ago

Local-First Conf 2025

williamstein
5pts0
fortune.com 1y ago

Amazon blew Alexa's shot to dominate AI, according to employees (2024)

williamstein
68pts57
brokee.io 1y ago

Integrating NATS and JetStream: Modernizing Our Internal Communication

williamstein
2pts1
www.ams.org 1y ago

Ribet to Receive 2025 AMS Steele Prize for Seminal Research

williamstein
1pts0
clickup.com 1y ago

Jupyter Notebook Alternatives and Competitors in 2024

williamstein
2pts5
time.com 1y ago

Why Surgeons Are Wearing the Apple Vision Pro in Operating Rooms

williamstein
95pts80
www.youtube.com 1y ago

Deno 2

williamstein
10pts0
time.com 1y ago

I Quit Teaching Because of ChatGPT

williamstein
74pts160
deepnote.com 1y ago

Deepnote Acquires Hyperquery

williamstein
1pts0
juicefs.com 2y ago

Is Posix Unsuitable for Object Stores? A Data-Backed Answer

williamstein
2pts0
wccftech.com 2y ago

Apple Vision Pro Successor Not Expected Until End of 2026

williamstein
29pts61
arxiv.org 2y ago

Exploiting Kubernetes' Image Pull Implementation to Deny Node Availability

williamstein
2pts0
blog.zulip.com 2y ago

A new Zulip plan for self-hosting without commercial support

williamstein
3pts0
blog.zulip.com 2y ago

Zulip 8.0: Threaded open-source team chat

williamstein
5pts0
cocalc.com 2y ago

Major Price Cuts: Deepnote versus Cocalc

williamstein
1pts0
www.neowin.net 2y ago

Microsoft is reportedly losing lots of money per user on GitHub Copilot

williamstein
34pts31
newsletter.mollywhite.net 2y ago

Review: Michael Lewis's Going Infinite

williamstein
1pts0
venturebeat.com 2y ago

CoreWeave came ‘out of nowhere.’ Now it’s poised to make $$$ with its GPU cloud

williamstein
3pts0
news.ycombinator.com 3y ago

Ask HN: What is going on regarding quality of service for API access to LLM's?

williamstein
4pts1
qdrant.tech 3y ago

Why Rust? (Qdrant Vector Database)

williamstein
3pts0
blog.zulip.com 3y ago

When “free forever” means “free for the next 4 months”

williamstein
414pts258
the-decoder.com 3y ago

“Gemini”: Google and Deepmind develop GPT-4 competition

williamstein
1pts0
futurism.com 3y ago

Economist Says AI Is a Doomed Bubble

williamstein
3pts1
www.salon.com 3y ago

AI chatbots are having their “tulip mania” moment

williamstein
76pts167
phys.org 3y ago

Mathematical theorem used to crack US Government encryption algorithm

williamstein
9pts0
newsletter.mollywhite.net 3y ago

The Sam Bankman-Fried empire crumbled. What does it mean? (part two)

williamstein
37pts0

I strongly disagree with "Claim 1: Every goal of code review can be served by agents at lower cost and higher throughput." They define the goals and include this one:

"Knowledge transfer. Agents can actively generate on-demand explanations, architectural summaries, and updated documentation at merge time, which is a more reliable and scalable mechanism for propagating knowledge than the incidental commentary of a busy colleague.

Knowledge transfer is much more than what they claim. An critical goal of code review is making sure humans do deeply understand overall what software actually does. Code is far more precise and detailed than any "on-demand explanations, architectural summaries, and updated documentation."

Mojo 1.0 Beta 3 months ago

Mojo is still NOT open source (the standard library is but not the compiler). Open source is table stakes for a modern programming language.

This exact thing solves a huge problem with SEA binaries as he points out in his post. You can include complicated assets easily and skip an ugly unpack step entirely. This is very useful.

Write-only code 5 months ago

He is trying to use a different phrase “write-only code” to define exactly the same thing Karpathy defined last year as “vibe coding”.

For what it is worth, in my experience one of the most important skills one should strive to get much better at to be good at using coding agents is reading and understanding code.

Checkpoints run as a Git-aware CLI. On every commit generated by an agent, it writes a structured checkpoint object and associates it with the commit SHA. The code stays exactly the same, we just add context as first-class metadata. When you push your commit, Checkpoints also pushes this metadata to a separate branch (entire/checkpoints/v1), giving you a complete, append-only audit log inside your repository. As a result, every change can now be traced back not only to a diff, but to the reasoning that produced it.

The context for every single turn could in theory be nearly 1MB. Since this context is being stored in the repo and constantly changing, after a thousand turns, won't it make just doing a "git checkout" start to be really heavy?

For example, codex-cli stores every single context for a given session in a jsonl file (in .codex). I've easily got that file to hit 4 GB in size, just working for a few days; amusingly, codex-cli would then take many GB of RAM at startup. I ended up writing a script that trims the jsonl history automatically periodically. The latest codex-cli has an optional sqlite store for context state.

My guess is that by "context", Checkpoints doesn't actually mean the contents of the context window, but just distilled reasoning traces, which are more manageable... but still can be pretty large.

I strongly agree. The memory and cpu usage of codex-cli is also extremely good. That codex-cli is open source is also valuable because you can easily get definitive answers to any questions about its behavior.

I also was annoyed by Theo saying that.

Jepsen: NATS 2.12.1 8 months ago

For example, https://github.com/williamstein/nats-bugs/issues/5 links to a discussion I have with them about data loss, where they fundamentally don't understand that their incorrect defaults lead to data loss on the application side. It's weird.

I got very deep into using NATS last year, and then realized the choices it makes for persistence are really surprising. Another horrible example if that server startup time is O(number of streams), with a big constant; this is extremely painful to hit in production.

I ended up implementing from scratch something with the same functionality (for me as NATS server + Jetstream), but based on socket.io and sqlite. It works vastly better for my use cases, since socketio and sqlite are so mature.