Best formal methods and theory blogs to follow
40 of the 211 blogs in the full directory of engineering blogs are tagged Formal methods and theory. Each one is listed below with a one-line description and who recommended it.
Last updated
Showing 40 of 40 blogs
- Eli Bendersky
Personal · Named by 2 people
Go, compilers, LLVM, Python and maths
Recommended by Mrinal (quote-tweet), Phil Eaton (The Consensus – Required Reading)
- Adrian Colyer
Personal
The Morning Paper: summaries of influential computer science papers
Recommended by Phil Eaton (The Consensus – Required Reading)
- Adrian Sampson
Personal
Computer architecture, compilers and programming languages research
Recommended by Phil Eaton (The Consensus – Required Reading)
- Alan Wolfe
Personal
Graphics, game-dev maths, sampling and noise
Recommended by Phil Eaton (The Consensus – Required Reading)
- Aleksey Charapko
Personal
Distributed systems research and paper reading-group notes
Recommended by Phil Eaton (The Consensus – Required Reading)
- Alperen Keleş
Personal
Property-based testing, programming languages and verification
Recommended by Phil Eaton (The Consensus – Required Reading)
- Amit Patel
Personal
Red Blob Games: interactive tutorials on game algorithms (pathfinding, hex grids)
Recommended by Phil Eaton (The Consensus – Required Reading)
- Andrej Bauer
Personal
Mathematics and Computation: type theory, logic and programming languages
Recommended by Phil Eaton (The Consensus – Required Reading)
- Andrew Helwer
Personal
Formal methods, TLA+ and quantum computing
Recommended by Phil Eaton (The Consensus – Required Reading)
- Anil Madhavapeddy
Personal
OCaml, unikernels and systems research
Recommended by Phil Eaton (The Consensus – Required Reading)
- Bartosz Milewski
Personal
Category theory for programmers, Haskell and C++
Recommended by Phil Eaton (The Consensus – Required Reading)
- Ben Joffe
Personal
Fast date algorithms and low-level optimisation
Recommended by Phil Eaton (The Consensus – Required Reading)
- Daniel Abadi
Personal
DBMS Musings: database systems research
Recommended by Phil Eaton (The Consensus – Required Reading)
- Daniel Lemire
Personal
Software performance, SIMD and algorithms
Recommended by Phil Eaton (The Consensus – Required Reading)
- David MacIver
Personal
Property-based testing (Hypothesis) and software correctness
Recommended by Phil Eaton (The Consensus – Required Reading)
- Hillel Wayne
Personal
Formal methods, TLA+ and software engineering history
Recommended by Phil Eaton (The Consensus – Required Reading)
- Jack Vanlightly
Personal
Distributed systems, streaming, table formats and formal verification
Recommended by Phil Eaton (The Consensus – Required Reading)
- Jeremy Kun
Personal
Math ∩ Programming: maths for programmers, homomorphic encryption
Recommended by Phil Eaton (The Consensus – Required Reading)
- Joe Hellerstein
Personal
Databases and distributed systems research
Recommended by Phil Eaton (The Consensus – Required Reading)
- Jon Sterling
Personal
Type theory and mathematics
Recommended by Phil Eaton (The Consensus – Required Reading)
- Lindsey Kuper
Personal
Distributed systems and programming languages research
Recommended by Phil Eaton (The Consensus – Required Reading)
- Malte Skarupke
Personal
C++, hash tables, algorithms and performance
Recommended by Phil Eaton (The Consensus – Required Reading)
- Marc Brooker
Personal
Distributed systems, databases and formal methods at AWS
Recommended by Phil Eaton (The Consensus – Required Reading)
- Micah Lerner
Personal
Summaries of systems research papers
Recommended by Phil Eaton (The Consensus – Required Reading)
- Murat Demirbas
Personal
Distributed systems paper reviews, TLA+ and databases
Recommended by Phil Eaton (The Consensus – Required Reading)
- Nick Fitzgerald
Personal
WebAssembly, Wasmtime, Rust and compilers
Recommended by Phil Eaton (The Consensus – Required Reading)
- Orson Peters
Personal
Algorithms, sorting, hashing and Rust
Recommended by Phil Eaton (The Consensus – Required Reading)
- Philip Zucker
Personal
Formal methods, SMT solvers, e-graphs and theorem proving
Recommended by Phil Eaton (The Consensus – Required Reading)
- Simon Eskildsen
Personal
Napkin maths, infrastructure and performance
Recommended by Phil Eaton (The Consensus – Required Reading)
- Simon Tatham
Personal
Algorithms, puzzles and software essays from PuTTY's author
Recommended by Phil Eaton (The Consensus – Required Reading)
- Stephen Hill
Personal
Physically based rendering and graphics research round-ups
Recommended by Phil Eaton (The Consensus – Required Reading)
- Tom Murphy VII
Personal
Whimsical computer science research projects
Recommended by Phil Eaton (The Consensus – Required Reading)
- Amazon Science
Company
Applied research at Amazon
Recommended by Editor's pick
- Chris Olah
Personal
Neural network interpretability and visual explanations
Recommended by Editor's pick
- DAIR.AI AI Papers of the Week
Aggregator
Weekly summaries of notable AI research papers
Recommended by Editor's pick
- Distill
Aggregator
Interactive machine learning explanations (archive, no longer publishing)
Recommended by Editor's pick
- Google Research
Company
Research across machine learning and systems
Recommended by Editor's pick
- Hugging Face Research
Company
Open-model research and paper reproductions
Recommended by Editor's pick
- Sebastian Ruder
Personal
NLP research overviews
Recommended by Editor's pick
- Transformer Circuits Thread
Company
Interpretability research on how language models work internally
Recommended by Editor's pick
More engineering blogs by topic
- AI and machine learning (38)
- Compilers and languages (70)
- Databases and storage (34)
- Distributed systems (26)
- Engineering practice (18)
- Graphics and games (18)
- Networking and infrastructure (39)
- Operating systems and hardware (24)
- Performance and low-level (39)
- Security and cryptography (13)
- Web and mobile (7)
- Company engineering blogs (39)
Or browse all 211 engineering blogs in one list.