cs.
- 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
- Closures in Zig
- Zig and Emulators
- 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
- Programming with Lambda Calculus
- Typed Lambda Calculus / Calculus of Constructions
- 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
- Efficient and Insightful Generalization
- The Compiler Writer Resource Page
- Crafting Interpreters with Rust: On Garbage Collection | Tung Le Vo
- How to Compile Your Language
- lecture18
- Learning LLVM (Part-2)
- little-languages
- On reading about optimizing compilers | Ludwig
- An Incremental Approach to Compiler Construction
- 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
- What’s in an e-graph? | Max Bernstein
- Programming languages resources | Max Bernstein
- bytecode interpreters for tiny computers ⁑ Dercuano
- An Incremental Approach to Compiler Construction
- Classic Papers in Programming Languages and Logic
- Terms, types, and functions
- 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
- sigtt611-bernstein
- Distributed Systems Reading List
- time-clocks
- RFC 677: Maintenance of duplicate databases
- untitled1.html
- time-clocks
- Synchronization is bad for scale
- 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
- zine-ali
- Not Just Scale - Marc's Blog
- A Distributed Systems Reading List
- CRDT: Text Buffer - Made by Evan
- The Back-to-Basics Readings of 2012 | All Things Distributed
- The problem with invariants is that they change over time – Surfing Complexity
- Deterministic Simulation Testing | Resonate
- So you think you want to write a deterministic hypervisor?
- CAP is Good, Actually • Buttondown
- The CAP Theorem. The Bad, the Bad, & the Ugly | Dominik Tornow
- Distributed Logical Time
- An intuition for distributed consensus in OLTP systems | notes.eatonphil.com
- Practices of Reliable Software Design
- 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
- 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
- The Architecture of Open Source Applications (Volume 1)Berkeley DB
- Serving a billion web requests with boring code - llimllib notes
- What every systems programmer should know about concurrency
- A TUTORIAL ON POINTERS AND ARRAYS IN C
- 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)
- How much memory does a call to ‘malloc’ allocates? – Daniel Lemire's blog
- Malloc tutorial
- Malloc_tutorial
- 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
- The Unix and Internet Fundamentals HOWTO
- 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
- Never, Sometimes, Always - lukeplant.me.uk
- 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
- 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
- What Color is Your Function? – journal.stuffwithstuff.com
- CRDT: Text Buffer - Made by Evan
- Functional TypeScript #1: Algebraic Data Types
- Writing a Unix clone in about a month
- Evolution of the ELF object file format | MaskRay
- Old Dogs, new CSS Tricks | Max Böck
- Queueing – An interactive study of queueing strategies – Encore Blog
- Megaparsec tutorial
- Ilya 30u30
- Write yourself a Git!
- A Road to Common Lisp / Steve Losh
- Tools That Make You Feel Empowered
- A New Way to Store Knowledge
- So we built a Reverse Tunnel in Go over HTTP/3 and QUIC | Flipt Blog
- Reading C type declarations
- Implementing MVCC and major SQL transaction isolation levels | notes.eatonphil.com
- Bye Opam, Hello Nix | Emil Privér
- GPUs Go Brrr · Hazy Research
- Exploring Hacker News by mapping and analyzing 40 million posts and comments for fun | Wilson Lin
- Visualization Mnemonics for Software Principles - DaedTech
- Safety and Liveness Properties
- Chris's Wiki :: blog/tech/UEFIAndBIOSAndOtherPCTerms
- "Integration tests" are just vibes • Buttondown
- Why Full Text Search is Hard
- How to Build a $20 Billion Semiconductor Fab
- Figma’s journey to TypeScript | Figma Blog
- Study of Historical Code | ℤ→ℤ
- Abstract Heresies: Statements and Expressions
- Ansible is a Lisp
- Bytecode VMs in surprising places
- adam-maj/tiny-gpu: A minimal GPU design in Verilog to learn how GPUs work from the ground up
- Good Ideas in Computer Science ・ Daniel Hooper
- Halo 2 in HD: Pushing the Original Xbox to the Limit – I Code 4 Coffee
- Parsing and all that
- Tips on how to structure your home directory
- 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
- Double-Entry Bookkeeping as a Directed Graph · Matheus Portela
- Discrete logic IC CPU | Ivan's blog
- An IRC client in your motherboard | Phillip Tennen
- Here is why vim uses hjkl keys as arrow keys
- Dobiasd/articles: thoughts on programming
- B-trees and database indexes
- Implementing HanoiDB - Session 1: Introduction
- Database “sharding” came from UO? – Raph's Website
- B-trees
- 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
- Synchronization is bad for scale
- Modeling B-trees in TLA+ – Surfing Complexity
- Dirty writes – Surfing Complexity
- full-issue
- Elaboration of the PostgreSQL sort cost model
- A write-ahead log is not a universal part of durability | notes.eatonphil.com
- Introduction | Bmg documentation
- Database anomalies and isolation levels |
- antoniosarosi/mkdb: Toy Database
- Writing My Own Database From Scratch
- Counted B-Trees
- 500 Lines or LessAn Archaeology-Inspired Database
- NULL BITMAP Builds a Database #1: The Log is Literally the Database • Buttondown
- Data Modeling in Document Databases for the RDBMS-Minded
- Implementing MVCC and major SQL transaction isolation levels | notes.eatonphil.com
- Checking Causal Consistency of MongoDB
- How Figma's Databases Team Lived to Tell the Scale | Figma Blog
- SQLite Internals: Pages & B-trees · The Fly Blog
- Build your own Database Index: part 1
- Bloom Filters
- Evolution of tree data structures for indexing: more exciting than it sounds · Erthalion's blog
- B+-Tree Indexes
- Tunable Consistency in MongoDB
- Linux's Bedtime Routine – Tookmund – A place for my random thoughts about software
- Tales of the M1 GPU - Asahi Linux
- advanced-linux-programming
- Setting up an x86 CPU in 64-bit mode
- 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
- The Illustrated QUIC Connection: Every Byte Explained
- kiennt26's home | Linux Network Performance Ultimate Guide
- 1989 Networking: NetWare 386 | OS/2 Museum
- The Hazardous Life of an Undersea Cable
- What is a CIDR trie and how can it help you? · blog | sven kanoldt
- The Unix and Internet Fundamentals HOWTO
- Mediocre Engineer’s guide to HTTPS
- staniks.github.io
- So we built a Reverse Tunnel in Go over HTTP/3 and QUIC | Flipt Blog
- ISP Column - April 2024
- ISP Router Design Mistakes | Brain Baking
- Do you really need IPv4 anymore?
- POV: I'm on my third coffee and you just asked me how the internet works
- Why is Browser Observability Hard | Hazel Weakly
- Putting a meaningful dent in your error backlog – Dan Slimmon
- Authenticated Boot and Disk Encryption on Linux
- Essays: NSA Surveillance: a Guide to Staying Secure - Schneier on Security
- A new cycle-stepped 6502 CPU emulator
- Zig and Emulators
- EMUBook
- 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
- Implementing SHA-256 on the 6502 | Bumbershoot Software
- Modern cryptography on the NES - Super Tilt Bro. for NES by sgadrat
- B-trees
- Visual Data Structures Cheat-Sheet - by Nick M
- How to implement a hash table (in C)
- Visualizing Algorithms
- Home
- The algebra (and calculus!) of algebraic data types
- 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
- soulmachine/machine-learning-cheat-sheet: Classical equations and diagrams in machine learning
- 2407.09468
- interdb.jp
- Let's reproduce GPT-2 (1.6B): one 8XH100 node, 24 hours, $672, in llm.c · karpathy/llm.c · Discussion #677
- Welcome … — Physics-based Deep Learning
- Deep-ML
- Trying Kolmogorov-Arnold Networks in Practice - Casey Primozic's Homepage
- NMI_Review
- karpathy/LLM101n: LLM101n: Let's build a Storyteller
- Ilya 30u30
- 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
- A Deep Dive into the Underlying Architecture of Groq's LPU
- Efficient and Insightful Generalization
- How we tamed Node.js event loop lag: a deepdive | Trigger.dev
- 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
- articles/internals_of_the_async_await_pattern_from_first_principles.md at master · Dobiasd/articles
- 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
- 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
- The Book of Shaders
- Exponentially Better Rotations
- Scratchapixel 4.0, Learn Computer Graphics Programming
- Ray Tracing in One Weekend
- Ray Tracing in One Weekend Series
- WebGPU Fundamentals
- Agda by Example: λ-calculus
- Ownership
- The sad state of property-based testing libraries
- 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
- Proxmox vs FreeBSD: Which Virtualization Host Performs Better? - IT Notes
- The Time Linkerd Erased My Load Balancer
- My new home server · g/ianguid/o.today
- Building My First Homelab Server Rack · mtlynch.io
- Linux Crisis Tools
- Paul Butler – The hater’s guide to Kubernetes
- How I backup | Derek Sivers