without-tags.
- Essentials: Understand & Improve Memory Using Science-Based Tools
- Plain Text Accounting & Financial Reporting
- Ten Enduring Lessons from Adam Smith
- Simplify, Then Add Lightness
- S3 Files and the changing face of S3
- Good Taste the Only Real Moat Left
- The Git Commands I Run Before Reading Any Code
- Slightly safer vibecoding by adopting old hacker habits
- I Rebuilt Traceroute in Rust and It Was Simpler Than I Expected
- Dictionary of Algorithms and Data Structures
- Stacked log lines considered harmful
- Decentralized Infrastructure for (Neuro)science
- Clinical trial shows gene editing works for β-Thalassaemia, too
- Helium Is Hard to Replace
- 20 Years on AWS and Never Not My Job
- ELF & Dynamic Linking
- Investigating Split Locks on x86-64
- The Problem That Built an Industry
- On getting robbed
- Social media is a demonic force in the world
- The crisis of central banking is structural
- Why ATMs didn’t kill bank teller jobs, but the iPhone did
- A lot of population numbers are fake
- Lean proved this program was correct; then I found a bug. 13 Apr, 2026 lean formal_verification security fuzzing
- It's OK to compare floating-points for equality
- CWE-122: Heap-based Buffer Overflow
- What is a Heap Overflow? How It Works & Examples
- Good sleep, good learning, good life
- Notion’s Token Town: 5 Rebuilds, 100+ Tools, MCP vs CLIs and the Software Factory Future — Simon Last & Sarah Sachs of Notion
- How Women Can Improve Their Fertility & Hormone Health | Dr. Natalie Crawford
- Essentials: The Biology of Aggression, Mating & Arousal | Dr. David Anderson
- DHH’s new way of writing code
- Extreme Harness Engineering: 1M LOC, 1B toks/day, 0% human code, 0% human review — Ryan Lopopolo, OpenAI Frontier & Symphony
- Best Paper Awards in Computer Science
- Building a Dry-Run Mode for the OpenTelemetry Collector
- AI agents keep failing. The fix is 40 years old.
- A tail-call interpreter in (nightly) Rust
- If you thought the speed of writing code was your problem - you have bigger problems
- Many Great Inventions Weren’t Made by “Serendipity”
- Thoughts on slowing the fuck down
- Neural network training makes beautiful fractals
- The Second-System Pit of Failure
- Absurd In Production
- Understanding LLMs from Scratch Using Middle School Math
- Escape Routes
- Why Lean?
- Reactivity reading
- Why Nobody Can Verify What Booted Your Server
- Making a Type Checker/LSP for Nix
- Ideas for math tools
- Information and Technological Evolution
- Marc Andreessen is wrong about introspection
- When Did Poor People Get Fat?
- Salarymen, specialists, and small businesses
- How citations ruined science
- Attention is all we have
- Analyzing round trip query latency
- What Category Theory Teaches Us About DataFrames
- A sea of sparks: Seeing radioactivity
- Introducing PostTrainBench
- We Built It With Slide Rules. Then We Forgot How.
- When AI Writes the World's Software, Who Verifies It?
- Every layer of review makes you 10x slower
- Working on products people hate
- The Org Chart Math Behind AI-Native Speed
- A fighting retreat
- Redis Patterns for Coding Agents
- Measuring AI Ability to Complete Long Software Tasks
- Learn Something Old Every Day, Part XVIII: How Does FPU Detection Work?
- Linux is an interpreter
- Building a guitar trainer with embedded Rust
- What about juniors?
- Hold on to Your Hardware
- The Age of the Amplifier
- From zero to a RAG system: successes and failures
- TurboQuant: Redefining AI efficiency with extreme compression
- How Writing Changes Mathematical Thought | Quanta Magazine
- In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine
- On Typing and Keyboards
- Navigating AI: Critical Thinking in the Age of LLMs
- Zero-Degree-of-Freedom LLM Coding using Executable Oracles
- Which Future?
- Let's see Paul Allen's SIMD CSV parser
- A real-world case of property-based verification
- Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you from it)
- Actually, people love to work hard
- Every GPU That Mattered
- Git's Magic Files
- MongoDB Query Planner
- Floating point from scratch: Hard Mode
- Signals, the push-pull based algorithm
- We Found a Ticking Time Bomb in macOS TCP Networking — It Detonates After Exactly 49 Days
- Ah, Peptides. Where to Begin?
- Cultivating Awe & Emotional Connection in Daily Life | Dr. Dacher Keltner
- Marc Andreessen introspects on The Death of the Browser, Pi + OpenClaw, and Why "This Time Is Different"
- Moonlake: Causal World Models should be Multimodal, Interactive, and Efficient — with Chris Manning and Fan-yun Sun
- Essentials: How to Build Strength, Muscle Size & Endurance | Dr. Andy Galpin
- Scaling Uber with Thuan Pham (Uber’s first CTO)
- Mistral: Voxtral TTS, Forge, Leanstral, & what's next for Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample
- How Hormones Shape Sexual Orientation & Behavior | Dr. Marc Breedlove
- Essentials: Using Salt to Optimize Mental & Physical Performance
- 🔬Why There Is No "AlphaFold for Materials" — AI for Materials Discovery with Heather Kulik
- 🔬Why There Is No "AlphaFold for Materials" — AI for Materials Discovery with Heather Kulik
- The Best Vitality & Health Protocols | Dr. Rhonda Patrick
- Dreamer: the Personal Agent OS — David Singleton
- Essentials: Tools for Setting & Achieving Goals | Dr. Emily Balcetis
- Building WhatsApp with Jean Lee
- Why Anthropic Thinks AI Should Have Its Own Computer — Felix Rieseberg of Claude Cowork & Claude Code Desktop
- Science-Based Meditation Tools to Improve Your Brain & Health | Dr. Richard Davidson
- Simulating Queueing
- Retrieval After RAG: Hybrid Search, Agents, and Database Design — Simon Hørup Eskildsen of Turbopuffer
- Essentials: Benefits of Sauna & Deliberate Heat Exposure
- From IDEs to AI Agents with Steve Yegge
- NVIDIA's AI Engineers: Agent Inference at Planetary Scale and Speed of Light — Nader Khalil (Brev), Kyle Kranen (Dynamo)
- Avoiding, Treating & Curing Cancer With the Immune System | Dr. Alex Marson
- Cursor's Third Era: Cloud Agents
- Essentials: The Biology of Taste Perception & Sugar Craving | Dr. Charles Zuker
- Every Agent Needs a Box — Aaron Levie, Box
- Building Claude Code with Boris Cherny
- Unlearn Negative Thoughts & Behaviors Patterns | Dr. Alok Kanojia
- METR’s Joel Becker on exponential Time Horizon Evals, Threat Models, and the Limits of AI Productivity
- Essentials: Using Light to Optimize Health
- 🔬Nature as a Computer: Prof. Max Welling, CuspAI on AI x Materials Science
- Mitchell Hashimoto’s new way of writing code
- ⚡️SWE-Bench-Dead: The End of SWE-Bench Verified — Mia Glaese & Olivia Watkins, OpenAI Frontier Evals & Human Data
- Restore Youthfulness & Vitality to the Aging Brain & Body | Dr. Tony Wyss-Coray
- Inside AI’s $10B+ Capital Flywheel — Martin Casado & Sarah Wang of a16z
- Essentials: Optimize Your Exercise Program with Science-Based Tools | Jeff Cavaliere
- The Most Effective Weight Training, Cardio & Nutrition for Women | Dr. Lauren Colenso-Semple
- Owning the AI Pareto Frontier — Jeff Dean
- The programming language after Kotlin – with the creator of Kotlin
- Essentials: The Science of Love, Desire & Attachment
- 🔬Science at the speed of inference — Gabriele Corso & Jeremy Wohlwend, Boltz
- How Genes Shape Your Risk Taking & Morals | Dr. Kathryn Paige Harden
- As Rocks May Think
- Steering a Trillion-Param Model, Token-Level PII in Production, Beyond SAEs — Myra Deng & Mark Bissell of Goodfire AI
- Essentials: The Science & Practice of Movement | Ido Portal
- The third golden age of software engineering – thanks to AI, with Grady Booch
- Anthropic, Glean & OpenRouter: How AI Moats Are Built with Deedy Das of Menlo Ventures
- One Year of MCP — with David Soria Parra and AAIF leads from OpenAI, Goose, Linux Foundation
- Brex’s AI Hail Mary — With CTO James Reggio
- How Dopamine & Serotonin Shape Decisions, Motivation & Learning | Dr. Read Montague
- Essentials: Using Play to Rewire & Improve Your Brain
- The creator of Clawd: "I ship code I don't read"
- Science & Tools of Learning & Memory | Dr. David Eagleman
- Essentials: Therapy, Treating Trauma & Other Life Challenges | Dr. Paul Conti
- How AWS S3 is built
- Build Muscle & Strength & Forge Your Life Path | Dorian Yates
- Essentials: Tools to Boost Attention & Memory | Dr. Wendy Suzuki
- How to Overcome Addiction to Substances or Behaviors | Dr. Keith Humphreys
- Artificial Analysis: The Independent Ratings Agency of AI — with George Cameron and Micah-Hill Smith
- Essentials: Optimizing Workspace for Productivity, Focus & Creativity
- which programming resource changed your career?
- The Saddest Moment
- Best Ways to Build Better Habits & Break Bad Ones | James Clear
- Essentials: Micronutrients for Health & Longevity | Dr. Rhonda Patrick
- Defining Healthy Masculinity & How to Build It | Terry Real
- GitHub - PatrickMassot/GlimpseOfLean: An introduction to theorem proving in Lean for the impatient.
- Your favorite pieces of technical writing?
- Essentials: How to Optimize Your Hormones for Health & Vitality | Dr. Kyle Gillett
- Transform Pain & Trauma Into Creative Expression | David Choe
- Coq: The World’s Best Macro Assembler?
- The Language Trap, as proven by MRI: people don't get...
- Programming as Theory Building - Peter Naur
- Essentials: How to Set & Achieve Goals
- Essential Semiconductor Physics
- The history of servers, the cloud, and what’s next – with Oxide
- Improve Energy & Longevity by Optimizing Mitochondria | Dr. Martin Picard
- Essentials: How to Build, Maintain & Repair Gut Health | Dr. Justin Sonnenburg
- The Insane Engineering of MRI Machines
- I Grew Real Penicillin from MOLD
- Vim is Turing-Complete
- When would you ever want bubblesort?
- The Fascinating Story of the Exponential Function
- Master the Creative Process | Twyla Tharp
- Essentials: The Science of Making & Breaking Habits
- Being a founding engineer at an AI startup
- Calculus For Mathematicians, Computer Scientists, And Physicists
- Linux process priorities demystified
- web.archive.org/web/*/https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf
- A 'small' vanilla Kubernetes install on NixOS
- I don't want to do front-end anymore
- Fast Inverse Square Root — A Quake III Algorithm
- Rethinking my backups
- How We Found 7 TiB of Memory Just Sitting Around
- On the purported benefits of effect systems
- That Time Ken Thompson Wrote a Backdoor into the C Compiler
- Microsoft Word - Convergence _Angela Zhang_Oct. 14 25 - 5620270.pdf
- Processes and Threads
- The Fourth Quadrant of Knowledge
- When Money Is Abundant, Knowledge Is The Real Wealth
- dynamically typed languages exist?
- Dan Slimmon
- Why TigerBeetle is the most interesting database in the world
- GitHub - ivanyu/awesome-deterministic-simulation-testing: A curated list of awesome deterministic simulation testing resources 😎
- STYLE.md at main · tigerbeetle/tigerbeetle
- Discrete Distributions
- View Change Protocols And Reconfiguration
- How To Automate Anything. A Guide to Parts Every Maker Should Know How To Use.
- jantimon/react-hydration-rules: Comprehensive guide documenting React hydration and Suspense fallback behaviors during SSR
- GitHub - the-litte-book-of/linear-algebra: There is hardly any theory which is more elementary than linear algebra, in spite of the fact that generations of professors and textbook writers have obscured its simplicity by preposterous calculations with matrices. —Jean Dieudonne
- Consensus algorithms at scale: Part 1 - Introduction
- OOMProf - Profiling on the Brink
- Lobsters Interview with Hwayne
- Row Polymorphic Programming
- NixOS Secrets Management
- Deeper theories of program design
- Stateful workload operator: stateful systems on Kubernetes at LinkedIn
- react/compiler/packages/babel-plugin-react-compiler/src/Inference/MUTABILITY_ALIASING_MODEL.md at main · facebook/react
- Retries
- Awesome Emacs on macOS
- Awesome Emacs on macOS
- Against Curry-Howard Mysticism [loc-000S]
- Behind the Scenes: Sleeping soundly with the help of TLA+
- GitHub - miguelmota/bash-streams-handbook: 💻 Learn Bash streams, pipelines and redirection, from beginner to advanced.
- Don't Be Afraid Of Types
- What to Do
- Time Depletion
- Zen and the Art of Microcode Hacking
- Learning: the hardest problem in computer science
- Storage is cheap, but not thinking about logging is expensive
- IBM RISC System/6000 Family
- Linearizability! Refinement! Prophecy! – Surfing Complexity
- RescueTime - Your Weekly dashboard
- NTAPI Undocumented Functions