without-tags.
- Let Me Convince You to Be Prolific
- Think Linear Algebra
- Diskless Linux boot using ZFS, iSCSI & PXE
- How to write good prompts: using spaced repetition to create understanding
- Essentials: Compulsive Behaviors & Deep Brain Stimulation | Dr. Casey Halpern
- 🔬Doing Vibe Physics — Alex Lupsasca, OpenAI
- It is the end of the world and I am here to take you home
- The Worst Version of You Is Getting All the Practice
- Reverse Engineering SimTower
- Tools to Bolster Your Mental Health & Confidence | Dr. Paul Conti
- I built a Game Boy emulator in F#
- How an Oil Refinery Works
- Essentials: Control Sugar Cravings & Metabolism with Science-Based Tools
- How an estrogen megadose gave me empathy for men
- The Mathematical Reason Most People Never "Make It"
- Curious cases of financial engineering in biotech
- Building Pi, and what makes self-modifying software so fascinating
- Getting Into AI Infra
- Smolwebifying my site
- VOPR: The Multiverse Machine That Kills Production Bugs
- Adding a team was the wrong strategic decision
- Illegal vs Unwanted States
- The Best (Query) Plans of Mice and Men
- Physical AI that Moves the World — Qasar Younis & Peter Ludwig, Applied Intuition
- The gold standard of optimization: A look under the hood of RollerCoaster Tycoon
- Golden Testing a CAD Library
- 3 constraints before I build anything
- Male Roles, Obligations and Options for Building a Fulfilling Life | Scott Galloway
- Collision attack - Wikipedia
- CPT symmetry
- Lorentz covariance - Wikipedia
- Your CPU Has More Registers Than You'd Think
- Developing a minimally HashDoS resistant, yet quickly reversible integer hash for V8
- Why you should refuse to let your doctor record you
- Composition Shouldn't be this Hard
- Aspartame: Once more unto the breach
- On sabotaging projects by overthinking
- Stigma is a tax on every operational decision
- A Visual Deep Dive
- Sam Vimes ‘Boots’ Theory of Socio-Economic Unfairness
- Rewriting Every Syscall in a Linux Binary at Load Time
- Temporal Networks, Where Page Rank meets Lord of the Rings - Computerphile
- AIE Europe Debrief + Agent Labs Thesis: Unsupervised Learning x Latent Space Crossover Special (2026)
- The invisible engineering behind Lambda’s network
- Things you didn't know about indexes
- What Physical ‘Life Force’ Turns Biology’s Wheels? | Quanta Magazine
- Essentials: The Neuroscience of Speech, Language & Music | Dr. Erich Jarvis
- Answers and Reasons and Knowing and Thinking
- What’s the deal with Alzheimer’s disease and amyloid?
- Running a Minecraft Server and more on a 1960s UNIVAC Computer
- Let's create a Tree-sitter grammar ★
- Shopify’s AI Phase Transition: 2026 Usage Explosion, Unlimited Opus-4.6 Token Budget, Tangle, Tangent, SimGym — with Mikhail Parakhin, Shopify CTO
- Designing Data-intensive Applications with Martin Kleppmann
- 🔬 Training Transformers to solve 95% failure rate of Cancer Trials — Ron Alfa & Daniel Bear, Noetik
- 80386 Memory Pipeline
- How to Better Regulate Your Emotions | Dr. Marc Brackett
- Essentials: Understand & Improve Memory Using Science-Based Tools
- 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
- 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