22831
Static TypeScript: A Static Compiler for the TypeScript Language
Static TypeScript is designed to be useful in practice (especially in education), while being amenable to static compilation targeting small devices.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 80,921 posts.
22832
Memory Bandwidth Napkin Math
An exploration into C++ memory throughput performance.
22833
Life Is Driven by Network Effects
Revealing the Unseen Forces That Guide Your Life What city you live in. Who you date or marry. Which job you choose. What clothes you wear. We all think we make these choices ourselves. It certainly feels like we’re in full control. But it turns out that our choices — both in our startups and in … Continue reading…
22834
(n+1)sec – a protocol for distributed multiparty chat encryption
Today we present (n+1)sec, a free (libre), end-to-end secure, synchronous protocol for group chat developed by eQualit.ie with support from the Open Technology Fund. After 2 years of design, development and testing, we are releasing the (n+1)sec protocol and library for securing group conversations on various…
22835
22836
What is in that .git directory?
Well, I think most of you reading this blog use git more or less on a daily basis, but have you ever looked into what is in the .git folder that git creates? Let's explore it together and understand what is going on in there.
22837
How a CPU works: Bare metal C on my RISC-V toy CPU
I always wanted to understand how a CPU works, how it transitions from one instruction to the next and makes a computer work. So I thought: let's implement one and run a C program on it.
22838
LinuxKit: A Toolkit for Building Secure, Lean and Portable Linux Subsystems
Docker is a founding member of the Blueprint Alliance, a 12-company reference architecture for securing AI agents, built around four governance questions.
22839
Who is Anna-Senpai, the Mirai Worm Author?
On September 22, 2016, this site was forced offline for nearly four days after it was hit with “ Mirai ,” a malware strain that enslaves poorly secured Internet of Things (IoT) devices like wireless routers and security cameras into a botnet for use in large cyberattacks. Roughly a week after that assault, the…
22840
Android Performance Case Study
Measure frame time, allocations, overdraw, and repeated work before changing code; the useful optimization is the one a trace can prove.
22841
How Do You Look When Merging Fails
There was a Simpsons episode, I can’t recall correctly, but I think Bart recorded Lisa when her heart broke and he watched it in slow motion to stop exactly at that point. I thought of this e…
22842
22843
LLVM for Grad Students (2015)
LLVM is a godsend of a research tool. Here are some detailed notes on what LLVM is, why you would want to use it for research, and how to get started as a compiler hacker.
22844
22845
Piccolo – A Stackless Lua Interpreter
piccolo is an interpreter for the Lua language written in pure, mostly safe Rust with an eye towards safe sandboxing and resiliency. It uses gc-arena for its garbage collection system, and in fact gc-arena was originally created as part of piccolo .
22846
The Lisp Curse
The expressive power of Lisp has drawbacks.
22847
Women: Learn to Program This Summer
As an investor, I've found that one of the reasons there are fewer female startup founders than male ones is that there are fewer female programmers. So this summer I'm trying an experiment to see...
22848
The Gentle Singularity
We are past the event horizon; the takeoff has started. Humanity is close to building digital superintelligence, and at least so far it’s much less weird than it seems like it should be. Robots...
22849
Heinz’s sustainable ketchup cap
CT scans of Heinz's new recyclable ketchup cap reveal the channel geometry that replaced a silicone valve and why the redesign took eight years.
22850
Uncomfortable Truths in Software Engineering
New Post: ADTs in TLA+ Using Abstract Data Types in TLA+. It's an adaptation of part of my TLAConf talk. It's also a lot more advanced than most of the...
22851
22852
Eli Lilly CEO pushes back on Dario Amodei's medical claims
Where is Nathan Fielder when you need him?
22853
Does Georgism work? Is land a big deal?
A guest post on Georgism by Lars Doucet
22854
22855
22856
The impact of the ‘long peace’ on modern military capabilities
Bret Devereaux (A Collection of Unmitigated Pedantry)2023268 points325 commentsHistory & Retro Computing details
Fireside this week! We actually haven’t had one of these in quite a while; we had a gap week in April but the last Fireside looks like it was in March! In any case, here we are and here’…
22857
22858
For Want of a JOIN
Once upon a time, I was on a small team tasked with building a data pipeline. On this team was someone we’ll call Bob, who was fresh out of grad school and hadn’t had much experience with software engineering, and no experience with SQL. As part of this data pipeline, Bob had to combine the data from two tables. JOIN…
22859
How I Use Home Assistant in 2025
I’ve been using Home Assistant for about seven years now, starting back when I was living in a small apartment. At the time, my setup was modest: I …
22860
The Overview Effect – William Shatner's Words After Returning from Space
William Shatner's profound words about his experience in space after returning on Blue Origin NS-18: