Miscellaneous Saved Links.
Miscellaneous Saved Links
Articles and Blog Posts
- Profiling code with LLVM
- Code Character
- LLVM Passes
- More on LLVM Passes
- LLVM
- More on LLVM Passes
- Pre-commit tips
- Interior Mutability Series
- Compile-time Codegen
- CRTP Interface
- The Evolution of the QEMU Translator
- Go Garbage Collector
- Ruby Garbage Collection
- NAN Boxing
- What Every Programmer Should Know About Compiler Optimizations, Part 2
- Modern JavaScript Tutorial
- Simplify with Dependency Injection with Uber FX
- Data Race Patterns in Go
- Using Apache Kafka to Process 1 Trillion Messages
- Scheduling in Go, Part 1
- Event-Driven Topic Design Using Kafka
- The Laws of Reflection in Go
- Uber Go Style Guide
- How We Halved Go Monorepo CI Build Time
- Recursion Schemes in Rust
- Dockerfile Best Practices
- Redis Architecture Notes
- Apache Server: Use mod_evasive to Refute DoS Attack
- A Guide to Porting C to Rust: Memory Allocation
- Setting Apache2 ulimit for Maximum Prefork Performance
- TCP/IP Packets Introduction: Manually Create and Send Raw TCP/IP Packets
- A Complete Guide to NodeJS Process Management with PM2
- How io_uring and eBPF Will Revolutionize Programming in Linux
- How io_uring and eBPF Will Revolutionize Programming in Linux (ScyllaDB)
- Apache Stability on a Very High-Traffic Server
- Speed Up Apache
- Monitoring Apache Web Server Performance
- Containers: Learning Docker with Docker
- Sapling: A Scalable, User-Friendly Source Control System
- Workbox
- Language Server Protocol in Monaco Editor
- mujs-uiuctf
- albatross-redpwnctf
- Awaitable Timers
- Why I Love Databases
- PhD Dissertation Background
- GCC Under the Hood
- Rich Programmer Food
- Intel Zero-Opt
- My Thoughts on OCaml vs Haskell/Rust (2023)
- Coherence and Errors
- PL Resources
- Algorithms for Modern Hardware
- EventHelix System Design
- Bartosz Milewski's Master Thesis
- Compiling with Continuations
- Faultlore
- Ralf Jung's Blog
- Love Types
- Making a Language
- GHC Reading List
- Performance Optimisation ~ Writing an Essay
- All You Need Is Call/CC
- dancres.github.io
- nnethercote.github.io
- Hillel Wayne's Blog
- New Garbage Collector for LuaJIT
- Trail of Bits Blog
- Melody's Notes
- Assembly Tutorial 3
- BlazingMQ
- Too Many Web Servers
- WASM Replayable Functions
- Past Webdev
- System Design Interviews
- Fast Pipes
- Pin and Unpin in Rust
- Brian Callahan's Blog
- c9x.me/compile
- Tree-structured Concurrency
- Demystifying Database Transactions
- Software Resources
- Java Development Practices: Using Thread Pools and Thread Variables Properly
- Java Multithreading
- Memcached Interview
- Optimizing
await - A Hack to Implement Efficient TLS (Thread Local Storage)
- Linux Insides
- Server-Side Sandboxing: Containers and Seccomp
- Ankit Sultana's Reading List
- dancres.github.io
- Marc Brooker's Blog
- Types and Zig
- Scattered Thoughts
- Zack's Blog
- The Part of PostgreSQL We Hate the Most
- Our Journey Adopting SPIFFE/SPIRE at Uber
- Postgres Internals
- NilAway: Practical Nil Panic Detection for Go
- Undefined Behavior Deserves a Better Reputation
- How to Execute an Object File: Part 4
- GoWind's Blog
- PPrint Documentation
- Mulligan: A Statically-Typed Lisp-like Language
- Storing Data in Pointers
- Sillycross's Archives
- Daniel J. Harvey's Blog
- Signaling from Within: How eBPF Interacts with Signals
- Wingolog
- Upgrading GitHub.com to MySQL 8.0
- Twitter's Manhattan Database
- Goodbye, C++
- Solving the Structured Control Flow Problem Once and for All
- Software Transactional Memory
- Why is Idris 2 so much faster than Idris 1?
- TiDB Dev Guide
- Some of the things I've learned about building compilers
- Consistency
- Just Write the Parser
- The Deadlock Empire
- An Overview of Distributed PostgreSQL Architectures
- Dan Luu's Blog on Culture
- Distributed Systems Theory for the Distributed Systems Engineer
- Linux Kernel Memory Barriers
- Stuff I Learnt in 2021
- Stuff I Learnt in 2022
- Transactional Blog
- Deep Dive TiKV
- Log-Structured Merge-Trees
- Are Databases a Thing of the Past?
- Eklitzke's Blog
- Distributed Transactions in TiDB
- Rufflewind's Blog
- How RocksDB Works
- Data-Oriented Design
- Job Hernandez's Blog
- How to Learn Compilers: LLVM Edition
- The Copenhagen Book
- Borrow Checking Without Lifetimes
- Pause and Resume a JavaScript Function
- Polytypic Blog
- Verified Compiler
- Linear DP
- Doisinkidney's Blog
- Type Theory Stuff in Blog
- Notes on Compiler IRs
- Rust Runtime Design
- Swift for C++ Peeps
- Understanding the React Compiler
- Java Annotation Processing Tool - AbstractProcessor
- Thume's Archive
- Getting Started with Category Theory
- Pin and Suffering
- Database Ruins All Good Ideas
- SIGPLAN Blog
- A Beginner's Guide to PL Academia
- PRL @ Northeastern Blog
- Taming Null Dereferences with Pluggable Type Systems (Part I)
- Recent PL Research
- How to Build an Agent - Amp
- Kubernetes Problems
- Log Proof Localisation
- Patterns in FP
Courses and Educational Resources
- LeetCode Problem List
- Advanced Compilers 2015
- LLVM & Clang Study Notes
- Topic List
- IU Compiler Course
- Compilers in Haskell
- UCSD Compilers OCaml Course
- UPenn Compilers Course (OCaml)
- MIT 6.005
- NEU CS4410
- MIT 6.005 Archive
- Matt Might's Articles
- UPenn CIS341 2020
- Dinosaur Book (YACC)
- Lua 5.3 Manual
- TypeScript Gitbook
- Stanford CS242
- Labuladong's Algo Book
- IU Compiler Course (Again)
- Google Code Source
- VSCode Language Server Extension Guide
- Jongy's Website
- Steve Yegge's Blog Rants
- ITPL
- Static Program Analysis Course
- Static Program Analysis Videos
- SRE Book
- LaTeX Tutorial
- TheNumbat's Lists
- TheNumb.at
- GoWind's GitHub
- Ralf Jung's Research
- UCSD Compilers S23
- How to Become a Hacker
- Distributed Systems: 6.824
- Kleppmann's Distributed Systems Course
- CMU DB Systems
- Discrete Mathematics by László Lovász
- Security: 6.858
- Theoretical CS: 6.080
- Modern Algorithmic Toolbox
- Algorithms for Modern Hardware
- Performance Engineering of Software Systems: 6.172
- Berkeley CS262
- Programming Language Research
- CMU Course Reviews
- Learning About Distributed Systems
- How Query Engines Work
- Let's Build a Simple Database
- PingCAP Talent Plan
- Mini-LSM
- Bustub Course Projects
- Linux Kernel Labs
- Cornell CS4110
- Cambridge Advanced Functional Programming
- Cambridge Distributed Systems
- Proofs
- OCaml Memgraph
- Cambridge Advanced Functional Programming (2017-18)
- Simon's Website
- Type Systems
- MCIR
- Zig Documentation
- PLDG at Cornell
- Mini Key-Value DB
- Lean4 Type Checking
- GSOC '24 Ideas
- Lean Publications
- Total Parser Combinator
- Terminating Parser Combinators
- Michael Young's Syllabus
- Type Theory and Formal Proof
- Semantics Course
- Xavier Leroy's Courses
- Logic and Computation Course
- Lean Course Tactics
- NBE Four Ways
- Higher-Order Abstract Syntax
- Normalization by Evaluation
- ECE750T29: Advanced Topics in Software Engineering
- APV: Automated Program Verification
- CIS700: Topics in Programming Languages & Compilers
- RTC: Research Topics in Compilers
- Logical Verification
- How to Implement Dependent Type Theory I
- CSCI1710: Logic for Systems
- Program Logics a la Carte
- Normalization by Evaluation Tutorial
- CPSC539B: Dependently-Typed Programming
- CPSC539B: Advanced Functional Programming
- Refinement Calculus
- The G-Machine in Detail
- The Semantics of Evaluation & Continuations
- Impredicative Polymorphism
- Amulet's New Type Checker
- Dependent Types
- A Proof of Correctness for the Compiler of a Verified Ecosystem
- New Computation Model for Dune
- How We Accidentally Built a Better Build System for OCaml
- Exploring Lean4
- FIX: A Library for Fixpoints
- Curry-Howard Correspondence
- Proofs and Types
- Type Theory and Formal Proof: An Introduction
- Structural Operational Semantics
- Lean Reference
- Metaprogramming in Lean4
- Typechecking in Lean4
- Calculus of Inductive Constructions
- Learn Lean
- Mathlib4 API Reference
- Substructural Polymorphism
- Incremental Computation
- Checker Framework New Contributor Projects
- 1ML - Core and Modules United
- Fundamental Concepts in Programming Languages
- PyTorch Internals
- Skipping the Binder Bureaucracy with Mixed Embeddings in a Semantics Course (Functional Pearl)
- Redex
- Testing Distributed Systems
- Poisson Chat
- Reciprog Slides
- Parametricity and Coinduction
- Coinductive Datatypes
- Structural Recursion and Co-recursion
- Composable Data Systems: Lessons from Apache Calcite's Success
- Type Theory for All
- Better Data Types à la Carte
- Lean4 Documentation
Discussions and Forums
- Stack Overflow: Why does GCC push
rbxat the beginning ofmain? - Stack Overflow: Confusion about
StateT,State, andMonadState - Stack Overflow: How does garbage collection work in languages which are natively compiled?
- Reddit: Which OSS codebases out there are so beautiful they bring a tear to your eye?
- Reddit: No good overview of how languages are implemented?
- Hacker News: The Dirty Pipe Vulnerability
- Reddit: Advent of Code 2022 Day 5
- Reddit: Thoughts on proof assistants?
- Reddit: Programmable Type Systems
- Reddit: Recent PL Research
- Lobste.rs: Tree-structured Concurrency
- Hacker News: Discussion on a blog post
- Hacker News: Discussion on a blog post
- Hacker News: Discussion on a blog post
- Hacker News: Discussion on a blog post
- Hacker News: Discussion on a blog post
- Stack Overflow:
volatilekeyword in C++ - Stack Overflow:
git rebase --onto - Software Engineering Stack Exchange: What is the single most influential book every programmer should read?
- Stack Overflow: What is open recursion?
- Stack Overflow: Is it safe to clean docker/overlay2?
- Stack Overflow: The Value Restriction
- Stack Overflow: What is the
volatilekeyword useful for? - Stack Exchange: What is coinduction?
- Proof Assistants Stack Exchange: Comparison between proof assistants for coinductive structures and proofs
- Hacker News: Discussion on a blog post
- Reddit: Firefox address bar suggestions going up instead of down
- Swift Forums: Swift Type Checking is Undecidable
- Reddit: Local LLM
- Reddit: Programming Languages
- Reddit: Programming Languages
- Hacker News: Discussion on a blog post
- Lobste.rs: Database Ruins All Good Ideas
- Coq Discourse: What is the difference between Gallina and Ltac?
- OCaml Discourse: Dependent types in the purest form
- Swift Forums: Pitch: Dependent Types & Universes (Stage 1 of Proof-Driven Development)
- OCaml Discourse: Multicore blog post: a deep dive into multicore OCaml garbage collector
- Reddit: Programmable Type Systems
- Reddit: Recent PL Research
- Math Stack Exchange: Online reference/book for implementing concepts in type theory
- LangDev Stack Exchange: What does it mean for a type system or language to be sound?
- Proof Assistants Stack Exchange: How much of trouble is Lean's failure of normalization given that logical consistency is guaranteed?
- Proof Assistants Stack Exchange: Is there something special about weak head normal form used with proof assistants?
- CS Theory Stack Exchange: What exactly is large elimination?
- CS Stack Exchange: Relation between type checking decidability, typability decidability and strong normalization
- OCaml Discourse: Dependent types in the purest form
- OCaml Discourse: Best approach for implementing open recursion over extensible types
- Reddit: Nepal
Miscellaneous
- Interactive Runner
- [inxi command](inxi --admin --verbosity=7 --filter --no-host --width)
- koona
- charly-vm
- oakc
- ssr.nvim
- TheNumbat/Lists
- GoWind.github.io
- OCaml Pull Request #12193
- llvm-expected
- programming-language-research
- CS410-18
- tomprimozic/type-systems
- were/mcir
- ocsigen/js_of_ocaml Pull Request #1503
- brandonspark/mulligan
- Yiling-J/theine-go Issue #29
- erikgrinaker/readings
- polytypic/blog
- etcd Issue #741
- nuprl/10PL
- digama0/lean-type-theory
- Elewyth/type-search
- flux-rs/flux Issue #549
- bufbuild/protovalidate-java
- aripiprazole/lura
- aripiprazole/soft
- moby/moby Issue #1905
- Fewbytes/rubber-docker
- wasp-lang/haskell-handbook
- lura
- soft
- The Dirty Pipe Vulnerability
- Modern JavaScript Tutorial
- ECOOP Test of Time Award
- NUS – Beyond PhD
- Lean4 Documentation
- Lean Reference
- From Parametricity to Conservation Laws
- How to Build an Agent - Amp
- ECOOP Test of Time Award
- NUS – Beyond PhD
- Lean4 Documentation
- Lean Reference
- From Parametricity to Conservation Laws