Lean Grimoire(terrytao.wordpress.com)
51 points by smilelamp | 8 comments
Terence Tao blog post announcing Lean Grimoire, a coding-agent-rebuilt version of his QED logic crafting game with Lean proof display and a fantasy mode.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Pointer Provenance in Rust vs. C++: Pointers Are Not Just Glorified Ints(sofiabelen.github.io)
16 points by sofiabelenlopez | 6 comments
A blog tutorial explaining pointer provenance, inspecting it via LLVM IR, and comparing C++ integer casts with Rust's addr() and with_addr() provenance APIs.
The Hackintosh Reborn(naut.ca)
385 points by rubatuga | 223 comments
Blog post arguing AI coding tools like Claude Code are reviving the Hackintosh community, citing macOS ports to Snapdragon, ARM SBCs, and Nvidia GPU support.
JIT bitmap text rendering for microcontrollers(linebender.org)
102 points by dmit | 22 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller in his vic-2350 project.
JIT bitmap text rendering for microcontrollers(linebender.org)
5 points by raphlinus | 1 comments
Raph Levien's Linebender blog post describing a JIT technique for fast proportional bitmap text rendering on the RP2350 microcontroller for his vic-2350 project.
The long life of Apache httpd 2.4(utcc.utoronto.ca)
156 points by ingve | 121 comments
Related stories
Why pipes sometimes get "stuck": buffering(jvns.ca)
343 points by tanelpoder | 85 comments
Julia Evans blog post explaining why Unix pipelines like tail -f | grep | grep appear stuck due to output buffering, and how to fix it.
How we made our MMDB files a 33% smaller(ipinfo.io)
26 points by mmaia | 4 comments
IPinfo blog post explaining how hash-consing duplicate search-tree subtrees shrank their MMDB database files by 31–80%, with an open-sourced mmdbshrink tool.
Kafka is Fast – I'll use Postgres(topicpartition.io)
500 points by enether | 359 comments
Blog post benchmarking Postgres as a pub-sub and queue system compared to Kafka, arguing for simpler, boring technology choices.
I charged $18k for a Static HTML Page (2019)(idiallo.com)
412 points by caminanteblanco | 106 comments
Ibrahim Diallo's 2019 blog post recounting how he charged $18,000 for building a single static HTML page as a contractor.
Writing "/etc/hosts" breaks the Substack editor(scalewithlee.substack.com)
604 points by scalewithlee | 327 comments
Blog post describing how typing the path /etc/hosts in the Substack editor triggers a network error, likely due to a web application firewall filtering rule.
Publish on your own site, syndicate elsewhere(indieweb.org)
1006 points by 47thpresident | 235 comments
IndieWeb wiki page explaining POSSE (Publish on your Own Site, Syndicate Elsewhere), the practice of posting content on your own site and copying it to other platforms.