Rob Pike’s Rules of Programming (1989)

OpenRocket

Austin’s surge of new housing construction drove down rents

A sufficiently detailed spec is code

As an experiment I started asking Claude to explain things to me with a fiction story and it ended up being really good, so I started seeing how far I could take it and what it would take to polish it enough to share publicly.Over the last couple months, I&#x27;ve been building world bibles, writing and visual style guides, and other documents for this project… think the fiction equivalent of all the markdown files we use for agentic development now. After that, this was about two weeks of additional polish work to cut out a lot of fluff and a lot of the LLM-isms. Happy to answer any questions about the process too if that would be interesting to anybody.

Warranty Void If Regenerated

Nvidia greenboost: transparently extend GPU VRAM using system RAM/NVMe

Nvidia NemoClaw

Wander – A tiny, decentralised tool to explore the small web

Show HN: I built 48 lightweight SVG backgrounds you can copy/paste

OpenAI Has New Focus (on the IPO)

Hey HN, If you’ve been lucky enough to be on a flight with Starlink, you understand the hype. It actually works!However, its availability on flights is patchy and hard to predict. So we built a database of all airlines that have rolled out Starlink (beyond just a trial), and a flight search tool to predict it. Plug in a flight number and date, and we&#x27;ll estimate the likelihood of Starlink on-board based on aircraft type and tail number.If you don’t have any trips coming up, you can also look up specific routes to see what flights offer Starlink. You can find it here: <a href="https:&#x2F;&#x2F;stardrift.ai&#x2F;starlink">https:&#x2F;&#x2F;stardrift.ai&#x2F;starlink</a> .-I wanted to add a few notes on how this works too. There are three things we check, in order, when we answer a query:- Does this airline have Starlink?- Does this aircraft body have Starlink?- Does this specific aircraft have Starlink?Only a few airlines at all have Starlink right now: United, Hawaiian, Alaskan, Air France, Qatar, JSX, and a handful of others. So if an aircraft is operated by any other airline, we can issue a blanket no immediately.Then, we check the actual body that&#x27;s flying on the plane. Airlines usually publish equipment assignments in advance, and they&#x27;re also rolling out Starlink body-by-body. So we know, for instance, that all JSX E145s have Starlink and that none of Air France&#x27;s A320s have Starlink. (You can see a summary of our data at <a href="https:&#x2F;&#x2F;stardrift.ai&#x2F;starlink&#x2F;fleet-summary">https:&#x2F;&#x2F;stardrift.ai&#x2F;starlink&#x2F;fleet-summary</a>, though the live logic has a few rules not encoded there.)If there&#x27;s a complete match at the body type level, we can confidently tell you your flight will have Starlink. However, in most cases, the airline has only rolled out a partial upgrade to that aircraft type. In that case, we need to drill down a little more and figure out exactly which plane is flying on your route.We can do this by looking up the &#x27;tail number&#x27; (think of it as a license plate for the plane). Unfortunately, the tail number is usually only assigned a few days before a flight. So, before that, the best we can do is calculate the probability that your plane will be assigned an aircraft with Starlink enabled.To do this, we had to build a mapping of aircraft tails to Starlink status. Here, I have to thank online airline enthusiasts who maintain meticulous spreadsheets and forum threads to track this data! As I understand it, they usually get this data from airline staff who are enthusiastic about Starlink rollouts, so it&#x27;s a reliable, frequently updated source. Most of our work was finding each source, normalizing their formats, building a reliable &amp; responsible system to pull them in, and then tying them together with our other data sources.Basically, it&#x27;s a data normalization problem! I used to work on financial data systems and I was surprised how similar this problem was.-Starlink itself is also a pretty cool technology. I also wrote a blog post (<a href="https:&#x2F;&#x2F;stardrift.ai&#x2F;blog&#x2F;why-is-starlink-so-good">https:&#x2F;&#x2F;stardrift.ai&#x2F;blog&#x2F;why-is-starlink-so-good</a>) on why it&#x27;s so much better than all the other aircraft wifi options out there. At a high level, it&#x27;s only possible because rocket launches are so cheap nowadays, which is incredibly cool.The performance is great, so it&#x27;s well worth planning your flights around it where possible. Right now, your best bet in the US is on United regional flights and JSX&#x2F;Hawaiian. Internationally, Qatar is the best option (though obviously not right now), with Air France a distance second. This will change throughout the year as more airlines roll it out though, and we&#x27;ll keep our database updated!

Show HN: Will my flight have Starlink?

Cook: A simple CLI for orchestrating Claude Code

Conway's Game of Life, in real life

Mozilla to launch free built-in VPN in upcoming Firefox 149

What 81,000 people want from AI

The math that explains why bell curves are everywhere

I replicated David Ng&#x27;s RYS method (<a href="https:&#x2F;&#x2F;dnhkng.github.io&#x2F;posts&#x2F;rys&#x2F;" rel="nofollow">https:&#x2F;&#x2F;dnhkng.github.io&#x2F;posts&#x2F;rys&#x2F;</a>) on consumer AMD GPUs 
(RX 7900 XT + RX 6950 XT) and found something I didn&#x27;t expect.Transformers appear to have discrete &quot;reasoning circuits&quot; — contiguous blocks of 3-4 layers that 
act as indivisible cognitive units. Duplicate the right block and the model runs its reasoning 
pipeline twice. No weights change. No training. The model just thinks longer.The results on standard benchmarks (lm-evaluation-harness, n=50):Devstral-24B, layers 12-14 duplicated once:
- BBH Logical Deduction: 0.22 → 0.76
- GSM8K (strict): 0.48 → 0.64
- MBPP (code gen): 0.72 → 0.78
- Nothing degradedQwen2.5-Coder-32B, layers 7-9 duplicated once:
- Reasoning probe: 76% → 94%The weird part: different duplication patterns create different cognitive &quot;modes&quot; from the same 
weights. Double-pass boosts math. Triple-pass boosts emotional reasoning. Interleaved doubling 
(13,13,14,14,15,15,16) creates a pure math specialist. Same model, same VRAM, different routing.The circuit boundaries are sharp — shift by one layer and the effect disappears or inverts. 
Smaller models (24B) have tighter circuits (3 layers) than larger ones (Ng found 7 layers in 72B).Tools to find circuits in any GGUF model and apply arbitrary layer routing are in the repo. 
The whole thing — sweep, discovery, validation — took one evening.Happy to answer questions.

Show HN: Duplicate 3 layers in a 24B LLM, logical deduction .22→.76. No training

Autoresearch for SAT Solvers

Book: The Emerging Science of Machine Learning Benchmarks

RX – a new random-access JSON alternative