Super HN

New Show
31. TLA+ Modeling Tips
32. I Ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5h
33. Prediction: AI will make formal verification go mainstream
34. Modern SID chip substitutes [video]
More 6502: https://eater.net/6502Support these videos on Patreon: https://www.patreon.com/beneater or https://eater.net/support for other ways to support.---...
35. Track Surveillance (Flock Cameras) Tech in Local Government Meetings
Track ALPR (Automated License Plate Readers), Flock Safety cameras, facial recognition, and surveillance technology discussions in local government meetings across the US. Get alerts when your city discusses surveillance tech.
36. Japan to revise romanization rules for first time in 70 years
The change is expected to be approved within the current fiscal year, then gradually rolled out in school textbooks and other materials.
37. No Graphics API
Graphics APIs and shader languages have significantly increased in complexity over the past decade. It’s time to start discussing how to strip down the abstractions to simplify development, improve performance, and prepare for future GPU workloads.
38. GitHub postponing the announced billing change for self-hosted GitHub Actions
39. The World Happiness Report is beset with methodological problems
A case study in elite misinformation.
40. Nvidia 800 Gbps ConnectX-8 SuperNIC
In our NVIDIA ConnectX-8 SuperNIC review, we show full next-gen 800G performance from the C8240 dual 400GbE card in PCIe Gen5 servers
41. Nvidia Nemotron 3 Family of Models
42. AI capability isn't humanness
Despite superficial similarities, humans and LLMs operate under fundamentally different constraints and algorithms. Scaling AI will only widen this gap.
43. FCC chair suggests agency isn't independent, word cut from mission statement
44. Pricing Changes for GitHub Actions
GitHub Actions pricing update: Discover lower runner rates (up to 39% off) following a major re-architecture for faster, more reliable CI/CD.
45. FIFA Arrives on Netflix Games
Play a newly reimagined FIFA football game exclusively on Netflix Games ahead of the FIFA World Cup 2026, available for Netflix members worldwide.
46. Nvidia plans heavy cuts to GPU supply in early 2026
Nvidia reportedly plans to axe as much as 40% of its GeForce RTX 50 series GPU production in early 2026. Why? Memory costs...
47. GPT Image 1.5
48. Dafny: Verification-Aware Programming Language
The Dafny Programming and Verification Language and tools.
49. Living Particle System
Generated by create next app
50. The US govt has revoked the non-immigrant visa of Nobel laureate Wole Soyinka [video]
The United States government has revoked the non-immigrant visa of Wole Soyinka, the Nobel laureate.In a letter dated October 23 and signed by the US consula...
51. P: Formal Modeling and Analysis of Distributed (Event-Driven) Systems
The P programming language. Contribute to p-org/P development by creating an account on GitHub.
52. 30 Years of <Br> Tags
I'm a software engineer and product builder. I write about software development, product management, and personal growth.
53. Mozilla Appoints New CEO Anthony Enzor-Demeo
Today, I step into the role of CEO of Mozilla Corporation. It is a privilege to lead an organization with a long history of standing up for people and buil
54. Rust GCC back end: Why and how
tuto articles
55. 40 percent of MRI signals do not correspond to actual brain activity
Interpretation of numerous MRI data may be incorrect: blood flow is not a reliable indicator of brain activity.
56. Playing Santa Does Things to a Man. What It Did to Bob Rutan Was Even Stranger
Bob Rutan is legendary among the tight-knit fraternity of Macy’s Santa Clauses. Like many of these men, playing Santa changed Bob. Profoundly. His story is one of struggle and failure, heartbreak and grace and—yes—the magic of Christmas.
57. Testing a cheaper laminar flow hood
Cheaper home science.
58. Writing a blatant Telegram clone using Qt, QML and Rust. And C++
59. Bonsai: A Voxel Engine, from scratch
The procedural generation voxel engine. Contribute to scallyw4g/bonsai development by creating an account on GitHub.
60. Chat-tails: Throwback terminal chat, built on Tailscale
Brian Scott made an app that's safe, simple, and educational for kids to chat in, using Tailscale's tsnet and connectivity.