without-tags.
- Academia is for Ambition — Alex Zhang, MIT
- Essentials: Tools to Improve Your Focus & Concentration
- Why Dwarkesh is Wrong about Computer Use + How OpenAI shipped its Jev competitor in 1 Week
- Distributed databases with Peter Mattis
- Claude Code’s Next Era — Thariq Shihipar, Anthropic
- What Humans, Animals and Plants Tell Us About Consciousness | Michael Pollan
- Finding Bugs
- OpenRouter: from Seed to Stripe — with OpenRouter’s Alex Atallah & AMP’s Anjney Midha
- Runway’s WorldPrompt and the Engineering of Real-Time Worlds
- Essentials: Optimal Protocols to Build Strength & Grow Muscles | Dr. Andy Galpin
- Design Engineering with Maggie Appleton
- 🔬Bio-security is an AI Arms Race - Eric Nguyen (CEO, Radical Numerics)
- 🔬 An Oscar, Two Asteroids, and the Algorithm in Your sklearn: John Platt on AI for Science
- Jev: System One models for Prod, not God — with Diogo Almeida, CEO, TypeSafe AI
- Best Tools for Gut Health & Weight Loss | Dr. Chris Thompson
- Counting at scale
- A Byzantine failure in the real world
- Fornax's Guide To Ridiculously Fast Ethernet
- The Golden Rule for Becoming a Better Writer
- End-To-End Arguments In System Design
- The Chubby Lock Service For Loosely-Coupled Distributed Systems
- paperJanMartinJansen.pdf
- FLT: Anthropic has beaten me to it
- The Browser's Main Thread Is Expensive
- Anatomy of a Browser
- Reverse Engineering a Chip (or well, a GDS) A writeup of Jane Street's ASIC challenge
- Compression in Full Quiet
- The revolt of the reader
- Visualizing Rust's Vtables: How dyn Trait Works In Memory
- From a Chocolate Wrapper to Concurrent InnoDB Page Splits
- Ironies of automation
- Conflict resolution is “fun”
- #64 PL Education in the Age of AI
- OpenViking: Inside the Context Database Architecture
- SoK: Attack and Defense Landscape of Agentic AI Systems
- DeltaBox: Scaling Stateful AI Agents with Millisecond-Level Sandbox Checkpoint/Rollback
- Crab: A Semantics-Aware Checkpoint/Restore Runtime for Agent Sandboxes
- What do Visa and Mastercard do? An intro to card networks
- On Binary Translation and its Consequences
- Astra for Coding: Why Are We Doing This Again?
- Your Agent Is Mine: Measuring Malicious Intermediary Attacks on the LLM Supply Chain
- Recursive Language Models
- Virtual Time on a Deadline: Building an Open-Source Deterministic Hypervisor
- prydt's site
- mahesh's blog
- The Bottlenecks for AI-Driven System Design: why Principal Engineers are not (yet) obsolete.
- Your Agent is a Distributed System (and fails like one)
- Stefano Marinelli - The night 142 of my servers went up in the clouds. Physically.
- The Google File System
- HDFS Architecture
- Subscriptions | Substack
- What’s Up With Self-Hating White Liberals?
- Write Things Down
- What blog posts influenced your thinking the most?
- Don't Get Distracted
- Formal Methods Only Solve Half My Problems
- The Best Refactoring You've Never Heard Of
- The Wrong Abstraction
- https://lobste.rs/s/svhzj9/divorce_from_llvm#c_e5i0gw
- Interesting articles
- How I ship projects at big tech companies
- AgentCgroup: Understanding and Controlling OS Resources of AI Agents
- AI Skills with Matt Pocock
- Essentials: How to Assess & Improve All Aspects of Your Fitness | Dr. Andy Galpin
- Underwriting Superintelligence: Backing Agents you can Sue — Rune Kvist, AIUC
- Why you should work on AI for AI Research — Richard Socher of Recursive
- The Art of True Happiness | Dr. Arthur Brooks
- Essentials: Genes & the Inheritance of Memories Across Generations | Dr. Oded Rechavi
- Building Codex with Tibo Sottiaux
- How Mitochondria Control Your Metabolism | Dr. Jared Rutter
- Essentials: Use Sleep to Enhance Learning, Memory & Emotional State | Dr. Gina Poe
- How to Accelerate Learning & Improve Education | Joe Liemandt
- Essentials: Diet & Nutrition for Mental Health | Dr. Chris Palmer
- Why performant code matters (but gets widely ignored), with Casey Muratori
- 🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
- How to Improve Motivation & Overcome Procrastination | Dr. Masud Husain
- Simulation: the new Scaling Law — Joon Sung Park, Simile AI
- Essentials: How to Access Your Creativity | Rick Rubin
- From Chrome DevTools to AI Engineering, with Addy Osmani
- Neuroscience of Emotions & Tools for Improving Emotion Regulation | Dr. Ralph Adolphs
- Essentials: How to Optimize Female Hormone Health for Vitality & Longevity | Dr. Sara Gottfried
- Stop being skeptical about AI for development with Charity Majors
- 🔬The BioAI Phase Shift - Matthew McPartlon & Neil Patil, Chai Discovery
- Using AI to Increase Your Intelligence & Enrich Humanity | Dr. Fei-Fei Li
- Essentials: Control Your Brain Chemistry for Focus, Motivation & Well-Being
- The Inference Engineering Masterclass — Philip Kiely & Ali Taha, Baseten
- How Your Immune System Works & How to Improve It | Dr. Max Krummel
- Essentials: How to Become Resilient, Forge Your Identity & Lead Others | Jocko Willink
- Formal methods with Hillel Wayne
- Codex from 0 to 10M Users: Building ChatGPT Work — Akshay Nathan, OpenAI
- Your Top Health Questions Answered
- Essentials: Using Meditation to Focus, View Consciousness & Expand Your Mind | Dr. Sam Harris
- Inside the Model Factory — Eiso Kant, Poolside AI
- Causal Models Need Causal Data - Xaira’s X-Cell model for Drug Discovery (Bo Wang & Ci Chu, Chief Discovery Officer & Chief AI Scientist)
- Accelerate Learning & Increase Cognitive Capacity | Dr. Tommy Wood
- 🔬 The Lab of the Future Should Feel Like a Data Center — Andy Beam & Rafa Gómez-Bombarelli, Lila Sciences
- Essentials: The Science & Treatment of Bipolar Disorder
- Context engineering with Dex Horthy
- How to Improve Your Memory & Cognitive Function at Any Age | Dr. Alan Castel
- Essentials: The Science & Treatment of Obsessive Compulsive Disorder (OCD)
- Why AI Infrastructure must evolve for Agent Experience — Akshat Bubna, Modal CTO
- The Pragmatic Engineer AMA
- Raising a Dog & Mastering Calm Assertive Energy | Cesar Millan
- Essentials: Tools for Hormone Optimization in Males | Dr. Kyle Gillett
- How Kent Beck shapes the software engineering industry
- 🔬 The Coolest Diffusion Research Isn't in LLMs — Evan Feinberg & Sergey Edunov, Genesis Molecular AI
- Movement Practice to Strengthen Your Mind-Body Connection | Ido Portal
- Essentials: The Science of Eating for Health, Fat Loss & Lean Muscle | Dr. Layne Norton
- Why the Frontier Ecosystem must be Open — Matei Zaharia and Reynold Xin, Databricks
- Tech interviews with NeetCode
- Red-Teaming after Mythos — Zico Kolter & Matt Fredrikson, Gray Swan
- Science of Attraction, Compatibility & Romance | Dr. Paul Eastwick
- The Professor of Outputmaxxing — Anjney Midha, AMP
- Data Analysis Handbook
- CS 6120: Advanced Compilers: The Self-Guided Online Course
- 🔬 The Self-Driving Lab — Joseph Krause, Radical AI
- CI/CD with Robert Erez - by Gergely Orosz
- Essentials: Improve Flexibility with Research-Supported Stretching Protocols
- The Mental Frame & Specific Daily Actions to Succeed | Andy Stumpf
- 21 years and counting of ‘eight fallacies of distributed computing’
- How to Weigh a Cell
- Essentials: Sleep Toolkit for Optimizing Sleep & Sleep-Wake Timing
- Eating for Better Sleep & Foods that Improve Metabolic Health | Dr. Marie-Pierre St-Onge
- Self-Attention, Foundation Models, and the GPT Architecture from Scratch
- Reality: The Final Eval — Lukas Petersson and Axel Backlund of Andon Labs
- Essentials: Psychedelics & Neurostimulation for Brain Rewiring | Dr. Nolan Williams
- 🔬Scaling Past Informal AI - Carina Hong, Axiom Math
- Kubernetes and retiring at the top with Kelsey Hightower
- ⚡️Satya Nadella: No Priors x Latent Space Crossover Special at Microsoft Build
- GitHub's plan for Agents — Kyle Daigle, GitHub
- Why Video Agent models are next — Ethan He, xAI Grok Imagine
- Peptides: The Science, Uses & Safety | Dr. Abud Bakri
- Archive
- Assumptions weaken properties
- What Do Gödel’s Incompleteness Theorems Truly Mean? | Quanta Magazine
- Let's compile Quake like it's 1997!
- A Rosetta Stone for Mathematics | Quanta Magazine
- There Is Nothing New
- Datamation magazine,
- The Age of Async Agents — Cognition's Walden Yan & OpenInspect's Cole Murray
- Essentials: The Science & Process of Healing from Grief
- Tag Systems
- 🔬 ESMFold2: The Bitter Lesson is Coming for Proteins - Alex Rives, BioHub
- Building OpenCode with Dax Raad - by Gergely Orosz
- Build Muscle, Great Posture & Resilience to Injury | Jeff Cavaliere
- Making Deep Learning Go Brrrr From First Principles
- The Ledger That Forgot Its Name
- Using spaced repetition systems to see through a piece of mathematics
- Agile Software Development Second Edition The Cooperative Game
- Let's Build a Compiler, by Jack Crenshaw
- Giving Agents Computers — Ivan Burazin, Daytona
- Essentials: The Science of Learning & Speaking Languages | Dr. Eddie Chang
- Railway: The Agent-Native Cloud — Jake Cooper
- Why Rust is different, with Alice Ryhl - by Gergely Orosz
- The Autonomous Drone Tech Stack & Economics of Drones — Yaroslav Azhnyuk, The Fourth Law & Guest Host Noah Smith, Noahpinion
- How to Overcome Social Anxiety | Dr. Nick Epley
- A Brief History of Neural Nets and Deep Learning
- HDD Firmware Hacking Part 1
- AI-Native Healthcare: 100M Doctor Visits, 10–20 Hours Saved, Prior Auth in Minutes — Janie Lee & Chai Asawa, Abridge
- Essentials: Understanding & Controlling Aggression
- When "idle" isn't idle: how a Linux kernel optimization became a QUIC bug
- An idiot’s guide to lead optimisation for proteins
- TypeScript, C# and Turbo Pascal with Anders Hejlsberg
- Master Self Control & Overcome Procrastination | Dr. Kentaro Fujita
- Let Me Convince You to Be Prolific
- Think Linear Algebra
- Diskless Linux boot using ZFS, iSCSI & PXE
- Essentials: Compulsive Behaviors & Deep Brain Stimulation | Dr. Casey Halpern
- 🔬Doing Vibe Physics — Alex Lupsasca, OpenAI - Latent.Space
- It is the end of the world and I am here to take you home
- 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
- 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
- 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 - by Gergely Orosz
- 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 - by Gergely Orosz
- 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 - by Gergely Orosz
- 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