cs.
- PlayStation 2 Architecture
- The guide to implementing 2D platformers | Higher-Order Fun
- CSCI 181G PO
- SNES: Sprites and backgrounds rendering
- Tools + Techniques for Procedural Gamedev - Casey Primozic's Homepage
- Neo Geo Architecture | A Practical Analysis
- Modern cryptography on the NES - Super Tilt Bro. for NES by sgadrat
- Reversing Choplifter – Blondihacks
- Let's write a video game from scratch like it's 1987
- The Lost Reading Items
- Monty Anderson
- How to train a model on 10k H100 GPUs?
- Tensor Labbet · A blog of deep learnings
- Let's reproduce GPT-2 (1.6B): one 8XH100 node, 24 hours, $672, in llm.c · karpathy/llm.c · Discussion #677
- naklecha/llama3-from-scratch: llama3 implementation one matrix multiplication at a time
- A Visual Guide to Quantization - by Maarten Grootendorst
- Ask HN: What are some "toy" projects you used to learn neural networks hands-on? | Hacker News
- karpathy/LLM101n: LLM101n: Let's build a Storyteller
- soulmachine/machine-learning-cheat-sheet: Classical equations and diagrams in machine learning
- interdb.jp
- Welcome … — Physics-based Deep Learning
- Deep-ML
- Trying Kolmogorov-Arnold Networks in Practice - Casey Primozic's Homepage
- A Deep Dive into the Underlying Architecture of Groq's LPU
- A Visual Guide to Vision Transformers | MDTURP
- 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
- Ilya 30u30
- githublog/2021/12/14/doing-more-than-one-thing.md at main · francisrstokes/githublog
- Userland Disk I/O
- Which kernel is the most readable one? | Lobsters
- Linux's Bedtime Routine – Tookmund – A place for my random thoughts about software
- Tales of the M1 GPU - Asahi Linux
- Setting up an x86 CPU in 64-bit mode
- TLA from first principles
- If you don’t examine what worked, how will you know what works?
- It's About the Guarantees
- Pattern: Event sourcing
- Pattern: Saga
- Synchronization is bad for scale
- Sensors and gauges - Observability in distributed systems
- Five Common Misconceptions About Event-Driven Architecture
- Linearizability in distributed systems
- Surfing Complexity
- Multi-version concurrency control in TLA+
- start - TLA+ Wiki
- Distributed Systems Reading List
- start - TLA+ Wiki
- A liveness example in TLA+ – Surfing Complexity
- Why do systems fail? Tandem NonStop system and fault tolerance
- An Illustrated Proof of the CAP Theorem
- There is No Now - ACM Queue
- The Writings of Leslie Lamport
- CRDTs go brrr
- Raft
- Erasure Coding for Distributed Systems
- Constraining writers in distributed systems
- ATProto for distributed systems engineers - AT Protocol
- Taming Consensus in the Wild (with the Shared Log Abstraction)
- On distributed systems | Distributed Systems by Szymon Durak
- Thoughts on "The Future of TLA+" • Buttondown
- State and time are the same thing • Buttondown
- 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
- Predicting the Future of Distributed Systems
- Vector Clocks Explained
- Simple event broker tries Tiger Style
- Not Just Scale - Marc's Blog
- Consensus
- Let's Consign CAP to the Cabinet of Curiosities - Marc's Blog
- time-clocks
- RFC 677: Maintenance of duplicate databases
- untitled1.html
- Modeling B-trees in TLA+ – Surfing Complexity
- Dirty writes – Surfing Complexity
- Falsehoods Software Developers Believe About Event-Driven Systems · Blog · Loïc Carr
- A snapshot isolated database modeling in TLA+
- TLA+ modeling of a single replicaset transaction modeling
- Hermitage: Testing the “I” in ACID — Martin Kleppmann’s blog
- A Distributed Systems Reading List
- The problem with invariants is that they change over time – Surfing Complexity
- Distributed Logical Time
- CAP is Good, Actually • Buttondown
- The Back-to-Basics Readings of 2012 | All Things Distributed
- The CAP Theorem. The Bad, the Bad, & the Ugly | Dominik Tornow
- CRDT: Text Buffer - Made by Evan
- Deterministic Simulation Testing | Resonate
- So you think you want to write a deterministic hypervisor?
- An intuition for distributed consensus in OLTP systems | notes.eatonphil.com
- How should I read type system notation?
- bytecode interpreters for tiny computers ⁑ Dercuano
- Introduction to the λ-calculus
- glouw/c8c: The chip8 compiler, assembler, and virtual machine
- Alpha Conversion | Kevin Sookocheff
- Chapter 0 Preface — Programming Languages
- What’s in an e-graph? | Max Bernstein
- Programming languages resources | Max Bernstein
- Classic Papers in Programming Languages and Logic
- Terms, types, and functions
- Userland Disk I/O
- PSA: SQLite does not do checksums
- Synchronization is bad for scale
- Integrity Constraints and the Relational Derivative • Buttondown
- How Discord Stores Trillions of Messages
- B-trees and database indexes
- Implementing HanoiDB - Session 1: Introduction
- B+-Tree Indexes
- Database “sharding” came from UO? – Raph's Website
- B-trees
- antoniosarosi/mkdb: Toy Database
- Database Indexes & Phone Books - by Thorsten Ball
- Rediscovering Transaction Processing From History and First Principles
- Build your own SQLite, Part 1: Listing tables
- PostgreSQL triggers and isolation levels - Vlad Mihalcea
- Alternative Technologies
- SQLite Transactions
- A Race to the Bottom - Database Transactions Undermining Your AppSec · Doyensec's Blog
- O tal do Isolamento no A.C.I.D. - Alen Vieira
- Modeling B-trees in TLA+ – Surfing Complexity
- Dirty writes – Surfing Complexity
- Elaboration of the PostgreSQL sort cost model
- A write-ahead log is not a universal part of durability | notes.eatonphil.com
- Counted B-Trees
- Build your own Database Index: part 1
- Introduction | Bmg documentation
- SQLite Internals: Pages & B-trees · The Fly Blog
- Checking Causal Consistency of MongoDB
- Evolution of tree data structures for indexing: more exciting than it sounds · Erthalion's blog
- Data Modeling in Document Databases for the RDBMS-Minded
- Writing My Own Database From Scratch
- Bloom Filters
- NULL BITMAP Builds a Database #1: The Log is Literally the Database • Buttondown
- How Figma's Databases Team Lived to Tell the Scale | Figma Blog
- Implementing MVCC and major SQL transaction isolation levels | notes.eatonphil.com
- Database anomalies and isolation levels |
- 500 Lines or LessAn Archaeology-Inspired Database
- Tunable Consistency in MongoDB
- Rust versions of TAPL's System F and System F-omega type checkers
- Whence '\n'? – Casey Rodarmor's Blog
- Error Handling in a Correctness-Critical Rust Project | sled-rs.github.io
- rust-gpu.github.io
- Probability for Computer Scientists
- Table of Contents
- On the cruelty of really teaching computing science
- Computer Organization E-book by Stephen Marz
- How do Graphics Cards Work? Exploring GPU Architecture
- Cognitive load
- sled book shop | sled-rs.github.io
- How to convince engineers that formal methods is cool • Buttondown
- Terminal colours are tricky
- Magic isn’t real - Inside thoughts
- Applied Mathematical Programming
- Books - Computing History
- Practices of Reliable Software Design
- Dobiasd/articles: thoughts on programming
- Good Ideas in Computer Science ・ Daniel Hooper
- The Architecture of Open Source Applications (Volume 1)Berkeley DB
- The Fundamental Law Of Software Dependencies
- My Software Bookshelf | olano.dev
- A ToC of the 20 part linker essay [LWN.net]
- Some Books I Like // One Year of NULL BITMAP • Buttondown
- Art of Assembly Language, PDF Files
- adam-maj/tiny-gpu: A minimal GPU design in Verilog to learn how GPUs work from the ground up
- A weekend's (re)reading list | Ludwig
- Parse, don’t validate
- The Backup And Sync Strategy, Revised | Brain Baking
- Keep perfecting your config • Buttondown
- Software Engineering Is Not Engineering | Brain Baking
- sbensu: We need visual programming. No, not like that.
- Beating the L1 cache with value speculation
- 89 things I know about Git commits · Jamie Tanna | Software Engineer
- The Architecture of Open Source Applications
- Serving a billion web requests with boring code - llimllib notes
- Reverse Engineering the Verification QR Code on my Diploma
- The sad state of property-based testing libraries
- Programmers Should Never Trust Anyone, Not Even Themselves
- My programming beliefs as of July 2024
- "Simple Made Easy" - Rich Hickey (2011)
- Proxmox vs FreeBSD: Which Virtualization Host Performs Better? - IT Notes
- staniks.github.io
- Mediocre Engineer’s guide to HTTPS
- The Unix and Internet Fundamentals HOWTO
- So we built a Reverse Tunnel in Go over HTTP/3 and QUIC | Flipt Blog
- Reading C type declarations
- Data Modeling in Document Databases for the RDBMS-Minded
- NULL BITMAP Builds a Database #1: The Log is Literally the Database • Buttondown
- Implementing MVCC and major SQL transaction isolation levels | notes.eatonphil.com
- Malloc tutorial
- How much memory does a call to ‘malloc’ allocates? – Daniel Lemire's blog
- Differential Analysis: A Summary
- making regex from scratch in GO - Lewis Metcalf
- How terminal works. Part 1: Xterm, user input | Thoughts-chain
- How to Test
- Cheng Lou - "On the Spectrum of Abstraction" summarized transcript (React Europe 2016)
- Always Measure One Level Deeper – Communications of the ACM
- Always Measure One Level Deeper
- The Law of Leaky Abstractions – Joel on Software
- CRDT: Text Buffer - Made by Evan
- Ilya 30u30
- Things you wish you didn't need to know about S3
- Old Dogs, new CSS Tricks | Max Böck
- Figma’s journey to TypeScript | Figma Blog
- Bytecode VMs in surprising places
- Parsing and all that
- A (Draft) Taxonomy of SIMD Usage – Branch Free
- Double-Entry Bookkeeping as a Directed Graph · Matheus Portela
- Linux text manipulation
- Functional TypeScript #1: Algebraic Data Types
- Here is why vim uses hjkl keys as arrow keys
- Safety and Liveness Properties
- Writing a Unix clone in about a month
- Discrete logic IC CPU | Ivan's blog
- Queueing – An interactive study of queueing strategies – Encore Blog
- Never, Sometimes, Always - lukeplant.me.uk
- "Integration tests" are just vibes • Buttondown
- Build Your Own X
- Study of Historical Code | ℤ→ℤ
- What Color is Your Function? – journal.stuffwithstuff.com
- Bye Opam, Hello Nix | Emil Privér
- Tools That Make You Feel Empowered
- oss-security - Make your own backdoor: CFLAGS code injection, Makefile injection, pkg-config
- Evolution of the ELF object file format | MaskRay
- Tips on how to structure your home directory
- Visualization Mnemonics for Software Principles - DaedTech
- Ansible is a Lisp
- Learn OpenGL, extensive tutorial resource for learning Modern OpenGL
- Legend of Worlds
- Making USB devices - end to end guide to your first gadget
- An IRC client in your motherboard | Phillip Tennen
- Chris's Wiki :: blog/tech/UEFIAndBIOSAndOtherPCTerms
- How to Build a $20 Billion Semiconductor Fab
- Abstract Heresies: Statements and Expressions
- Why Full Text Search is Hard
- Megaparsec tutorial
- Formal Methods: Just Good Engineering Practice? - Marc's Blog
- A New Way to Store Knowledge
- Exploring Hacker News by mapping and analyzing 40 million posts and comments for fun | Wilson Lin
- GPUs Go Brrr · Hazy Research
- A Road to Common Lisp / Steve Losh
- Write yourself a Git!
- Regular, Recursive, Restricted
- Halo 2 in HD: Pushing the Original Xbox to the Limit – I Code 4 Coffee
- Pattern: Saga
- Logging Guide
- Sensors and gauges - Observability in distributed systems
- 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
- A Commentary on Defining Observability
- Books
- Why is Browser Observability Hard | Hazel Weakly
- Putting a meaningful dent in your error backlog – Dan Slimmon
- Smolderingly fast b-trees
- Visualizing Algorithms
- B-trees
- Visual Data Structures Cheat-Sheet - by Nick M
- How to implement a hash table (in C)
- How we shrunk our Javascript monorepo git size by 94%
- articles/internals_of_the_async_await_pattern_from_first_principles.md at master · Dobiasd/articles
- How we tamed Node.js event loop lag: a deepdive | Trigger.dev
- Monitoring Node.js: Watch Your Event Loop Lag! - David Hettler 🥨
- Elements kinds in V8 · V8
- Five Common Misconceptions About Event-Driven Architecture
- 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
- Understanding DNS resolution on Linux and Kubernetes
- A gentle guide to self-hosting your software | ᕕʕ •ᴥ•ʔ୨ Shank Space
- How I backup | Derek Sivers
- Linux Crisis Tools
- Building My First Homelab Server Rack · mtlynch.io
- Paul Butler – The hater’s guide to Kubernetes
- The Time Linkerd Erased My Load Balancer
- My new home server · g/ianguid/o.today
- Proxmox vs FreeBSD: Which Virtualization Host Performs Better? - IT Notes
- Crushing Castlevania with Antithesis
- The sad state of property-based testing libraries
- Can't trust any VPN these days
- Understanding DNS resolution on Linux and Kubernetes
- Let the network tell you where you are: a nerd snipe story
- Why TCP needs 3 handshakes | PixelsTech
- TCP Server in Zig - Part 1 - Single Threaded
- Visual guide to SSH tunneling and port forwarding - ITTAVERN.COM
- NetworkManager or networkd [LWN.net]
- The Illustrated QUIC Connection: Every Byte Explained
- Do you really need IPv4 anymore?
- DNS "propagation" is actually caches expiring
- Self-hosting DNS - GHOST
- How SSH Secures Your Connection :: Noratrieb's blog
- Ethernet History Deepdive – Why Do We Have Different Frame Types? – Daniels Networking Blog
- kiennt26's home | Linux Network Performance Ultimate Guide
- 1989 Networking: NetWare 386 | OS/2 Museum
- The Hazardous Life of an Undersea Cable
- ISP Router Design Mistakes | Brain Baking
- ISP Column - April 2024
- staniks.github.io
- Mediocre Engineer’s guide to HTTPS
- The Unix and Internet Fundamentals HOWTO
- POV: I'm on my third coffee and you just asked me how the internet works
- So we built a Reverse Tunnel in Go over HTTP/3 and QUIC | Flipt Blog
- What is a CIDR trie and how can it help you? · blog | sven kanoldt
- Solving the Mystery of ARM7TDMI Multiply Carry Flag
- A new cycle-stepped 6502 CPU emulator
- Zig and Emulators
- EMUBook
- A Dictionary of Single-Letter Variable Names | Blog | jackkelly.name
- TCP Server in Zig - Part 1 - Single Threaded
- Closures in Zig
- Zig and Emulators
- bytecode interpreters for tiny computers ⁑ Dercuano
- glouw/c8c: The chip8 compiler, assembler, and virtual machine
- What’s in an e-graph? | Max Bernstein
- How does it feel to test a compiler? | by Alexander Zakharenko | Jul, 2024 | Medium
- Programming languages resources | Max Bernstein
- Dick Grune's Annotated Literature Lists
- Ask HN: Resources for GPU Compilers? | Hacker News
- Notes/Primer on Clang Compiler Frontend (1) : Introduction and Architecture - Youssef Ateya
- The Compiler Writer Resource Page
- Efficient and Insightful Generalization
- Crafting Interpreters with Rust: On Garbage Collection | Tung Le Vo
- How to Compile Your Language
- Learning LLVM (Part-2)
- On reading about optimizing compilers | Ludwig
- 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
- Compiler Theory and Reactivity
- bytecode interpreters for tiny computers ⁑ Dercuano
- Home
- The algebra (and calculus!) of algebraic data types
- glouw/c8c: The chip8 compiler, assembler, and virtual machine
- Virtualization Internals Part 1 - Intro to Virtualization | Saferwall
- Object-Oriented
- Object-Oriented
- What is Table-Oriented Programming? :: Table-Oriented Programming (TOP)
- Going Buildless | Max Böck
- "Pushing the Limits of Web Browsers" by Lars Bak (2012)
- Scoped Propagators
- Properly Testing Concurrent Data Structures
- Authenticated Boot and Disk Encryption on Linux
- Essays: NSA Surveillance: a Guide to Staying Secure - Schneier on Security
- Essays: NSA Surveillance: a Guide to Staying Secure - Schneier on Security
- How SSH Secures Your Connection :: Noratrieb's blog
- Hacking a Virtual Power Plant | rya.nc
- Why I’m Writing A Book On Cryptography
- Modern cryptography on the NES - Super Tilt Bro. for NES by sgadrat
- Implementing SHA-256 on the 6502 | Bumbershoot Software
- Efficient and Insightful Generalization
- How we tamed Node.js event loop lag: a deepdive | Trigger.dev
- WebGPU Unleashed: A Practical Tutorial
- Ray Tracing Harmonic Functions
- How to Create a Liquid Raymarching Scene Using Three.js Shading Language | Codrops
- Understanding 3D Graphics | Azeem Bande-Ali | azeemba.com
- Ray Tracing in One Weekend
- The Book of Shaders
- Exponentially Better Rotations
- Scratchapixel 4.0, Learn Computer Graphics Programming
- leandromoreira/digital_video_introduction: A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸
- Ray Tracing in One Weekend Series
- WebGPU Fundamentals
- Agda by Example: λ-calculus
- Ownership