HN Links.
- Using LD_PRELOAD to cheat, inject features and investigate programs , HN Discussion
- The rxv64 Operating System: MIT's xv6, in Rust, for SMP x86_64 machines , HN Discussion
- The Development of the C Language , HN Discussion
- How Query Engines Work , HN Discussion
- Maybe Rust isn’t a good tool for massively concurrent, userspace software , HN Discussion
- Lean 4.0 , HN Discussion
- Understanding Request Latency with Profiling , HN Discussion
- Linux Network Performance Parameters Explained , HN Discussion
- WASM: Big deal or little deal? , HN Discussion
- The Raft Consensus Algorithm , HN Discussion
- Reaching the Unix philosophy's logical extreme with WebAssembly , HN Discussion
- Modernizing compiler design for Carbon's toolchain [video] , HN Discussion
- This isn’t the way to speed up Rust compile times , HN Discussion
- How to speed up the Rust compiler , HN Discussion
- Implementing Interactive Languages , HN Discussion
- Pytudes , HN Discussion
- The broad set of computer science problems faced at cloud database companies , HN Discussion
- MLIR For Beginners: A series of articles on the MLIR framework , HN Discussion
- C and C++ prioritize performance over correctness , HN Discussion
- Career advice for young system programmers , HN Discussion
- TypeScript Is Surprisingly OK for Compilers , HN Discussion
- A Guide to Undefined Behavior in C and C++ (2010) , HN Discussion
- The pool of talented C++ developers is running dry , HN Discussion
- The pool of talented C++ developers is running dry , HN Discussion
- How should I read type system notation? , HN Discussion
- I built a garbage collector for a language that doesn’t need one , HN Discussion
- The Downsides of C++ Coroutines , HN Discussion
- Exploring the Internals of Linux v0.01 , HN Discussion
- Why Static Languages Suffer from Complexity (2022) , HN Discussion
- I'm 17 and wrote this guide on how CPUs run programs , HN Discussion
- Web Scraping via JavaScript Runtime Heap Snapshots (2022) , HN Discussion
- Fantastic Learning Resources , HN Discussion
- My favorite Vim oneliners for text manipulation , HN Discussion
- Emacs 29.1 , HN Discussion
- Functions are vectors , HN Discussion
- Memory Copy Hunting , HN Discussion
- Durable Incrementality , HN Discussion
- Zenbleed , HN Discussion
- Type Systems for Memory Safety , HN Discussion
- Putting the “You” in CPU , HN Discussion
- Ask HN: Is SICP/HtDP still worth reading in 2023? Any alternatives? , HN Discussion
- Val, a high-level systems programming language , HN Discussion
- Firefox has surpassed Chrome on Speedometer , HN Discussion
- Coroutines for Go , HN Discussion
- Patching GCC to build Actually Portable Executables , HN Discussion
- Ask HN: I am interested in reading about techniques HFT firms use , HN Discussion
- Back-end parallelism in the Rust compiler , HN Discussion
- An ARM Assembler Written in Lisp , HN Discussion
- If PEP 703 is accepted, Meta can commit three engineer-years to nogil CPython , HN Discussion
- Sleeping through the technical interview (2022) , HN Discussion
- {n} times faster than C , HN Discussion
- Backend of Meta Threads is built with Python 3.10 , HN Discussion
- Regex Engine Internals as a Library , HN Discussion
- Designing a Language Without a Parser , HN Discussion
- Type system updates: moving from research into development , HN Discussion
- How to think about
async/awaitin Rust , HN Discussion - Ask HN: Could you share your personal blog here? , HN Discussion
- Joins 13 Ways , HN Discussion
- File for divorce from LLVM , HN Discussion
- Racket: Lisp for the modern day , HN Discussion
- Programming languages going above and beyond , HN Discussion
- FP2: Fully In-Place Functional Programming [pdf] , HN Discussion
- Patterns of Distributed Systems (2022) , HN Discussion
- Optimizing a ring buffer for throughput (2021) , HN Discussion
- Theory to systems: A grounded approach to programming language education (2019) , HN Discussion
- Making C++ safe without borrow checking, reference counting, or tracing GC , HN Discussion
- Compiling Typed Python , HN Discussion
- My First Impressions of Nix , HN Discussion
- Debugger Ghidra Class , HN Discussion
- GPU Programming: When, Why and How? , HN Discussion
- Building a Networked Key-Value-Store on an FPGA , HN Discussion
- How a Single Line of Code Made a 24-Core Server Slower Than a Laptop (2021) , HN Discussion
- Memory Safety Without Borrow Checking, Reference Counting, or Garbage Collection , HN Discussion
- Is parallel programming hard, and, if so, what can you do about it? , HN Discussion
- From Stacks to Trees: A new aliasing model for Rust , HN Discussion
- The Accidental HFT Firm , HN Discussion
- Writing a C Compiler (2017) , HN Discussion
- Counterexamples in Type Systems: programs that crash, segfault or explode (2021) , HN Discussion
- The Rust I wanted had no future , HN Discussion
- Why Lisp Syntax Works , HN Discussion
- V8 Maglev: compiler design doc , HN Discussion
- Show HN: Google Code Jam Archive , HN Discussion
- Zig is hard but worth it , HN Discussion
- Sketch of a Post-ORM , HN Discussion
- Learn x86-64 assembly by writing a GUI from scratch , HN Discussion
- What are the enduring innovations of Lisp? (2022) , HN Discussion
- 55 GiB/s FizzBuzz , HN Discussion
- Vectorization: Introduction , HN Discussion
- Haskell Optimization Handbook , HN Discussion
- Zeal is an offline documentation browser for software developers , HN Discussion
- A good day with Jeff Bezos , HN Discussion
- Everything you always wanted to know about mathematics (2013) [pdf] , HN Discussion
- A highly intuitive visual guide on how memory allocation works, step by step , HN Discussion
- Same Stop: Life after 26 years as a programmer for Apple , HN Discussion
- Testing a Formally Verified Compiler , HN Discussion
- How much memory do you need to run 1M concurrent tasks? , HN Discussion
- Nyxt: The Hacker's Browser , HN Discussion
- CRDT-richtext: Rust implementation of Peritext and Fugue , HN Discussion
- Managing State with Signals , HN Discussion
- The simple joys of scaling up , HN Discussion
- High Performance Browser Networking , HN Discussion
- A whirlwind tour of the LLVM optimizer , HN Discussion
- Problems harder than NP-Complete , HN Discussion
- How to do distributed locking (2016) , HN Discussion
- The JavaScript ecosystem is delightfully weird , HN Discussion
- Fuck Being Productive , HN Discussion
- Learning DNS in 10 Years , HN Discussion
- The seven specification ur-languages , HN Discussion
- Why Lisp? , HN Discussion
- RedisRaft , HN Discussion
- macOS Internals , HN Discussion
- Monoliths are not dinosaurs , HN Discussion
- Driving Compilers , HN Discussion
- Bank Failures Visualized , HN Discussion
- My favorite C compiler flags during development , HN Discussion
- Ask HN: Most interesting tech you built for just yourself? , HN Discussion
- Beautiful branchless binary search , HN Discussion
- My Thoughts on OCaml , HN Discussion
- How RocksDB Works , HN Discussion
- Coq typeclass resolution is Turing-complete , HN Discussion
- Kalyn: A self-hosting compiler for x86-64 , HN Discussion
- The Garbage Collection Handbook, 2nd Edition , HN Discussion
- Writing a Simple Garbage Collector in C (2014) , HN Discussion
- Using mmap to make LLaMA load faster , HN Discussion
- Programmer interrupted: The cost of interruption and context switching (2022) , HN Discussion
- All About Libpas, Phil's Super Fast Malloc , HN Discussion
- Llama.cpp 30B runs with only 6GB of RAM now , HN Discussion
- Ask HN: Where can I find a primer on how computers boot? , HN Discussion
- Type system of Fortnite's Verse language , HN Discussion
- Why take a compiler course? (2010) , HN Discussion
- And yet It Understands , HN Discussion
- Understanding Glibc Malloc , HN Discussion
- Cheating is All You Need , HN Discussion
- A world to win: WebAssembly for the rest of us , HN Discussion
- Ask HN: Why do many CS graduates lack foundational knowledge? , HN Discussion
- Ask HN: What has your personal website/blog done for you? , HN Discussion
- Guide to Java Virtual Threads , HN Discussion
- CS 6120: Advanced Compilers: The Self-Guided Online Course , HN Discussion
- The semantics of a simple functional language , HN Discussion
- What a good debugger can do , HN Discussion
- Carp lang: statically typed Lisp, no GC , HN Discussion
- When Zig is safer and faster than Rust , HN Discussion
- Boehm-Demers-Weiser Garbage Collector , HN Discussion
- RVVM – The RISC-V Virtual Machine , HN Discussion
- Firecracker internals: Inside the technology powering AWS Lambda (2021) , HN Discussion
- The Missing Semester of Your CS Education , HN Discussion
- C++ Coroutines , HN Discussion
- Let's write a setjmp , HN Discussion
- A Gentle Introduction to CRDTs , HN Discussion
- How a Zig IDE Could Work , HN Discussion
- Google and Mozilla are working on iOS browsers that aren't based on WebKit , HN Discussion
- SICP: the end of an era (2021) [video] , HN Discussion
- Blink virtual machine now supports running GUI programs , HN Discussion
- Ask HN: How do you test SQL? , HN Discussion
- Ask HN: What's the best lecture series you've seen? , HN Discussion
- Automerge 2.0 , HN Discussion
- Over the past 21 months I’ve written a code editor from the ground up , HN Discussion
- Forking Chrome to render in a terminal , HN Discussion
- Features I'd Like in PostgreSQL , HN Discussion
- Thoughts on what a next Rust compiler would do , HN Discussion
- How a CPU works: Bare metal C on my RISC-V toy CPU , HN Discussion
- Zero to Nix, an unofficial, opinionated, gentle introduction to Nix , HN Discussion
- Git commands you probably do not need , HN Discussion
- Sudoedit can edit arbitrary files , HN Discussion
- HC-tree is an experimental high-concurrency database back end for SQLite , HN Discussion
- The Computer Science Book (2020) , HN Discussion
- Pictures of a Working Garbage Collector , HN Discussion
- Interesting things about the Lua interpreter (2020) , HN Discussion
- Modules, not microservices , HN Discussion
- LearnCPP: Website devoted to teaching you how to program in C++ , HN Discussion
- Adding “invariant” clauses to C++ via GCC plugin to enable Design-by-Contract , HN Discussion
- Ask HN: Why did stack-based CPUs lose out? , HN Discussion
- WebAssembly: Docker Without Containers , HN Discussion
- Devpod: Remote development environment at Uber , HN Discussion
- OCaml 5.0 Multicore is out , HN Discussion
- Modern garbage collection , HN Discussion
- Beyond Functional Programming: The Verse Programming Language [pdf] , HN Discussion
- Haskell, Ada, C++, Awk: An Experiment in Prototyping Productivity (1994) [pdf] , HN Discussion
- Show HN: I wrote a free eBook about many lesser-known/secret database tricks , HN Discussion
- A Vim Guide for Advanced Users , HN Discussion
- LXD containers on macOS at near-native speeds , HN Discussion
- Cloudflare servers don't own IPs anymore so how do they connect to the internet? , HN Discussion
- Deterministic Linux for controlled testing and software bug-finding , HN Discussion
- Building the fastest Lua interpreter automatically , HN Discussion
- Why is Rosetta 2 fast? , HN Discussion
- Rust and C++ Interoperability , HN Discussion
- Rust: “Explain GATs Like I'm 5 Years Old” , HN Discussion
- drgn: A programmable C debugger, scriptable from Python , HN Discussion
- The Linux scheduler: A decade of wasted cores (2016) , HN Discussion
- Linker, can you spare a meg? (2021) , HN Discussion
- Bringing a dynamic environment to C: My linker project , HN Discussion
- Linux: What Can You Epoll? , HN Discussion
- Efficient IO in Linux with io_uring [pdf] (2019) , HN Discussion
- Hosting SQLite databases on any static file hoster (2021) , HN Discussion
- CS631 – Advanced Programming in the Unix Environment , HN Discussion
- CMSC 430: Design and Implementation of Programming Languages , HN Discussion
- Lockfree Algorithms (2010) , HN Discussion
- JDK 19 Release Notes , HN Discussion
- When to use Bazel? , HN Discussion
- Teaching C (2016) , HN Discussion
- YouTube-dl has an interpreter for a subset of JavaScript in 870 lines of Python , HN Discussion
- Go standard library: structured, leveled logging , HN Discussion
- A Brief History of Just-In-Time (2003) [pdf] , HN Discussion
- SQLite: Past, Present, and Future , HN Discussion
- Engineer distributes resume via IPv6 traceroute , HN Discussion
- How discord stores billions of messages (2017) , HN Discussion
- Show HN: Devbox – Easy, predictable shells and containers , HN Discussion
- Notes on Theory of Distributed Systems [pdf] , HN Discussion
- Rust – A hard decision pays off , HN Discussion
- Paradigms of Artificial Intelligence Programming (1992) , HN Discussion
- Erg: a statically typed language that is Python compatible , HN Discussion
- How SQLite Helps You Do ACID , HN Discussion
- Go 1.19 Released , HN Discussion
- What’s going on with Google and Facebook hiring freezes? , HN Discussion
- Use one big server , HN Discussion
- Understanding Jane Street , HN Discussion
- Twenty years of Valgrind , HN Discussion
- SQLite Internals: Pages and B-trees , HN Discussion
- Treadmill garbage collector by H. Baker , HN Discussion
- Code doesn’t have to be a mess , HN Discussion
- I've started using Firefox and can never go back to Chrome , HN Discussion
- What I wish someone would have told me about using RabbitMQ (2020) , HN Discussion
- How I went about learning Rust , HN Discussion
- The case against CS master’s degrees , HN Discussion
- A Guide to the Go Garbage Collector , HN Discussion
- Go generics are not bad , HN Discussion
- Pirate Library Mirror: Preserving 7TB of books (that are not in Libgen) , HN Discussion
- What rr does , HN Discussion
- Running Intel Binaries in Linux VMs with Rosetta , HN Discussion
- OCaml Programming: Correct and Efficient and Beautiful , HN Discussion
- Is the Ride over for Uber? , HN Discussion
- A Journey into the Linux Scheduler , HN Discussion
- What If We Could Rebuild Kafka from Scratch? , HN Discussion
- Everything You Need to Know About Incremental View Maintenance , HN Discussion
- Self-Hosting like it's 2025 , HN Discussion
- I Wrote a WebAssembly VM in C , HN Discussion
- Decorator JITs: Python as a DSL , HN Discussion
- A Gentle Introduction to Liquid Types , HN Discussion
- Mathematicians welcome computer-assisted proof in ‘grand unification’ theory , HN Discussion
- The Fastest Mutexes , HN Discussion
- F* – A Proof-Oriented Programming Language , HN Discussion
- How the OCaml type checker works (2022) , HN Discussion
- Functional languages should be so much better at mutation than they are , HN Discussion
- Clang vs. Clang , HN Discussion
- Strict-serializability, but at what cost, for what purpose? , HN Discussion
- Ask HN: Fast data structures for disjoint intervals? , HN Discussion
- How the STL Uses Explicit , HN Discussion
- Google Sheets ported its calculation worker from JavaScript to WasmGC , HN Discussion
- The borrow checker within , HN Discussion
- Visualizing algorithms for rate limiting , HN Discussion
- Bend: a high-level language that runs on GPUs (via HVM2) , HN Discussion
- Memory Consistency Models: A Tutorial , HN Discussion
- A reverse engineering of Linear's sync engine , HN Discussion
- Jemalloc Postmortem , HN Discussion
- Lens: Lenses, Folds and Traversals , HN Discussion
- WASM Agents: AI agents running in the browser , HN Discussion