bookmarks.
Last update: 17/12/2024 22:52
Feel free to follow this list via RSS too, you can find it here.
If you prefer, you ca also check the tags accordingly their labels here.
Everything that I added here, come from my RSS feed. If you curios about the recommendations, you can check my OPML file at here.
Table of Contents
2024 / December
- A CAP tradeoff in the wild
- Distributed Systems Horror Stories: Kubernetes Deep Health Checks
- Modern Hardware for Future Databases
- Dependent Types and the Art of HTTP Headers
- The Structure of a Worldview
- On the Relationship Between Static Analysis and Type Theory
- The disaggregated write-ahead log
- A Roadmap to Security Game Testing: Finding Exploits in Video Games
- Model checking safety of Ben-Or's Byzantine consensus with Apalache
- A Map of Sync
- Optimizers: The Low-Key MVP
- How Public Key Cryptography Really Works | Quanta Magazine
- Implementing Type Systems as Macros
- Data Replication Design Spectrum
- PSA: Most databases do not do checksums by default
- Extending MVCC to be serializable, in TLA+
- CAP is Good, Actually
- lorentz app
- The Prequel to SQL is SEQUEL
- Transaction Isolation in Postgres, explained
- Two-phase commit and beyond
- The Soul of an Old Machine: Revisiting the von Neumann Architecture
- SQLite Index Visualization: Search
- Using Nix to Try Tools
- Building a distributed log using S3 (under 150 lines of Go)
- Disillusioning the Magic of the fork System Call
- Quake 3 Source Code Review: Network Model (Part 3 of 5) >>
- Analytics-Optimized Concurrent Transactions
- Playground Wisdom: Threads Beat Async/Await
- An Overview of Distributed PostgreSQL Architectures
- Understanding Round Robin DNS
- Herding elephants: Lessons learned from sharding Postgres at Notion
- A Brief Introduction to Linear Types
- Checking linearizability in Go
- What To Use Instead of PGP
- How LLMs work
- LevelDB Explained - How to Analyze the Time Complexity of SkipLists?
- githublog/2024/11/1/sending-an-ethernet-packet.md at main · francisrstokes/githublog · GitHub
- Why I Will Always Be Angry About Software Engineering
- One thought on “Reading the Generalized Isolation Level Definitions paper with Alloy”
- Exploring Postgres's arena allocator by writing an HTTP server from scratch
- Data Modeling with Sums and Products
- Mitigation
- An introduction to thinking about risk
- Why is it so hard to buy things that work well?
- Bypassing regulatory locks, Faraday cages and upgrading your hearing
- The Importance of Saying "Oops"
- The Monads Hurt My Head — But Not Anymore
- one big choice shapes a hundred more
- How to Grow Professional Relationships
- The Art of Long-Term Thinking in a Short-Sighted World
- Local Optimizations Don't Lead to Global Optimums
- Read, Write, Execute
- Sensibly Default
- Compilers: Incrementally and Extensibly
- Predictive Scaling in MongoDB Atlas, an Experiment
- How Good Are American Roads?
- Hey, wait – is employee performance really Gaussian distributed??
- 𝔇𝔢𝔱𝔢𝔯𝔪𝔦𝔫𝔦𝔰𝔱𝔦𝔠 𝔰𝔦𝔪𝔲𝔩𝔞𝔱𝔦𝔬𝔫 𝔱𝔢𝔰𝔱𝔦𝔫𝔤
- Pessimistic or Optimistic Concurrency Control? Lessons Learned from Real-World Customer Scenarios
- Category Theory in Programming
- Crash Course on Notation in Programming Language Theory
- 7 Databases in 7 Weeks for 2025
- How to Study Mathematics
- The Meditation on Curiosity
- Evolving my ergonomic setup (or, my laptop with extra steps)
- SQLite Index Visualization: Structure
- Work hard
- A Smart Bear » Failure to face the truth
- Going a Little Further
- Don't miss the next article.
- IBM RISC System/6000 Family
- What implementation-independent test file formats exist for language tooling?
- Fairness in TLA+
- Parents & Owners in React: Data Flow
- How to do distributed locking
- >>> 2024-02-11 the top of the DNS hierarchy (PDF)
- asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems
- Learning and reviewing system internals: tactics and psychology
- Lamport clocks
- Understanding the BM25 full text search algorithm
- Jan 14 A career ending mistake
2024 / November
- Property-based Testing Patterns
- 6 things I wish I knew the day I started Berklee
- Build your own SQLite
- It's ok to be afraid
- Building Databases over a Weekend
- The Need to Explain
- How Often Should We Sharpen Our Tools?
- Choosing What To Read
- Zero Disk Architecture
- Configuring VSCode with Nix on macOS
- User Interface with Ant Tweak Bar
- Petnames: A humane approach to secure, decentralized naming
- my blogging setup is my writing process
- Grammars, parsing, and recursive descent
- How I configure my Git identities
- The Catastrophe of Shiny Objects
- The only computer science book worth reading twice?
- PlayStation 2 Architecture
- The Lost Reading Items
- Doing more than one thing at a time: how do computers runm multiple independent programs
- Managing High Performers
- A Smart Bear » A life-changing challenge guided by Pascal’s Wager
- Why you're bad at giving feedback
- Eventually consistent plain text accounting
- The Lying p Value
- The Universe of Discourse
- Thoughts on Meaning and Writing
- Every Transaction Matters
- TLA from first principles
- [yap transcript] On first principles thinking
- Why I don’t like discussing action items during incident reviews
- If you don’t examine what worked, how will you know what works?
- How should I read type system notation?
- How Complex Systems Fail
- Userland Disk I/O
- PSA: SQLite does not do checksums
- A mental model for Linux file, hard and soft links
- Rust versions of TAPL's System F and System F-omega type checkers
- Probability for Computer Scientists
- It's About the Guarantees
- Pattern: Event sourcing
- Pattern: Saga
- Logging Guide
- Why I use TLA+ and not(TLA+): Episode 1
- Smolderingly fast b-trees
- Sensors and gauges - Observability in distributed systems
- How Not to Disagree
- What Can You Learn from Photographing Your Life? | The New Yorker
- How we shrunk our Javascript monorepo git size by 94%
- Five Common Misconceptions About Event-Driven Architecture
- Be Suspicious of Success
- Table of Contents
- Observability 101: Terminology and Concepts
- Getting Started with OpenTelemetry Visualization - A Practical Guide
- Setting Up Prometheus, Grafana, Loki, Tempo & Mimir for end-to-end Monitoring & Logging Atmosly
- Prometheus 101: Metrics, Monitoring, Practical Setup and More
- Monitoring Your Apps in Kubernetes Environment with Prometheus
- Linearizability in distributed systems
- Crushing Castlevania with Antithesis
- Building A Strong Ownership Culture in A Team
- Bias For Action
- On Good Software Engineers
- Damas-Hindley-Milner inference two ways
- On the cruelty of really teaching computing science
- Can't trust any VPN these days
- Sets, types and type checking
- Surfing Complexity
- Multi-version concurrency control in TLA+
- Computer Organization E-book by Stephen Marz
- Getting Big Things Done
2024 / October
- How Do You Spend Your Time?
- Solving the Mystery of ARM7TDMI Multiply Carry Flag
- Founder Mode for Non-Founders · Daniel Mangum
- School is Not Enough - by Simon Sarris
- stormrider
- Using static websites for tiny archives – alexwlchan
- A Commentary on Defining Observability
- Writes and Write-Nots
- ADHD and Managing Your Reputation - by Vaishnav Sunil
- Canvas Fingerprinting - BrowserLeaks
- The Basics - by Thorsten Ball - Register Spill
- How do Graphics Cards Work? Exploring GPU Architecture
- Queuing Theory Tutorial
- Understanding DNS resolution on Linux and Kubernetes
- Whence '\n'? – Casey Rodarmor's Blog
- On the Importance of Typing Fast | rugu
- S-38.3143 Queueing Theory (5 ECTS) L
- Building and scaling Notion’s data lake
- Learning to learn | K/L
- Google Testing Blog: SMURF: Beyond the Test Pyramid
- What docs as code really means | passo.uno :: Fabrizio Ferri-Benedetti on Technical Writing
- start - TLA+ Wiki
- Distributed Systems Reading List
- Cognitive load
- Which kernel is the most readable one? | Lobsters
- On accountability | A Working Library
- Accountability sinks | A Working Library
- start - TLA+ Wiki
- Focus on decisions, not tasks
- A liveness example in TLA+ – Surfing Complexity
- Books
- Web Browser Engineering
- NTAPI Undocumented Functions
- RescueTime - Your Weekly dashboard
- Error Handling in a Correctness-Critical Rust Project | sled-rs.github.io
- sled book shop | sled-rs.github.io
- Why do systems fail? Tandem NonStop system and fault tolerance
- Let the network tell you where you are: a nerd snipe story
- How to convince engineers that formal methods is cool • Buttondown
- Build Systems, Not Heroes
- A Dictionary of Single-Letter Variable Names | Blog | jackkelly.name
- Learning By Writing — LessWrong
- Sequences Highlights — LessWrong
- brutalist-manifesto
- How I manage my dotfiles · Jamie Tanna | Software Engineer
- rust-gpu.github.io
- No Feedback ∴ No Good
- Monty Anderson
- An Illustrated Proof of the CAP Theorem
- The Problem With Building Good Habits | Stephan Joppich
- Two Workflow Tips
- There is No Now - ACM Queue
- The Writings of Leslie Lamport
- LEGO IDEAS - Working Turing Machine
- CRDTs go brrr
- 15 rules for blogging, and my current streak (Interconnected)
- Patterns for Personal Web Sites
- Search for Charts by Data Visualization Functions
- Why TCP needs 3 handshakes | PixelsTech
- Welcome to Linux From Scratch!
- TCP Server in Zig - Part 1 - Single Threaded
- Terminal colours are tricky
- Programmer's Guide | C64 OS
- Magic isn’t real - Inside thoughts
- Why is the Speed of Light So Fast? (Part 1)
- bytecode interpreters for tiny computers ⁑ Dercuano
- How to train a model on 10k H100 GPUs?
- Integrity Constraints and the Relational Derivative • Buttondown
- Being who you are, while becoming better
- Pivot Points
- William Cotton
2024 / September
- Introduction to the λ-calculus
- How Discord Stores Trillions of Messages
- glouw/c8c: The chip8 compiler, assembler, and virtual machine
- Refactoring Invariants • Buttondown
- Alpha Conversion | Kevin Sookocheff
- XXIIVV — goals
- The guide to implementing 2D platformers | Higher-Order Fun
- Wealth = Have ÷ Need | Derek Sivers
- Raft
- Tensor Labbet · A blog of deep learnings
- Be someone who does things | notes.eatonphil.com
- Linearizability! Refinement! Prophecy! – Surfing Complexity
- Trapped Priors As A Basic Problem Of Rationality
- How not to be boring - PostHog
- Applied Mathematical Programming
- Informal History Of Programming Ideas
- Visual guide to SSH tunneling and port forwarding - ITTAVERN.COM
- A gentle guide to self-hosting your software | ᕕʕ •ᴥ•ʔ୨ Shank Space
- Books - Computing History
- Code Reviews Do Find Bugs
- Chapter 0 Preface — Programming Languages
- NetworkManager or networkd [LWN.net]
- CSCI 181G PO
- My 71 TiB ZFS NAS after 10 years and zero drive failures
- Introduction to the PDP 11, Unit 1, System Overview
- Home — Bluesky
- The Lesson to Unlearn
- Object-Oriented
- The Long Road to Fiber Optics - by Brian Potter
- Your customers hate MVPs. Make a SLC instead.
- Going Buildless | Max Böck
- Legacy
- Closures in Zig
- My Homelab Setup
- What’s in an e-graph? | Max Bernstein
- The BITSAVERS.ORG Documents Library : Free Texts : Free Download, Borrow and Streaming : Internet Archive
- "Pushing the Limits of Web Browsers" by Lars Bak (2012)
- Erasure Coding for Distributed Systems
- Constraining writers in distributed systems
- How does it feel to test a compiler? | by Alexander Zakharenko | Jul, 2024 | Medium
- Practices of Reliable Software Design
- B-trees and database indexes
- What to Do When You Forget Your Root Password – Tookmund – A place for my random thoughts about software
- What I Gave Up To Become An Engineering Manager
- Explore AMX instructions: Unlock the performance of Apple Silicon | by 郑启航 | Sep, 2024 | Medium
- Feynman Algorithm
- Programming languages resources | Max Bernstein
- Implementing HanoiDB - Session 1: Introduction
- Linux's Bedtime Routine – Tookmund – A place for my random thoughts about software
- ATProto for distributed systems engineers - AT Protocol
- Taming Consensus in the Wild (with the Shared Log Abstraction)
- DNS "propagation" is actually caches expiring
- The Fundamental Law Of Software Dependencies
- Why is Browser Observability Hard | Hazel Weakly
- Founder Mode
- On distributed systems | Distributed Systems by Szymon Durak
- Thoughts on "The Future of TLA+" • Buttondown
- Dick Grune's Annotated Literature Lists
- The Art of Finishing | ByteDrum
- Ask HN: Resources for GPU Compilers? | Hacker News
- Opinions for Writing Good CSS
- Full Text, Full Archive RSS Feeds for any Blog | DOGESEC
- Notes/Primer on Clang Compiler Frontend (1) : Introduction and Architecture - Youssef Ateya
- Authenticated Boot and Disk Encryption on Linux
- What is Table-Oriented Programming? :: Table-Oriented Programming (TOP)
- August 2024 Time Tracking
- Neurotechnology Numbers Worth Knowing
- A new cycle-stepped 6502 CPU emulator
- Putting a meaningful dent in your error backlog – Dan Slimmon
- Zig and Emulators
- Essays: NSA Surveillance: a Guide to Staying Secure - Schneier on Security
- My Software Bookshelf | olano.dev
2024 / August
- State and time are the same thing • Buttondown
- How much of success is luck?
- How to sync Mac and Linux /home | Derek Sivers
- Distributed systems theory for the distributed systems engineer | Paper Trail
- Notes on Distributed Systems for Young Bloods – Something Similar
- Learning about distributed systems: where to start?
- Best resources to learn about data and distributed systems - Pierre Zemb
- Database “sharding” came from UO? – Raph's Website
- Rachel Thomas, PhD - Your Immune System is Not a Muscle
- Fix the machine, not the person (Aaron Swartz's Raw Thought)
- Cherish mistakes (Aaron Swartz's Raw Thought)
- Confront reality (Aaron Swartz's Raw Thought)
- Predicting the Future of Distributed Systems
- You Are NOT Dumb, You Just Lack the Prerequisites
- Self-hosting DNS - GHOST
- How SSH Secures Your Connection :: Noratrieb's blog
- B-trees
- A ToC of the 20 part linker essay [LWN.net]
- Ethernet History Deepdive – Why Do We Have Different Frame Types? – Daniels Networking Blog
- Home
- Obsession | notes.eatonphil.com
- Applying Books in My Life - TK • Newsletter
- Lean into the pain (Aaron Swartz's Raw Thought)
- Look at yourself objectively (Aaron Swartz's Raw Thought)
- Practices of Reliable Software Design
- What I Learned Working For Mark Zuckerberg - Noah Kagan
- How to write.
- Late Again – Rands in Repose
- naklecha/llama3-from-scratch: llama3 implementation one matrix multiplication at a time
- How to avoid losing items? Holding pens. | Alex W.'s Blog
- Efficient and Insightful Generalization
- The Art of Learning - TK • Newsletter
- The Compiler Writer Resource Page
- HTTP/1.0 From Scratch
- HTTP/0.9 From Scratch
- Crafting Interpreters with Rust: On Garbage Collection | Tung Le Vo
- A Visual Guide to Quantization - by Maarten Grootendorst
- Higher-kinded Bounded Polymorphism
- Examples of Great URL Design - Jim Nielsen’s Blog
- Visual Data Structures Cheat-Sheet - by Nick M
- Ask HN: What are some "toy" projects you used to learn neural networks hands-on? | Hacker News
- Some Books I Like // One Year of NULL BITMAP • Buttondown
- How we tamed Node.js event loop lag: a deepdive | Trigger.dev
- The Illustrated QUIC Connection: Every Byte Explained
- Monitoring Node.js: Watch Your Event Loop Lag! - David Hettler 🥨
- Adam Keys is Thinking - Methods of production
- Tales of the M1 GPU - Asahi Linux
- SNES: Sprites and backgrounds rendering
- WebGPU Unleashed: A Practical Tutorial
- Hacking a Virtual Power Plant | rya.nc
- Ray Tracing Harmonic Functions
- The First Fitbit: How the Fitness Tracker Was Engineered - IEEE Spectrum
- Do Quests, Not Goals
- Learning & The Power of the First Step - TK • Newsletter
- How to talk to your parents about hardware memory safety | CHERIoT Platform
- React Compiler, How Does It Work? [1] - Entry Point through Babel Plugin | 장용석 블로그
- There is no mystery over who wrote the Blue Screen of Death, despite what some may want you to believe - The Old New Thing
- x86re
- The algebra (and calculus!) of algebraic data types
- Vector Clocks Explained
- EMUBook
- On writing | What's new
- Practical Math: My Journey from Idea to Application | Happiness Machines
- DRMacIver's Notebook: Asymmetric vices and the unity of virtue
2024 / July
- Creativity Fundamentally Comes From Memorization
- Lysxia - Where does the name "algebraic data type" come from?
- Elements kinds in V8 · V8
- How I Computer in 2024 · Jon Seager
- Adam Keys is Thinking - The (Leadership) Discipline
- Advice to the young
- Art of Assembly Language, PDF Files
- Pragmatic Category Theory | Part 1: Semigroup Intro - DEV Community
- The Documentation Tradeoff - by Kent Beck
- How to Compile Your Language
- The Four Theories of Truth as a Method for Critical Thinking - Daniel Imfeld
- Simple event broker tries Tiger Style
- Math 331 Reading Guides
- Complex systems emerge from simple rules
- #001 - Abraçando o caminho sem volta - Insight Espresso
- A weekend's (re)reading list | Ludwig
- Plain text journaling | ᕕ( ᐛ )ᕗ Herman's blog
- soulmachine/machine-learning-cheat-sheet: Classical equations and diagrams in machine learning
- Story: Redis and its creator antirez | Brachiosoft Blog
- Not Just Scale - Marc's Blog
- Forget “show, don’t tell”. Engage, don’t show! • Lea Verou
- Learning about PCI-e: Driver & DMA
- Philosophy of How to Learn
- Database Indexes & Phone Books - by Thorsten Ball
- Consensus
- Taking my diabetes treatment into my own hands | Martin Janiczek
- Calculus for Beginners
- kiennt26's home | Linux Network Performance Ultimate Guide
- Let's Consign CAP to the Cabinet of Curiosities - Marc's Blog
- Introduction · Reverse Engineering
- Rediscovering Transaction Processing From History and First Principles
- Ray Tracing in One Weekend Series
- Startup Finance for Founders — Part I, Accounting by Peter Reinhardt
- Tools + Techniques for Procedural Gamedev - Casey Primozic's Homepage
- My OBTF Workflow & Bash Script
- When Then Zen
- How Simultaneous Multithreading Works Under the Hood
- Intro | Putting the "You" in CPU
- First Principles: The Building Blocks of True Knowledge
- Categories of leadership on technical teams | benkuhn.net
- Haskell for all: Software engineers are not (and should not be) technicians
- onceupon/Bash-Oneliner: A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.
- Chase Your Reading - by Robin Hanson - Overcoming Bias
- On having more interesting ideas - by Henrik Karlsson
- Build your own SQLite, Part 1: Listing tables
- Structured Procrastination
- Parse, don’t validate
- PostgreSQL triggers and isolation levels - Vlad Mihalcea
- Setting up an x86 CPU in 64-bit mode
- 1989 Networking: NetWare 386 | OS/2 Museum
- why you should write more - by Ava - bookbear express
- Learning LLVM (Part-2)
- Managing Underperformers | Jack Danger
- Computer Architecture : Foundational Reading - by Babbage
- time-clocks
- RFC 677: Maintenance of duplicate databases
- Alternative Technologies
- SQLite Transactions
- The Greatest Educational Life Hack: Learning Math Ahead of Time - Justin Skycak
- Self Hosting 101 - A Beginner's Guide
- VisCircuit - Make Circuits Easy to Learn
- Developing domain expertise: get your hands dirty. | Irrational Exuberance
- Layers of context. | Irrational Exuberance
- How to create software quality. | Irrational Exuberance
- bobbyiliev/introduction-to-bash-scripting: Free Introduction to Bash Scripting eBook
- untitled1.html
- The Backup And Sync Strategy, Revised | Brain Baking
- Keep perfecting your config • Buttondown
- interdb.jp
- Software Engineering Is Not Engineering | Brain Baking
- How to Create a Liquid Raymarching Scene Using Three.js Shading Language | Codrops
- sbensu: We need visual programming. No, not like that.
- Jonas Hietala: Microfeatures in my blog
- Bio-digital jazz, man
- Linear Algebra Fundamentals
- Hugo Sidenotes Shortcode :: dade
- On reading about optimizing compilers | Ludwig
- The humble beginning of id Software | Brachiosoft Blog
- Understanding 3D Graphics | Azeem Bande-Ali | azeemba.com
- The Hazardous Life of an Undersea Cable
- How and why we built our startup around small teams
- Where Did Combinators Come From? Hunting the Story of Moses Schönfinkel—Stephen Wolfram Writings
- A Race to the Bottom - Database Transactions Undermining Your AppSec · Doyensec's Blog
- Beating the L1 cache with value speculation
- A malleable garden
- O tal do Isolamento no A.C.I.D. - Alen Vieira
- Matrix Theory of Mind - by Thorsten Ball - Register Spill
- Three important steps before jumping to the code
- Trust as a bottleneck to growing teams quickly | benkuhn.net
- CSS GPU Animation: Doing It Right — Smashing Magazine
- Adam Keys is Thinking - Journal, highlight, revisit, blog
- Superbabies: Putting The Pieces Together — LessWrong
- 89 things I know about Git commits · Jamie Tanna | Software Engineer
- Use A Work Journal To Recover Focus Faster And Clarify Your Thoughts
- WebGPU Fundamentals
- Agda by Example: λ-calculus
- The Forth Methodology of Charles Moore by Jeff Fox 12/09/01
- Let's reproduce GPT-2 (1.6B): one 8XH100 node, 24 hours, $672, in llm.c · karpathy/llm.c · Discussion #677
- Why I’m Writing A Book On Cryptography
- Welcome … — Physics-based Deep Learning
- lorin/systems-reading: Systems and failure reading list
- Deep-ML
- MathPages
- Scoped Propagators
- The Architecture of Open Source Applications
- The Architecture of Open Source Applications (Volume 1)Berkeley DB
- Adam Keys is Thinking - Slash pages & micro-features
- The Right Kind of Stubborn
- Build your own React
- Magical Music Theory Tools to Learn Music Online for Free
- A Git story: Not so fun this time | Brachiosoft Blog
- Why you need a "WTF Notebook"
- Notes for new hires | Clinton Blackburn
- How we designed our company for speed - PostHog
- Robin Rendle — Creativity is the byproduct of work
- Serving a billion web requests with boring code - llimllib notes
- Synchronization is bad for scale
- Modeling B-trees in TLA+ – Surfing Complexity
- Learning By Writing
- Be patient with problems - by Henrik Karlsson
- How to think in writing - by Henrik Karlsson
- Dirty writes – Surfing Complexity
- How I use Obsidian - macwright.com
- How I Use Obsidian – Matt Stein
- How to implement a hash table (in C)
- Properly Testing Concurrent Data Structures
- Trying Kolmogorov-Arnold Networks in Practice - Casey Primozic's Homepage
- Reverse Engineering the Verification QR Code on my Diploma
- Lensy Moore
- The sad state of property-based testing libraries
- Every website and web app should have a service worker | Go Make Things
- Neo Geo Architecture | A Practical Analysis
- The Joy of Reading Books You Don't Entirely Understand - Reactor
- Alexander Gromnitsky's Blog :: 2024-07-01 :: The cheapest NAS
- Good and Bad Procrastination
- Don't End The Week With Nothing
- Falsehoods Software Developers Believe About Event-Driven Systems · Blog · Loïc Carr
- Programmers Should Never Trust Anyone, Not Even Themselves
- Elaboration of the PostgreSQL sort cost model
- My programming beliefs as of July 2024
- Measuring personal growth
- "Simple Made Easy" - Rich Hickey (2011)
- A write-ahead log is not a universal part of durability | notes.eatonphil.com
2024 / June
- An Experienced (Neo)Vimmer's Workflow
- A snapshot isolated database modeling in TLA+
- TLA+ modeling of a single replicaset transaction modeling
- Introduction | Bmg documentation
- Hermitage: Testing the “I” in ACID — Martin Kleppmann’s blog
- What is a CIDR trie and how can it help you? · blog | sven kanoldt
- Understanding React Compiler | Tony Alicea
- Implementing SHA-256 on the 6502 | Bumbershoot Software
- How much memory does a call to ‘malloc’ allocates? – Daniel Lemire's blog
- Malloc tutorial
- Modern cryptography on the NES - Super Tilt Bro. for NES by sgadrat
- How to evolve a product | Granola
- Fast · Patrick Collison
- Differential Analysis: A Summary
- Marcus' Blog
- What Should You Do with Your Life? Directions and Advice - Alexey Guzey
- You probably wrote half a monad by accident – Andy G's Blog
- making regex from scratch in GO - Lewis Metcalf
- Working hurts less than procrastinating, we fear the twinge of starting — LessWrong
- Ordinary Incompetence · Gwern.net
- Inside the tiny chip that powers Montreal subway tickets
- Classic Papers in Programming Languages and Logic
- leandromoreira/digital_video_introduction: A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸
- Virtualization Internals Part 1 - Intro to Virtualization | Saferwall
- Reversing Choplifter – Blondihacks
- How terminal works. Part 1: Xterm, user input | Thoughts-chain
- Hacking Millions of Modems (and Investigating Who Hacked My Modem)
- Database anomalies and isolation levels |
- Using d8 · V8
- Understanding V8's Bytecode
- Say Hello to 1-based indexing in JavaScript!
- Writing an IR from Scratch and survive to write a post - Eduardo Blázquez’s Personal Webpage
- Terms, types, and functions
- Microfeatures I Love in Blogs and Personal Websites
- Becoming a go-to person gets you promoted. Here's how to do it as a software engineer.
- How to Test
- The Unix and Internet Fundamentals HOWTO
- Reflections on a decade of coding
- antoniosarosi/mkdb: Toy Database
- Writing My Own Database From Scratch
- Hitting the High Notes – Joel on Software
- Effective Spaced Repetition
- A Distributed Systems Reading List
- The Hitchhiker's Guide to the Unexpected
- Introduction - Habitual Mastery (Series) - Scott H Young
- Why Forgetting Can Be Good - Scott H Young
- Spaced Repetition for Efficient Learning · Gwern.net
- Counted B-Trees
- karpathy/LLM101n: LLM101n: Let's build a Storyteller
- Let's write a video game from scratch like it's 1987
- 500 Lines or LessAn Archaeology-Inspired Database
- Ownership
- A complete guide to iconography
- How to Overcome Plateaus - Learn How To Learn
- Cheng Lou - "On the Spectrum of Abstraction" summarized transcript (React Europe 2016)
- Arbitrariness Costs
- Decision Brownouts
- Start With Simple Tools
- Always Measure One Level Deeper – Communications of the ACM
- Always Measure One Level Deeper
- Programmers should stop celebrating incompetence
- Richard Hamming: You and Your Research
- Ship something every day
- A few words on taking notes | All Things Distributed
- Simple sabotage for software · Erik Bernhardsson
- Internet Search Tips · Gwern.net
- (1) Do Ten Times as Much - by Bryan Caplan - Bet On It
- (1) So you wanna de-bog yourself - by Adam Mastroianni
- On Having Enough Socks · Gwern.net
- The simple genius of checklists, from B-17 to the Apollo missions | Inside Nuclino
- Don’t Shave That Yak! | Seth's Blog
- Useful and Overlooked Skills · Collab Fund
- The Law of Leaky Abstractions – Joel on Software
- The Book of Shaders
- Exponentially Better Rotations
- Scratchapixel 4.0, Learn Computer Graphics Programming
- Accounting for Developers, Part I | Modern Treasury Journal
- Complex Analysis
- On Seeing Through and Unseeing: The Hacker Mindset · Gwern.net
- Experts vs. Imitators
- Confusion is a muse | notes.eatonphil.com
- How I Cured My Procrastination - Learn How To Learn
- Never, Sometimes, Always - lukeplant.me.uk
- Ray Tracing in One Weekend
- NULL BITMAP Builds a Database #1: The Log is Literally the Database • Buttondown
- Making USB devices - end to end guide to your first gadget
- Mediocre Engineer’s guide to HTTPS
- Things you wish you didn't need to know about S3
- staniks.github.io
- Notational intelligence | thesephist.com
- Proxmox vs FreeBSD: Which Virtualization Host Performs Better? - IT Notes
- Legend of Worlds
- Build Your Own X
- Data Modeling in Document Databases for the RDBMS-Minded
- A (Draft) Taxonomy of SIMD Usage – Branch Free
- Learn OpenGL, extensive tutorial resource for learning Modern OpenGL
- Regular, Recursive, Restricted
- Feynman's Razor - by Defender of the Basic
- What Color is Your Function? – journal.stuffwithstuff.com
- Biohacking Lite
- Work hard and take everything really seriously - macwright.com
- Productivity Versus Alignment
- Systems: The Purpose of a System is What It Does - Anil Dash
- The Design Space of Wikis
- CRDT: Text Buffer - Made by Evan
- Be findable - by Thorsten Ball - Register Spill
- How (some) good corporate engineering blogs are written
- Cultures of writing. - by Karina Nguyen - sémaphore
2024 / May
- Developers aren't Nerds | 0xFF
- Functional TypeScript #1: Algebraic Data Types
- Writing a Unix clone in about a month
- In the beginning… was the command line | thesephist.com
- Feynman's Garden @ marginalia.nu
- No Wrong Doors. | Irrational Exuberance
- Evolution of the ELF object file format | MaskRay
- Old Dogs, new CSS Tricks | Max Böck
- Doing is normally distributed, learning is log-normal | Andrew Quinn's TILs
- Queueing – An interactive study of queueing strategies – Encore Blog
- How Far Can I Legally Make a Scheduled I Substance?
- Megaparsec tutorial
- Ilya 30u30
- Write yourself a Git!
- The Back-to-Basics Readings of 2012 | All Things Distributed
- The Power of the Marginal
- A Road to Common Lisp / Steve Losh
- Tools That Make You Feel Empowered
- Semantic note-taking | cceckman, from the Internet
- A New Way to Store Knowledge
- Guide: How to start a writing habit
- What I look for in empirical software papers • Buttondown
- The Misunderstood Stoic
- Structured Procrastination
- How and why to make a /now page on your site | Derek Sivers
- Pmarchive · Pmarca Guide to Personal Productivity
- So we built a Reverse Tunnel in Go over HTTP/3 and QUIC | Flipt Blog
- Kim Young Jin - Ambitious but at peace
- From Any Spot on the Field - by Thorsten Ball
- Reading C type declarations
- Implementing MVCC and major SQL transaction isolation levels | notes.eatonphil.com
- Bye Opam, Hello Nix | Emil Privér
- ISP Column - April 2024
- GPUs Go Brrr · Hazy Research
- Professional corner-cutting : Havoc's Blog
- Exploring Hacker News by mapping and analyzing 40 million posts and comments for fun | Wilson Lin
- How NASA is Hacking Voyager 1 Back to Life - IEEE Spectrum
- Visualization Mnemonics for Software Principles - DaedTech
- pal-iii : Digital Equipment Corporation : Free Download, Borrow, and Streaming : Internet Archive
- ISP Router Design Mistakes | Brain Baking
- Safety and Liveness Properties
- Bollards: Why & What · Josh Thompson
- How to style React applications while the world burns around us | Herb Caudill
- Chris's Wiki :: blog/tech/UEFIAndBIOSAndOtherPCTerms
- "Integration tests" are just vibes • Buttondown
- The Time Linkerd Erased My Load Balancer
- My favorite teacher - by Thorsten Ball - Register Spill
- Why Full Text Search is Hard
- How to Build a $20 Billion Semiconductor Fab
- Do Things and Tell People
- Figma’s journey to TypeScript | Figma Blog
- Study of Historical Code | ℤ→ℤ
- Tracking the Wins
- Abstract Heresies: Statements and Expressions
- Ansible is a Lisp
2024 / April
- Bytecode VMs in surprising places
- Constraints on giving feedback. | Irrational Exuberance
- Inside the Super Nintendo cartridges
- Staring into the abyss as a core life skill | benkuhn.net
- Learn one thing at a time | Lawrence Jones
- tsouanas/fmcbook: Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
- kenjihiranabe/The-Art-of-Linear-Algebra: Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"
- Operable Software
- Finding Fulfillment
- Wisdom from Marcus Aurelius - by Gurwinder - The Prism
- adam-maj/tiny-gpu: A minimal GPU design in Verilog to learn how GPUs work from the ground up
- "Thought loss anxiety" is the fear of forgetting good ideas due to lack of good record-keeping
- Other people’s problems | Seth's Blog
- The Man Who Killed Google Search
- Good Ideas in Computer Science ・ Daniel Hooper
- On Opening Essays, Conference Talks, and Jam Jars
- Visualizing Algorithms
- 50 Years Later, This Apollo-Era Antenna Still Talks to Voyager 2 - IEEE Spectrum
- Halo 2 in HD: Pushing the Original Xbox to the Limit – I Code 4 Coffee
- Parsing and all that
- The Technium: 101 Additional Advices
- Stop Acting Like You're Famous
- Tips on how to structure your home directory
- The Guide to Stock Options conversations - by Anton Zaides
- 3 important things I overlooked during code reviews | Piglei
- Linux text manipulation
- Formal Methods: Just Good Engineering Practice? - Marc's Blog
- oss-security - Make your own backdoor: CFLAGS code injection, Makefile injection, pkg-config
- Addiction Pathways in the Brain | Science | AAAS
- Incomplete List of Mistakes in the Design of CSS [CSS Working Group Wiki]
- The Psychology of Liminal Spaces
- 12 Map Happenings that Rocked our World: Part 9 – Map Happenings
- What makes concurrency so hard? • Buttondown
- A Visual Guide to Vision Transformers | MDTURP
- RECOMMENDED DESIGN BOOKS/FILMS – How Design MAKES THE WORLD (The book)
- Double-Entry Bookkeeping as a Directed Graph · Matheus Portela
- Discrete logic IC CPU | Ivan's blog
- An IRC client in your motherboard | Phillip Tennen
- What makes a great technical blog | notes.eatonphil.com
- Do you really need IPv4 anymore?
- How to send progress updates - Slava Akhmechet
- If Inheritance is so bad, why does everyone use it? • Buttondown
- How I significantly improved my sleep schedule - Issa Rice
- My favorite technical blogs
- My new home server · g/ianguid/o.today
- Garbage Collection for Systems Programmers
- Optimizing Javascript for fun and for profit
- Here is why vim uses hjkl keys as arrow keys
- Why the “Eisenhower matrix” is a fantastic productivity hack - Big Think
- My list of challenging software projects some programmers should try | andreinc
- Building My First Homelab Server Rack · mtlynch.io
- The hearts of the Super Nintendo
- great_tables - The Design Philosophy of Great Tables
- Advice to Young People, The Lies I Tell Myself - jxnl.co
- Visualizing the ARM64 Instruction Set | Zachary Yedidia's blog
- lizrice/containers-from-scratch: Writing a container in a few lines of Go code, as seen at DockerCon 2017 and on O'Reilly Safari
- Subroutine calls in the ancient world, before computers had stacks or heaps - The Old New Thing
- You Don’t Need a Writing Ritual
- Book list for streetfighting computer scientists - dankwiki, the wiki of nick black
- Everything I Know About SSDs 2019
2024 / March
- Type system of the React compiler
- Basic Things
- Why Mathematics is Boring | The n-Category Café
- The problem with invariants is that they change over time – Surfing Complexity
- Think real hard | benkuhn.net
- Be impatient | benkuhn.net
- Things you're allowed to do
- Deterministic Simulation Testing | Resonate
- Linux Crisis Tools
- Sega Saturn Architecture | A Practical Analysis
- ADHD Productivity Fundamentals — 0xFF
- Tech Independence | Derek Sivers
- So you think you want to write a deterministic hypervisor?
- #7 - On Keeping a Notebook | Kadambari
- Why do regexes use `$` and `^` as line anchors? • Buttondown
- The Beginner’s Guide to Queuing theory | Qminder
- Fail Forward With Kindness / marcel.io
- Doing weeknotes
- myme.no - Focus by Automation
- Decision logs
- Design is an Island - by Kent Beck
- articles/internals_of_the_async_await_pattern_from_first_principles.md at master · Dobiasd/articles
- How to Start Google
- The Mechanics of Proof — The Mechanics of Proof, by Heather Macbeth
- Dobiasd/articles: thoughts on programming
- Leadership requires taking some risk. | Irrational Exuberance
- Take Ownership of Your Future Self
- My favorite essays of life advice | benkuhn.net
- How web bloat impacts users with slow devices
- Be Well Tuned
- Redefining Observability | Hazel Weakly
- What are 1-bit LLMs?. The Era of 1-bit LLMs with BitNet b1.58 | by Mehul Gupta | Data Science in your pocket | Mar, 2024 | Medium
- Checking Causal Consistency of MongoDB
- First month on a database team | notes.eatonphil.com
- How Figma's Databases Team Lived to Tell the Scale | Figma Blog
- Nix is a better Docker image builder than Docker's image builder - Xe Iaso
- Learning from DNA: a grand challenge in biology · Hazy Research
- 40 years of programming
- My weekly review habit | benkuhn.net
- Create More Than You Consume if You Want to Worry Less and Feel More Fulfilled — OMAR ITANI
- SQLite Internals: Pages & B-trees · The Fly Blog
- Breaking Down Tasks - Jacob Kaplan-Moss
- CAP is Good, Actually • Buttondown
- “No” Is a Good Default Answer
- Technical Skills Are Overrated. Focus on Your Attitude.
- POV: I'm on my third coffee and you just asked me how the internet works
- How HEAD works in git
- How I read a research paper
- Your attitude determines your success
- Learning a technical subject
- Why I blog
- How the First Transistor Worked - IEEE Spectrum
- The checklist manifesto (Dr. Atul Gawande, 2009)
- The CAP Theorem. The Bad, the Bad, & the Ugly | Dominik Tornow
- O Juro é negativo após 2008 - by 🟩🟩Trezoitão🟩🟩
- Why (and how) to read books | notes.eatonphil.com
- Reverse Engineering Protobuf Definitions From Compiled Binaries
- Anatomy of a NixOS Config - unmoved centre
- Paul Butler – The hater’s guide to Kubernetes
- A Deep Dive into the Underlying Architecture of Groq's LPU
- Motorola's 6809 : The Best 8-Bit? - by Babbage
- Byte Interviews the Apple Lisa Dev Team (1983)
- Internet gardening | James' Coffee Blog
- Airfoil – Bartosz Ciechanowski
- Inside the miracle of modern chip manufacturing
- How User Groups Made Software Reuse a Reality | ℤ→ℤ
- My thoughts on writing a Minecraft server from scratch (in Bash)
- Building a Scalable Accounting Ledger
- Learn CSS Layout The Pedantic Way
- Salary Negotiation: Make More Money, Be More Valued | Kalzumeus Software
- Understanding GPU caches – RasterGrid
- Demystifying GPUs for CPU-centric programmers | Medium
2024 / February
- OBTF Follow-up
- No one can teach you to have conviction | benkuhn.net
- Shape Up: Stop Running in Circles and Ship Work that Matters
- How I backup | Derek Sivers
- Job titles are bullshit · Jamie Tanna | Software Engineer
- How to change a system (18 ways) – Changeology
- Earth is becoming sentient — Steph Ango
- 2024-02-25 a history of the tty
- Website Refresh 2023
- Roman Jakobson : The Functions of Language / Signo - Applied Semiotics Theories
- Haskell for all: Unification-free ("keyword") type checking
- Compiler Theory and Reactivity
- ego
- Build your own Database Index: part 1
- williamdemeo/TypeFunc: Resources for type theory, functional programming, etc.
- How MOSFETS Work - Unravel the Mysteries of How mosfets Work!
- What I Wish Someone Had Told Me - Sam Altman
- Table of Contents | Ultimate Electronics Book
- Software infrastructure 2.0: a wishlist · Erik Bernhardsson
- DRMacIver's Notebook: Writing good programming abstractions
- Bloom Filters
- Evolution of tree data structures for indexing: more exciting than it sounds · Erthalion's blog
- B+-Tree Indexes
- Fighting undead documentation
- Distributed Logical Time
- An intuition for distributed consensus in OLTP systems | notes.eatonphil.com
- How to (seriously) read a scientific paper | Science | AAAS
- HOW TO STUDY
- Tunable Consistency in MongoDB
- Teach Yourself Programming in Ten Years
- Demystifying GPU Compute Architectures - by Babbage
- OKRs are Bullshit - by drmorr
- Writing Is Magic - Marc's Blog
- Writing For Somebody - Marc's Blog
- How Do You Spend Your Time? - Marc's Blog
- Why Gödel, Escher, Bach is the most influential book in my life. | by Mark Johnson | Medium
- Idea Generation - Sam Altman
- How Did I Get Here?
- A Brief Summary of Evolutionary Design | CodingItWrong.com