Good Stuff! - All Posts

• Speedrunning the New York Subway(blog.trailofbits.com)
  2025-08-25
• Retry Loop Retry(matklad.github.io)
  2025-08-23
• Links(matklad.github.io)
  2025-08-23
• Building Castles in the Air, but With Surprise Physics(www.dbreunig.com)
  2025-08-21
• Making Sense of AI Job Titles(www.dbreunig.com)
  2025-08-21
• Weaponizing image scaling against production AI systems(blog.trailofbits.com)
  2025-08-21
• Advice for Tech Non-Profits(mitchellh.com)
  2025-08-20
• Marshal madness: A brief history of Ruby deserialization exploits(blog.trailofbits.com)
  2025-08-19
• Tag-based logging(mmapped.blog)
  2025-08-19
• Reserve First(matklad.github.io)
  2025-08-16
• Typechecker Zoo(www.stephendiehl.com)
  2025-08-15
• We Rewrote the Ghostty GTK Application(mitchellh.com)
  2025-08-14
• Set up a single-node EDB Postgres Distributed cluster on Ubuntu(notes.eatonphil.com)
  2025-08-14
• You should add debug views to your DB(chrispenner.ca)
  2025-08-13
• The Stochastic Code Monkey Theorem(www.stephendiehl.com)
  2025-08-12
• Save memory and CPU with an interning cache(chrispenner.ca)
  2025-08-12
• Using traversals to batch database queries(chrispenner.ca)
  2025-08-11
• Trail of Bits' Buttercup wins 2nd place in AIxCC Challenge(blog.trailofbits.com)
  2025-08-09
• What even is distributed systems(notes.eatonphil.com)
  2025-08-09
• Zig's Lovely Syntax(matklad.github.io)
  2025-08-09
• Bottleneck or Bisect: AI-Assisted Coding Will Change Product Management(www.dbreunig.com)
  2025-08-08
• Buttercup is now open-source!(blog.trailofbits.com)
  2025-08-08
• Partially Matching Zig Enums(matklad.github.io)
  2025-08-08
• AIxCC finals: Tale of the tape(blog.trailofbits.com)
  2025-08-07
• Prompt injection engineering for attackers: Exploiting GitHub Copilot(blog.trailofbits.com)
  2025-08-06
• Initial Thoughts on GPT-OSS(www.dbreunig.com)
  2025-08-05
• Uncovering memory corruption in NVIDIA Triton (as a new hire)(blog.trailofbits.com)
  2025-08-05
• FLUX.1-Krea & the Rise of Opinionated Models(www.dbreunig.com)
  2025-08-04
• Does the Bitter Lesson Have Limits?(www.dbreunig.com)
  2025-08-01
• The Unconventional Innovator Scholarship(blog.trailofbits.com)
  2025-08-01
• How Kimi K2 RL’ed Qualitative Data to Write Better(www.dbreunig.com)
  2025-07-31
• Hijacking multi-agent systems in your PajaMAS(blog.trailofbits.com)
  2025-07-31
• Stack traces for Postgres errors with backtrace_functions(notes.eatonphil.com)
  2025-07-31
• How Kimi K2 Became One of the Best Tool-Using Models(www.dbreunig.com)
  2025-07-30
• We built the security layer MCP always needed(blog.trailofbits.com)
  2025-07-28
• How Rewriting Training Data Improved Kimi K2’s Performance(www.dbreunig.com)
  2025-07-27
• A Comedy Writer on How AI Changes Her Field(www.dbreunig.com)
  2025-07-25
• FHE@PDX 2025(www.jeremykun.com)
  2025-07-25
• Exploiting zero days in abandoned hardware(blog.trailofbits.com)
  2025-07-25
• Renting is for Suckers(andrewkelley.me)
  2025-07-24
• Why “Context Engineering” Matters(www.dbreunig.com)
  2025-07-24
• Inside EthCC[8]: Becoming a smart contract auditor(blog.trailofbits.com)
  2025-07-23
• New Aarch64 Backend (ziglang.org)
  2025-07-23
• Detecting code copying at scale with Vendetect(blog.trailofbits.com)
  2025-07-21
• Frequently Asked Questions about FHE(www.jeremykun.com)
  2025-07-18
• Building secure messaging is hard: A nuanced take on the Bitchat security debate(blog.trailofbits.com)
  2025-07-18
• It Would Be Good if the AI Bubble Burst(www.stephendiehl.com)
  2025-07-18
• Life lessons from reinforcement learning(www.jasonwei.net)
  2025-07-16
• Asymmetry of verification and verifier’s law(www.jasonwei.net)
  2025-07-16
• font-size-adjust Is Useful(matklad.github.io)
  2025-07-16
• Only Solution to the Attention Economy is to Opt Out(www.stephendiehl.com)
  2025-07-15
• OpenZFS Bug Ported to Zig(andrewkelley.me)
  2025-07-14
• Delegation is the AI Metric that Matters(www.dbreunig.com)
  2025-07-13
• Stepanov’s biggest blunder(mmapped.blog)
  2025-07-13
• AI Creates the Problems it Solves(www.dbreunig.com)
  2025-07-11
• Investigate your dependencies with Deptective(blog.trailofbits.com)
  2025-07-08
• The Prompt Foreman(www.dbreunig.com)
  2025-07-07
• Inverse Triangle Inequality(matklad.github.io)
  2025-07-07
• Cat Facts Cause Context Confusion(www.dbreunig.com)
  2025-07-05
• Buckle up, Buttercup, AIxCC’s scored round is underway!(blog.trailofbits.com)
  2025-07-02
• Parasites found(mmapped.blog)
  2025-07-01
• Zig Roadmap 2026 (ziglang.org)
  2025-06-30
• Community Mirrors: A Better Way To Download Zig(ziglang.org)
  2025-06-30
• Fast Tensor Canonicalization in Rust(www.stephendiehl.com)
  2025-06-29
• Want to meet people, try charging them for it?(notes.eatonphil.com)
  2025-06-28
• How to Fix Your Context(www.dbreunig.com)
  2025-06-26
• Prompts vs. Context(www.dbreunig.com)
  2025-06-26
• RSS Server Side Reader(matklad.github.io)
  2025-06-26
• Maturing your smart contracts beyond private key risk(blog.trailofbits.com)
  2025-06-24
• Fine-tuning With Tool Calling(www.stephendiehl.com)
  2025-06-23
• How Long Contexts Fail(www.dbreunig.com)
  2025-06-22
• Program Synthesis: The λ in the Machine(www.stephendiehl.com)
  2025-06-22
• The Asbestos Doctrine: Why Crypto Must Be Contained, Not Condoned(www.stephendiehl.com)
  2025-06-21
• Debugging memory leaks in Postgres, jemalloc edition(notes.eatonphil.com)
  2025-06-21
• Unexpected security footguns in Go's parsers(blog.trailofbits.com)
  2025-06-18
• An Agentic Case Study: Playing Pokémon with Gemini(www.dbreunig.com)
  2025-06-17
• The Drawbridges Go Up(www.dbreunig.com)
  2025-06-16
• Parallel Self-Hosted Code Generation (ziglang.org)
  2025-06-14
• The Future of Maths May Be Deeply Weird(www.stephendiehl.com)
  2025-06-11
• What we learned reviewing one of the first DKLs23 libraries from Silence Laboratories(blog.trailofbits.com)
  2025-06-10
• A bit more on Twitter/X’s new encrypted messaging(blog.cryptographyengineering.com)
  2025-06-09
• Self-Hosted x86 Backend is Now Default in Debug Mode (ziglang.org)
  2025-06-08
• Intro to the Zig Build System Video (ziglang.org)
  2025-06-06
• Does the Star Trek Computer Run on COBOL?(www.stephendiehl.com)
  2025-06-05
• Interfacing MCP with Combinatorial, Convex, and SMT Solvers(www.stephendiehl.com)
  2025-06-02
• Building Industrial Strength Software without Unit Tests(chrispenner.ca)
  2025-06-02
• Box combinators(mmapped.blog)
  2025-06-01
• The Trump Crypto Orgy of Corruption(www.stephendiehl.com)
  2025-05-31
• A deep dive into Axiom’s Halo2 circuits(blog.trailofbits.com)
  2025-05-30
• AI research is a max-performance domain(www.jasonwei.net)
  2025-05-30
• The Custodial Stablecoin Rekt Test(blog.trailofbits.com)
  2025-05-29
• Unnecessary and Unstable: Why Stablecoins are Bad(www.stephendiehl.com)
  2025-05-27
• Remote MCP Servers(www.stephendiehl.com)
  2025-05-26
• Cheerleading(notes.eatonphil.com)
  2025-05-26
• When Test Coverage Isn't Enough(jezenthomas.com)
  2025-05-23
• Debugging memory leaks in Postgres, heaptrack edition(notes.eatonphil.com)
  2025-05-22
• Don't Skip HTML Validation(jezenthomas.com)
  2025-05-20
• Open Source Can't Coordinate(matklad.github.io)
  2025-05-20
• FreeBSD and NetBSD Cross-Compilation Support (ziglang.org)
  2025-05-20
• Profiling Challenge Results(matklad.github.io)
  2025-05-19
• Adventures in Symbolic Algebra with Model Context Protocol(www.stephendiehl.com)
  2025-05-18
• Using CUDA Deep Neural Network (cuDNN) in Python(www.stephendiehl.com)
  2025-05-15
• The cryptography behind passkeys(blog.trailofbits.com)
  2025-05-14
• Leibniz's Dream and Dijkstra's nightmare(www.jeremykun.com)
  2025-05-13
• My Graduate Career in Math(www.jeremykun.com)
  2025-05-12
• The Technofascist Mind: A Guide to Its Psychology and Philosophy(www.stephendiehl.com)
  2025-05-06
• The Kardashev-Marx Scale(www.stephendiehl.com)
  2025-05-05
• Datasig: Fingerprinting AI/ML datasets to stop data-borne attacks(blog.trailofbits.com)
  2025-05-02
• AI Slopocalypse 2027(www.stephendiehl.com)
  2025-05-02
• Making PyPI's test suite 81% faster(blog.trailofbits.com)
  2025-05-01
• Insecure credential storage plagues MCP(blog.trailofbits.com)
  2025-04-30
• Deceiving users with ANSI terminal codes in MCP(blog.trailofbits.com)
  2025-04-29
• Attention Wasn't All We Needed(www.stephendiehl.com)
  2025-04-29
• Three degrees of validity(mmapped.blog)
  2025-04-26
• How Democrats Failed on Crypto(www.stephendiehl.com)
  2025-04-25
• 3 things other languages should steal from Unison(chrispenner.ca)
  2025-04-24
• How MCP servers can steal your conversation history(blog.trailofbits.com)
  2025-04-23
• Burn your title(notes.eatonphil.com)
  2025-04-22
• Jumping the line: How MCP servers can attack you before you ever use them(blog.trailofbits.com)
  2025-04-21
• Kicking off AIxCC’s Finals with Buttercup(blog.trailofbits.com)
  2025-04-21
• Transactions are a protocol(notes.eatonphil.com)
  2025-04-20
• MLIR Part 8 - GPU Compilation with MLIR(www.stephendiehl.com)
  2025-04-19
• Sneak peek: A new ASN.1 API for Python(blog.trailofbits.com)
  2025-04-18
• Test Spies in Haskell(jezenthomas.com)
  2025-04-18
• Mitigating ELUSIVE COMET Zoom remote control attacks(blog.trailofbits.com)
  2025-04-17
• HEIR talk at FHE.org(www.jeremykun.com)
  2025-04-15
• 3000 days of Duolingo(mmapped.blog)
  2025-04-14
• MLIR Part 7 - Transformers(www.stephendiehl.com)
  2025-04-11
• Introducing a new section on snapshot fuzzing for kernel-level testing in the Testing Handbook(blog.trailofbits.com)
  2025-04-09
• Website updated to Zine 0.10.0 (ziglang.org)
  2025-04-09
• Does Baby Have Hat(www.jeremykun.com)
  2025-04-01
• Static types are for perfectionists(mmapped.blog)
  2025-04-01
• Things that go wrong with disk IO(notes.eatonphil.com)
  2025-03-27
• Phil Eaton on Technical Blogging(notes.eatonphil.com)
  2025-03-25
• MLIR Part 6 - Specializing Python with E-graphs(www.stephendiehl.com)
  2025-03-17
• MLIR Part 5 - Neural Networks(www.stephendiehl.com)
  2025-03-15
• MLIR Part 4 - Linear Algebra in MLIR(www.stephendiehl.com)
  2025-03-14
• MLIR Part 3 - Affine Dialect and OpenMP(www.stephendiehl.com)
  2025-03-13
• MLIR Part 2 - Memory in MLIR(www.stephendiehl.com)
  2025-03-12
• MLIR Part 1 - Introduction to MLIR(www.stephendiehl.com)
  2025-03-10
• MLIR Part 0 - Installing MLIR(www.stephendiehl.com)
  2025-03-07
• A 10x Speedup in GHCi(jezenthomas.com)
  2025-03-07
• Benchmarking OpenSearch and Elasticsearch(blog.trailofbits.com)
  2025-03-06
• Four-Fold Logic with Lean(www.stephendiehl.com)
  2025-03-06
• SGLang on AMD MI300X(www.stephendiehl.com)
  2025-03-04
• "As Code"(mitchellh.com)
  2025-03-04
• Continuous TRAIL(blog.trailofbits.com)
  2025-03-03
• Release Tag Status Update (ziglang.org)
  2025-03-03
• Dear Apple: add “Disappearing Messages” to iMessage right now(blog.cryptographyengineering.com)
  2025-03-01
• Threat modeling the TRAIL of Bits way(blog.trailofbits.com)
  2025-02-28
• Minimal downtime Postgres major version upgrades with EDB Postgres Distributed(notes.eatonphil.com)
  2025-02-28
• How Threat Modeling Could Have Prevented the $1.5B Bybit Hack(blog.trailofbits.com)
  2025-02-25
• Improved UBSan Error Messages (ziglang.org)
  2025-02-24
• My 4-year-old declares 36 the best number(www.jeremykun.com)
  2025-02-23
• Three questions about Apple, encryption, and the U.K.(blog.cryptographyengineering.com)
  2025-02-23
• HTTP Verbs in Yesod Forms(jezenthomas.com)
  2025-02-22
• Don’t recurse on untrusted input(blog.trailofbits.com)
  2025-02-21
• The $1.5B Bybit Hack: The Era of Operational Security Failures Has Arrived(blog.trailofbits.com)
  2025-02-21
• How to prove false statements? (Part 3)(blog.cryptographyengineering.com)
  2025-02-19
• ONNX introduction(mmapped.blog)
  2025-02-17
• How to Make a Universe(www.stephendiehl.com)
  2025-02-16
• From web developer to database developer in 10 years(notes.eatonphil.com)
  2025-02-15
• Good News! 0.14.0 Delayed(ziglang.org)
  2025-02-14
• Unleashing Medusa: Fast and scalable smart contract fuzzing(blog.trailofbits.com)
  2025-02-14
• We’re partnering to strengthen TON’s DeFi ecosystem(blog.trailofbits.com)
  2025-02-13
• Donor Bounty: Add Support for '-x' In Zig's macOS Linker(ziglang.org)
  2025-02-13
• U.K. asks to backdoor iCloud Backup encryption(blog.cryptographyengineering.com)
  2025-02-12
• The call for invariant-driven development(blog.trailofbits.com)
  2025-02-12
• The FlashAttention CUDA Kernel Line by Line(www.stephendiehl.com)
  2025-02-11
• Anyone know of an approachable proof of the Caratheodory-Fejer theorem?(www.jeremykun.com)
  2025-02-10
• Explainable Linear Programs(www.jeremykun.com)
  2025-02-07
• Training with GRPOTrainer(www.stephendiehl.com)
  2025-02-07
• Welcoming Ghostty Subsystem Maintainers(mitchellh.com)
  2025-02-07
• No-Libc Zig Now Outperforms Glibc Zig (ziglang.org)
  2025-02-07
• How to prove false statements? (Part 2)(blog.cryptographyengineering.com)
  2025-02-06
• Preventing account takeover on centralized cryptocurrency exchanges in 2025(blog.trailofbits.com)
  2025-02-05
• How to prove false statements? (Part 1)(blog.cryptographyengineering.com)
  2025-02-04
• PyPI now supports archiving projects(blog.trailofbits.com)
  2025-01-30
• My Technological Regrets(jezenthomas.com)
  2025-01-30
• Edit for clarity(notes.eatonphil.com)
  2025-01-29
• Best practices for key derivation(blog.trailofbits.com)
  2025-01-28
• The Case Against Crypto in 2025(www.stephendiehl.com)
  2025-01-25
• An explosion of transitive dependencies(notes.eatonphil.com)
  2025-01-25
• LLDB Fork for Zig (ziglang.org)
  2025-01-24
• Celebrating our 2024 open-source contributions(blog.trailofbits.com)
  2025-01-23
• Dopamine cycles in AI research(www.jasonwei.net)
  2025-01-22
• Financial Tokenization is a Meaningless Buzzword(www.stephendiehl.com)
  2025-01-22
• Embedding Python in Rust (for tests)(notes.eatonphil.com)
  2025-01-22
• Worse Than a Scam: How Crypto Fueled American Fascism(www.stephendiehl.com)
  2025-01-20
• Supercede's House Style for Haskell(jezenthomas.com)
  2025-01-20
• 2024 retrospective(mmapped.blog)
  2025-01-20
• Let’s talk about AI and end-to-end encryption(blog.cryptographyengineering.com)
  2025-01-17
• What to Expect from Release Month(ziglang.org)
  2025-01-17
• Logical replication in Postgres: Basics(notes.eatonphil.com)
  2025-01-17
• Enterprise Software in 2025(www.stephendiehl.com)
  2025-01-15
• The Post-literate Economy(www.stephendiehl.com)
  2025-01-09
• I'll be at the JMM(www.jeremykun.com)
  2025-01-08
• 2024 in Retrospect(jezenthomas.com)
  2025-01-07
• Epiphanies from Tape Measures(www.jeremykun.com)
  2025-01-04
• Fully Homomorphic Encryption and the Public(www.jeremykun.com)
  2025-01-03
• Advent of Code 2024(mmapped.blog)
  2025-01-02
• How I run a coffee club(notes.eatonphil.com)
  2024-12-31
• Ghostty: Reflecting on Reaching 1.0(mitchellh.com)
  2024-12-26
• Picking up volleyball in NYC with Goodrec and New York Urban(notes.eatonphil.com)
  2024-12-26
• Sci-fi Hidden Gems(www.stephendiehl.com)
  2024-12-21
• Square joy: tile crush(mmapped.blog)
  2024-12-16
• Auditing the Ruby ecosystem’s central package repository(blog.trailofbits.com)
  2024-12-11
• The Sybaritic Economy(www.stephendiehl.com)
  2024-12-10
• 35 more Semgrep rules: infrastructure, supply chain, and Ruby(blog.trailofbits.com)
  2024-12-09
• Process Reward Models(www.stephendiehl.com)
  2024-12-01
• Digital Dollarization: The Looming Threat to Monetary Sovereignty(www.stephendiehl.com)
  2024-11-28
• 1 million page views(notes.eatonphil.com)
  2024-11-28
• Introduction to Fine-tuning Large Language Models(www.stephendiehl.com)
  2024-11-25
• Transposing tensor files(mmapped.blog)
  2024-11-22
• Setting up a Nvidia GH200 for Development(www.stephendiehl.com)
  2024-11-20
• Hymba : Mamba × Transformers(www.stephendiehl.com)
  2024-11-20
• Evaluating Solidity support in AI coding assistants(blog.trailofbits.com)
  2024-11-19
• Dependent Types in 200 Lines of Python(www.stephendiehl.com)
  2024-11-18
• Setting up PyTorch for OCaml(www.stephendiehl.com)
  2024-11-17
• The last few months in HEIR(www.jeremykun.com)
  2024-11-15
• Attention spans for math and stories(www.jeremykun.com)
  2024-11-15
• I Feel Unsafe(jezenthomas.com)
  2024-11-15
• Attestations: A new generation of signatures on PyPI(blog.trailofbits.com)
  2024-11-14
• New Rank 29 Elliptic Curve(www.stephendiehl.com)
  2024-11-14
• Killing Filecoin nodes(blog.trailofbits.com)
  2024-11-13
• Tiny GraphRAG (Part 2)(www.stephendiehl.com)
  2024-11-12
• Exploring Postgres's arena allocator by writing an HTTP server from scratch(notes.eatonphil.com)
  2024-11-06
• Effective unemployment and social media(notes.eatonphil.com)
  2024-11-05
• Tiny GraphRAG (Part 1)(www.stephendiehl.com)
  2024-11-04
• The Limitations of RAG(www.stephendiehl.com)
  2024-11-02
• Carnival of Mathematics #233(www.jeremykun.com)
  2024-11-01
• Fuzzing between the lines in popular barcode software(blog.trailofbits.com)
  2024-10-31
• How This Blog Does IndieWeb(www.jeremykun.com)
  2024-10-31
• Checking linearizability in Go(notes.eatonphil.com)
  2024-10-31
• Programming avant-garde(mmapped.blog)
  2024-10-31
• The Legacy of Web3(www.stephendiehl.com)
  2024-10-29
• A deep dive into Linux’s new mseal syscall(blog.trailofbits.com)
  2024-10-25
• Ghostty 1.0 is Coming(mitchellh.com)
  2024-10-22
• LWE Attack Benchmarking Project(www.jeremykun.com)
  2024-10-15
• Auditing Gradio 5, Hugging Face’s ML GUI framework(blog.trailofbits.com)
  2024-10-10
• Intuitions for Distributed Consensus by Phil Eaton(notes.eatonphil.com)
  2024-10-08
• Britain is a Bulwark Against Post-Liberalism(www.stephendiehl.com)
  2024-10-02
• Securing the software supply chain with the SLSA framework(blog.trailofbits.com)
  2024-10-01
• Pledging $300,000 to the Zig Software Foundation(mitchellh.com)
  2024-10-01
• 300k USD Donation Pledged by Mitchell Hashimoto(ziglang.org)
  2024-10-01
• The Zig Website Has Been Re-engineered(ziglang.org)
  2024-09-30
• Build a serverless ACID database with this one neat trick (atomic PutIfAbsent)(notes.eatonphil.com)
  2024-09-29
• A few notes on AWS Nitro Enclaves: Attack surface(blog.trailofbits.com)
  2024-09-24
• Tagged Union Subsets with Comptime in Zig(mitchellh.com)
  2024-09-23
• Be someone who does things(notes.eatonphil.com)
  2024-09-23
• Announcing the Trail of Bits and Semgrep partnership(blog.trailofbits.com)
  2024-09-19
• Inside DEF CON: Michael Brown on how AI/ML is revolutionizing cybersecurity(blog.trailofbits.com)
  2024-09-17
• Effective design docs(mmapped.blog)
  2024-09-15
• AGI Discourse as Kayfabe(www.stephendiehl.com)
  2024-09-14
• Friends don’t let friends reuse nonces(blog.trailofbits.com)
  2024-09-13
• Dynamic Programming Fail(www.jeremykun.com)
  2024-09-12
• Migrating from AWS to Self-Hosting(ziglang.org)
  2024-09-12
• Conditionally Disabling Code with Comptime in Zig(mitchellh.com)
  2024-09-12
• Sanitize your C++ containers: ASan annotations step-by-step(blog.trailofbits.com)
  2024-09-10
• Packing Matrix-Vector Multiplication in Fully Homomorphic Encryption(www.jeremykun.com)
  2024-09-07
• “Unstripping” binaries: Restoring debugging information in GDB with Pwndbg(blog.trailofbits.com)
  2024-09-06
• What would you do with that old GPU?(blog.trailofbits.com)
  2024-09-05
• Types of Types: Common → Exotic(www.stephendiehl.com)
  2024-09-04
• Monte Carlo Tree Search(www.stephendiehl.com)
  2024-09-04
• Fine-tuning with ORPO and Unsloth(www.stephendiehl.com)
  2024-09-03
• Shift Networks(www.jeremykun.com)
  2024-09-02
• Pi from String Amplitudes(www.stephendiehl.com)
  2024-09-01
• Provisioning cloud infrastructure the wrong way, but faster(blog.trailofbits.com)
  2024-08-27
• Is Telegram really an encrypted messaging app?(blog.cryptographyengineering.com)
  2024-08-25
• Obsession(notes.eatonphil.com)
  2024-08-24
• “YOLO” is not a valid hash construction(blog.trailofbits.com)
  2024-08-21
• What's the big deal about Deterministic Simulation Testing?(notes.eatonphil.com)
  2024-08-20
• Transaction models are programming paradigms(mmapped.blog)
  2024-08-16
• We wrote the code, and the code won(blog.trailofbits.com)
  2024-08-15
• Building Type Search for Unison(chrispenner.ca)
  2024-08-14
• Trail of Bits Advances to AIxCC Finals(blog.trailofbits.com)
  2024-08-12
• Trail of Bits’ Buttercup heads to DARPA’s AIxCC(blog.trailofbits.com)
  2024-08-09
• Webmentions and POSSE improvements(www.jeremykun.com)
  2024-08-07
• Cloud cryptography demystified: Google Cloud Platform(blog.trailofbits.com)
  2024-08-05
• Diaconescu's Theorem(www.stephendiehl.com)
  2024-08-05
• MLIR — Defining Patterns with PDLL(www.jeremykun.com)
  2024-08-04
• Polynomial dialect and mlir-opt tutorial upstreamed(www.jeremykun.com)
  2024-08-02
• Fully Homomorphic Encryption in Production Systems(www.jeremykun.com)
  2024-07-31
• Our audit of Homebrew(blog.trailofbits.com)
  2024-07-30
• Delightful, production-grade replication for Postgres(notes.eatonphil.com)
  2024-07-30
• A Rapid Tutorial on Unsloth(www.stephendiehl.com)
  2024-07-28
• Ben Recht on Meehl's Philosophical Psychology(www.jeremykun.com)
  2024-07-27
• Our crypto experts answer 10 key questions(blog.trailofbits.com)
  2024-07-25
• Basic Formal Ontology(www.stephendiehl.com)
  2024-07-21
• Is it c? Or is it с?(jezenthomas.com)
  2024-07-16
• Announcing AES-GEM (AES with Galois Extended Mode)(blog.trailofbits.com)
  2024-07-12
• Trail of Bits named a leader in cybersecurity consulting services(blog.trailofbits.com)
  2024-07-09
• A reawakening of systems programming meetups(notes.eatonphil.com)
  2024-07-07
• Auditing the Ask Astro LLM Q&A app(blog.trailofbits.com)
  2024-07-05
• Quantum is unimportant to post-quantum(blog.trailofbits.com)
  2024-07-01
• A write-ahead log is not a universal part of durability(notes.eatonphil.com)
  2024-07-01
• Detecting field names with C++ metaprogramming(www.jeremykun.com)
  2024-06-25
• Disarming Fiat-Shamir footguns(blog.trailofbits.com)
  2024-06-24
• Barycentric Lagrange Interpolation(www.jeremykun.com)
  2024-06-21
• EuroLLVM 2024 trip report(blog.trailofbits.com)
  2024-06-21
• The plan-execute pattern(mmapped.blog)
  2024-06-20
• Themes from Real World Crypto 2024(blog.trailofbits.com)
  2024-06-18
• Finding mispriced opcodes with fuzzing(blog.trailofbits.com)
  2024-06-17
• The limitations of LLMs, or why are we doing RAG?(notes.eatonphil.com)
  2024-06-17
• Understanding Apple’s On-Device and Server Foundation Models release(blog.trailofbits.com)
  2024-06-14
• PCC: Bold step forward, not without flaws(blog.trailofbits.com)
  2024-06-14
• Announcing the Burp Suite Professional chapter in the Testing Handbook(blog.trailofbits.com)
  2024-06-14
• Confusion is a muse(notes.eatonphil.com)
  2024-06-14
• Exploiting ML models with pickle file attacks: Part 2(blog.trailofbits.com)
  2024-06-11
• Exploiting ML models with pickle file attacks: Part 1(blog.trailofbits.com)
  2024-06-11
• Introducing Carmen the Allocgator(ziglang.org)
  2024-06-10
• Announcing AI/ML safety and security trainings(blog.trailofbits.com)
  2024-06-07
• Random life updates(www.jeremykun.com)
  2024-06-06
• Zig's New CLI Progress Bar Explained(andrewkelley.me)
  2024-05-30
• How I run a software book club(notes.eatonphil.com)
  2024-05-30
• Successful language model evals(www.jasonwei.net)
  2024-05-24
• Enlightenmentware(mmapped.blog)
  2024-05-20
• Math databases(www.jeremykun.com)
  2024-05-17
• Understanding AddressSanitizer: Better memory safety for your code(blog.trailofbits.com)
  2024-05-16
• Implementing MVCC and major SQL transaction isolation levels(notes.eatonphil.com)
  2024-05-16
• A peek into build provenance for Homebrew(blog.trailofbits.com)
  2024-05-14
• Experiments with POSSE(www.jeremykun.com)
  2024-05-13
• Using benchmarks to speed up Echidna(blog.trailofbits.com)
  2024-05-08
• Remez and function approximations(www.jeremykun.com)
  2024-05-06
• A High-Level Technical Overview of Fully Homomorphic Encryption(www.jeremykun.com)
  2024-05-04
• The life and times of an Abstract Syntax Tree(blog.trailofbits.com)
  2024-05-02
• Curvance: Invariants unleashed(blog.trailofbits.com)
  2024-04-30
• Extending HTTPS outcalls(mmapped.blog)
  2024-04-29
• Announcing two new LMS libraries(blog.trailofbits.com)
  2024-04-26
• A quick post on Chen’s algorithm(blog.cryptographyengineering.com)
  2024-04-16
• 5 reasons to strive for better disclosure processes(blog.trailofbits.com)
  2024-04-15
• What makes a great technical blog(notes.eatonphil.com)
  2024-04-10
• A paper reading club at work; databases and distributed systems research(notes.eatonphil.com)
  2024-04-05
• Joining Polar as an Advisor(mitchellh.com)
  2024-04-04
• Unusual Tips for Parenting Toddlers(www.jeremykun.com)
  2024-04-01
• Good names form Galois connections(mmapped.blog)
  2024-04-01
• Introducing Ruzzy, a coverage-guided Ruby fuzzer(blog.trailofbits.com)
  2024-03-29
• Finding memory leaks in Postgres C code(notes.eatonphil.com)
  2024-03-27
• Redis Renamed to Redict(andrewkelley.me)
  2024-03-22
• Why fuzzing over formal verification?(blog.trailofbits.com)
  2024-03-22
• Streamline your static analysis triage with SARIF Explorer(blog.trailofbits.com)
  2024-03-20
• Read code like a pro with our weAudit VSCode extension(blog.trailofbits.com)
  2024-03-19
• Releasing the Attacknet: A new tool for finding bugs in blockchain nodes using chaos testing(blog.trailofbits.com)
  2024-03-18
• Zig, Rust, and other languages(notes.eatonphil.com)
  2024-03-15
• Secure your blockchain project from the start(blog.trailofbits.com)
  2024-03-13
• DARPA awards $1 million to Trail of Bits for AI Cyber Challenge(blog.trailofbits.com)
  2024-03-11
• First month on a database team(notes.eatonphil.com)
  2024-03-11
• Tabletop Games Based on Math Problems(www.jeremykun.com)
  2024-03-09
• Out of the kernel, into the tokens(blog.trailofbits.com)
  2024-03-08
• Cryptographic design review of Ockam(blog.trailofbits.com)
  2024-03-05
• Relishing new Fickling features for securing ML systems(blog.trailofbits.com)
  2024-03-04
• The AI Backlash is to be Expected(www.stephendiehl.com)
  2024-03-04
• How we applied advanced fuzzing techniques to cURL(blog.trailofbits.com)
  2024-03-01
• When try, try, try again leads to out-of-order execution bugs(blog.trailofbits.com)
  2024-03-01
• Volatility Surface(www.stephendiehl.com)
  2024-03-01
• The Dark Eschatology of Crypto Ideologues(www.stephendiehl.com)
  2024-03-01
• Our response to the US Army’s RFI on developing AIBOM tools(blog.trailofbits.com)
  2024-02-28
• Circomspect has been integrated into the Sindri CLI(blog.trailofbits.com)
  2024-02-26
• Universal domain types(mmapped.blog)
  2024-02-26
• Continuously fuzzing Python C extensions(blog.trailofbits.com)
  2024-02-23
• Breaking the shared key in threshold signature schemes(blog.trailofbits.com)
  2024-02-20
• Silicon Valley's (totally not a cult) Ideologies(www.stephendiehl.com)
  2024-02-20
• A few notes on AWS Nitro Enclaves: Images and attestation(blog.trailofbits.com)
  2024-02-16
• Cloud cryptography demystified: Amazon Web Services(blog.trailofbits.com)
  2024-02-14
• Matthew Lugg Joins the Core Zig Team(ziglang.org)
  2024-02-12
• Why Windows can’t follow WSL symlinks(blog.trailofbits.com)
  2024-02-12
• Ghostty Devlog 006(mitchellh.com)
  2024-02-12
• Slippage Modelling(www.stephendiehl.com)
  2024-02-10
• Master fuzzing with our new Testing Handbook chapter(blog.trailofbits.com)
  2024-02-09
• An intuition for distributed consensus in OLTP systems(notes.eatonphil.com)
  2024-02-08
• Binary type inference in Ghidra(blog.trailofbits.com)
  2024-02-07
• Improving the state of Cosmos fuzzing(blog.trailofbits.com)
  2024-02-05
• Portfolio Rebalancing(www.stephendiehl.com)
  2024-02-05
• Why We Can't Have Nice Software(andrewkelley.me)
  2024-02-04
• Chaos Communication Congress (37C3) recap(blog.trailofbits.com)
  2024-02-02
• Using SMT Solvers to Manage JIRA Tickets(www.stephendiehl.com)
  2024-02-01
• Word Calculators are Useful, but they're not Smart(www.stephendiehl.com)
  2024-02-01
• Enough Numbers to Build a Universe(www.stephendiehl.com)
  2024-02-01
• Cooking Logics with Soufflé(www.stephendiehl.com)
  2024-02-01
• Proving Trivial Theorems in Lean(www.stephendiehl.com)
  2024-02-01
• E-Graphs in Rust(www.stephendiehl.com)
  2024-02-01
• Portfolio Theory with CVXOPT(www.stephendiehl.com)
  2024-02-01
• Introducing DIFFER, a new tool for testing and validating transformed programs(blog.trailofbits.com)
  2024-01-31
• The off-chain reporting protocol(mmapped.blog)
  2024-01-30
• Enhancing trust for SGX enclaves(blog.trailofbits.com)
  2024-01-26
• We build X.509 chains so you don’t have to(blog.trailofbits.com)
  2024-01-25
• Celebrating our 2023 open-source contributions(blog.trailofbits.com)
  2024-01-24
• Donor Bounty: Labeled Switch Continue Syntax(ziglang.org)
  2024-01-23
• Donor Bounties: A New Kind of Feature Bounty(ziglang.org)
  2024-01-23
• Our thoughts on AIxCC’s competition format(blog.trailofbits.com)
  2024-01-18
• 30 new Semgrep rules: Ansible, Java, Kotlin, shell scripts, and more(blog.trailofbits.com)
  2024-01-17
• LeftoverLocals: Listening to LLM responses through leaked GPU local memory(blog.trailofbits.com)
  2024-01-16
• 2024 Financial Report and Fundraiser(ziglang.org)
  2024-01-16
• Internet freedom with the Open Technology Fund(blog.trailofbits.com)
  2024-01-15
• How to introduce Semgrep to your organization(blog.trailofbits.com)
  2024-01-12
• Securing open-source infrastructure with OSTIF(blog.trailofbits.com)
  2024-01-09
• Writing a minimal in-memory storage engine for MySQL/MariaDB(notes.eatonphil.com)
  2024-01-09
• Tag, you’re it: Signal tagging in Circom(blog.trailofbits.com)
  2024-01-02
• Billion times emptiness(blog.trailofbits.com)
  2023-12-29
• AI In Windows: Investigating Windows Copilot(blog.trailofbits.com)
  2023-12-27
• Make your own way(notes.eatonphil.com)
  2023-12-27
• We’ve added more content to ZKDocs(blog.trailofbits.com)
  2023-12-26
• Catching OpenSSL misuse using CodeQL(blog.trailofbits.com)
  2023-12-22
• Summer interns 2023 recap(blog.trailofbits.com)
  2023-12-20
• A trail of flipping bits(blog.trailofbits.com)
  2023-12-18
• DARPA’s AI Cyber Challenge: We’re In!(blog.trailofbits.com)
  2023-12-14
• Say hello to the next chapter of the Testing Handbook!(blog.trailofbits.com)
  2023-12-11
• Publishing Trail of Bits’ CodeQL queries(blog.trailofbits.com)
  2023-12-06
• Ghostty Devlog 005(mitchellh.com)
  2023-12-06
• Six intuitions about large language models(www.jasonwei.net)
  2023-11-24
• ETW internals for security research and forensics(blog.trailofbits.com)
  2023-11-22
• The numeric tower fiasco(mmapped.blog)
  2023-11-22
• How CISA can improve OSS security(blog.trailofbits.com)
  2023-11-20
• Exploring a Postgres query plan(notes.eatonphil.com)
  2023-11-19
• Assessing the security posture of a widely used vision model: YOLOv7(blog.trailofbits.com)
  2023-11-15
• MLIR — A Global Optimization and Dataflow Analysis(www.jeremykun.com)
  2023-11-15
• Our audit of PyPI(blog.trailofbits.com)
  2023-11-14
• Adding build provenance to Homebrew(blog.trailofbits.com)
  2023-11-06
• MLIR — Lowering through LLVM(www.jeremykun.com)
  2023-11-01
• The Rise of Anti-Liberalism in Tech(www.stephendiehl.com)
  2023-11-01
• Writing a storage engine for Postgres: an in-memory Table Access Method(notes.eatonphil.com)
  2023-11-01
• The issue with ATS in Apple’s macOS and iOS(blog.trailofbits.com)
  2023-10-30
• Numbers turned weapons: DoS in Osmosis’ math library(blog.trailofbits.com)
  2023-10-23
• MLIR — Dialect Conversion(www.jeremykun.com)
  2023-10-23
• io_uring basics: Writing a file to disk(notes.eatonphil.com)
  2023-10-19
• The Techno-Optimist Manifesto(andrewkelley.me)
  2023-10-17
• Socks, a matching game based on an additive combinatorics problem(www.jeremykun.com)
  2023-10-14
• Introducing invariant development as a service(blog.trailofbits.com)
  2023-10-05
• Go database driver overhead on insert-heavy workloads(notes.eatonphil.com)
  2023-10-05
• Grapheme Clusters and Terminal Emulators(mitchellh.com)
  2023-10-02
• Why I Left Twitter(www.stephendiehl.com)
  2023-10-01
• Intercepting and modifying Linux system calls with ptrace(notes.eatonphil.com)
  2023-10-01
• Reorient GitHub Pull Requests Around Changesets(mitchellh.com)
  2023-09-30
• Ghostty Devlog 004(mitchellh.com)
  2023-09-28
• Pitfalls of relying on eBPF for security monitoring (and some solutions)(blog.trailofbits.com)
  2023-09-25
• How do databases execute expressions?(notes.eatonphil.com)
  2023-09-21
• Don’t overextend your Oblivious Transfer(blog.trailofbits.com)
  2023-09-20
• MLIR — Canonicalizers and Declarative Rewrite Patterns(www.jeremykun.com)
  2023-09-20
• Security flaws in an SSO plugin for Caddy(blog.trailofbits.com)
  2023-09-18
• Encoding Schemes in FHE(www.jeremykun.com)
  2023-09-18
• Bounties Damage Open Source Projects(ziglang.org)
  2023-09-14
• MLIR — Verifiers(www.jeremykun.com)
  2023-09-13
• Talk: Introducing Ghostty and Some Useful Zig Patterns(mitchellh.com)
  2023-09-12
• Holy Macroni! A recipe for progressive language enhancement(blog.trailofbits.com)
  2023-09-11
• MLIR — Folders and Constant Propagation(www.jeremykun.com)
  2023-09-11
• MLIR — Using Traits(www.jeremykun.com)
  2023-09-07
• Computing Percentages Easier(www.jeremykun.com)
  2023-09-05
• Eight years of organizing tech meetups(notes.eatonphil.com)
  2023-09-04
• Secure your Apollo GraphQL server with Semgrep(blog.trailofbits.com)
  2023-08-29
• iVerify is now an independent company!(blog.trailofbits.com)
  2023-08-28
• Ghostty Devlog 003(mitchellh.com)
  2023-08-24
• So Long, Twitter and Reddit(andrewkelley.me)
  2023-08-23
• The Engineer’s Guide to Blockchain Finality(blog.trailofbits.com)
  2023-08-23
• MLIR — Defining a New Dialect(www.jeremykun.com)
  2023-08-21
• Thinking about functional programming(notes.eatonphil.com)
  2023-08-15
• Can you pass the Rekt test?(blog.trailofbits.com)
  2023-08-14
• Flat in-order binary trees(mmapped.blog)
  2023-08-13
• MLIR — Using Tablegen for Passes(www.jeremykun.com)
  2023-08-10
• MLIR — Writing Our First Pass(www.jeremykun.com)
  2023-08-10
• MLIR — Running and Testing a Lowering(www.jeremykun.com)
  2023-08-10
• MLIR — Getting Started(www.jeremykun.com)
  2023-08-10
• Google's Recent FHE work, and starting HEIR(www.jeremykun.com)
  2023-08-10
• Use our suite of eBPF libraries(blog.trailofbits.com)
  2023-08-09
• Ghostty Devlog 002(mitchellh.com)
  2023-08-05
• A mistake in the bulletproofs paper could have led to the theft of millions of dollars(blog.trailofbits.com)
  2023-08-02
• Jacob Young Joins the Core Zig Team(ziglang.org)
  2023-07-31
• How AI will affect cybersecurity: What we told the CFTC(blog.trailofbits.com)
  2023-07-31
• The future of Clang-based tooling(blog.trailofbits.com)
  2023-07-28
• Announcing the Trail of Bits Testing Handbook(blog.trailofbits.com)
  2023-07-26
• Fuzzing on-chain contracts with Echidna(blog.trailofbits.com)
  2023-07-21
• The Upcoming Release Postponed Two More Weeks and Lacks Async Functions(ziglang.org)
  2023-07-19
• Trail of Bits’s Response to OSTP National Priorities for AI RFI(blog.trailofbits.com)
  2023-07-18
• Evaluating blockchain security maturity(blog.trailofbits.com)
  2023-07-14
• Ghostty Devlog 001(mitchellh.com)
  2023-07-13
• What we told the CFTC about blockchain threats(blog.trailofbits.com)
  2023-07-12
• We put a distributed database in the browser – and made a game of it(notes.eatonphil.com)
  2023-07-11
• Two's Complement and Group Theory(www.jeremykun.com)
  2023-07-10
• Differential fuzz testing upgradeable smart contracts with Diffusc(blog.trailofbits.com)
  2023-07-07
• Observations from tracking Twitter(www.jasonwei.net)
  2023-07-06
• Mach’s principle(mmapped.blog)
  2023-07-02
• Best Sci-Fi Books of the 21st Century(www.stephendiehl.com)
  2023-06-21
• Metaprogramming in Zig and parsing CSS(notes.eatonphil.com)
  2023-06-19
• Trail of Bits’s Response to NTIA AI Accountability RFC(blog.trailofbits.com)
  2023-06-16
• Finding bugs in C code with Multi-Level IR and VAST(blog.trailofbits.com)
  2023-06-15
• Candid for engineers(mmapped.blog)
  2023-06-14
• Going Deep on DeepSpeed(www.stephendiehl.com)
  2023-06-05
• My Approach to Building Large Technical Projects(mitchellh.com)
  2023-06-01
• Integrating Zig and SwiftUI(mitchellh.com)
  2023-05-27
• Implementing the Raft distributed consensus protocol in Go(notes.eatonphil.com)
  2023-05-25
• Trusted publishing: a new benchmark for packaging security(blog.trailofbits.com)
  2023-05-23
• Real World Crypto 2023 Recap(blog.trailofbits.com)
  2023-05-16
• Two books I recommend to developers(notes.eatonphil.com)
  2023-05-16
• My favorite software subreddits(notes.eatonphil.com)
  2023-05-16
• Introducing Windows Notification Facility’s (WNF) Code Integrity(blog.trailofbits.com)
  2023-05-15
• Common arguments regarding emergent abilities(www.jasonwei.net)
  2023-05-03
• The Everything Bagel Problem(www.stephendiehl.com)
  2023-05-02
• ckBTC internals: event log(mmapped.blog)
  2023-05-01
• GPT-2 in One Function(www.stephendiehl.com)
  2023-04-29
• What should governments consider when getting involved with blockchain?(blog.trailofbits.com)
  2023-04-25
• Prompt Engineering is for Transactional Prompting(mitchellh.com)
  2023-04-24
• Using Nix with Dockerfiles(mitchellh.com)
  2023-04-23
• Constraint Solving with MiniZinc(www.stephendiehl.com)
  2023-04-21
• Typos that omit security features and how to test for them(blog.trailofbits.com)
  2023-04-20
• A Winter’s Tale: Improving messages and types in GDB’s Python API(blog.trailofbits.com)
  2023-04-18
• Prompt Engineering vs. Blind Prompting(mitchellh.com)
  2023-04-14
• Growth of AI Through a Cloud Lens(mitchellh.com)
  2023-04-04
• We're Knot Friends(www.jeremykun.com)
  2023-04-01
• If composers were hackers(mmapped.blog)
  2023-04-01
• How to avoid the aCropalypse(blog.trailofbits.com)
  2023-03-30
• Codex (and GPT-4) can’t beat humans on smart contract audits(blog.trailofbits.com)
  2023-03-22
• Circomspect has more passes!(blog.trailofbits.com)
  2023-03-21
• Errors and Zig(notes.eatonphil.com)
  2023-03-21
• Scaling Rust builds with Bazel(mmapped.blog)
  2023-03-20
• We need a new way to measure AI security(blog.trailofbits.com)
  2023-03-14
• My Startup Banking Story(mitchellh.com)
  2023-03-14
• Reusable properties for Ethereum contracts(blog.trailofbits.com)
  2023-02-27
• Sample Extraction from RLWE to LWE(www.jeremykun.com)
  2023-02-27
• Book summary: Building a Second Brain(mmapped.blog)
  2023-02-25
• Escaping well-configured VSCode extensions (for profit)(blog.trailofbits.com)
  2023-02-23
• Escaping misconfigured VSCode extensions(blog.trailofbits.com)
  2023-02-21
• Notes from Neal Gabler's Walt Disney(notes.eatonphil.com)
  2023-02-18
• Readline crime: exploiting a SUID logic bug(blog.trailofbits.com)
  2023-02-16
• cURL audit: How a joke led to significant findings(blog.trailofbits.com)
  2023-02-14
• When Rust hurts(mmapped.blog)
  2023-02-14
• Google's Fully Homomorphic Encryption Compiler — A Primer(www.jeremykun.com)
  2023-02-13
• Practicing AI research(www.jasonwei.net)
  2023-02-07
• Deconstructing the Worldview of Peter Thiel(www.stephendiehl.com)
  2023-02-01
• Lessons learned streaming building a Scheme-like interpreter in Go(notes.eatonphil.com)
  2023-01-30
• An effective product manager(notes.eatonphil.com)
  2023-01-23
• Tutorial: stable-structures(mmapped.blog)
  2023-01-20
• Harnessing the eBPF Verifier(blog.trailofbits.com)
  2023-01-19
• Introducing RPC Investigator(blog.trailofbits.com)
  2023-01-17
• Announcing a stable release of sigstore-python(blog.trailofbits.com)
  2023-01-13
• Keeping the wolves out of wolfSSL(blog.trailofbits.com)
  2023-01-12
• The year in books: 2022(notes.eatonphil.com)
  2023-01-12
• Another prolific year of open-source contributions(blog.trailofbits.com)
  2023-01-10
• Favorite compiler and interpreter resources(notes.eatonphil.com)
  2023-01-05
• General book recommendations(notes.eatonphil.com)
  2023-01-04
• In response to a frontend developer asking about database development(notes.eatonphil.com)
  2023-01-01
• Research I enjoy(www.jasonwei.net)
  2022-12-29
• Estimating the Security of Ring Learning with Errors (RLWE)(www.jeremykun.com)
  2022-12-28
• Crypto is Financial Asbestos(www.stephendiehl.com)
  2022-12-23
• How to share what you’ve learned from our audits(blog.trailofbits.com)
  2022-12-22
• Fast and accurate syntax searching for C and C++(blog.trailofbits.com)
  2022-12-22
• What child is this?(blog.trailofbits.com)
  2022-12-20
• IC internals: the ICP ledger(mmapped.blog)
  2022-12-19
• How I gave ManticoreUI a makeover(blog.trailofbits.com)
  2022-12-15
• Manticore GUIs made easy(blog.trailofbits.com)
  2022-12-13
• Negacyclic Polynomial Multiplication(www.jeremykun.com)
  2022-12-09
• Hybrid fuzzing: Sharpening the spikes of Echidna(blog.trailofbits.com)
  2022-12-08
• Goodbye to the C++ Implementation of Zig(ziglang.org)
  2022-12-07
• Is it worth writing about?(notes.eatonphil.com)
  2022-12-01
• Specialized Zero-Knowledge Proof failures(blog.trailofbits.com)
  2022-11-29
• A Programmer-Friendly I/O Abstraction Over io_uring and kqueue(notes.eatonphil.com)
  2022-11-23
• Linking CUDA Kernels into Python(www.stephendiehl.com)
  2022-11-18
• Polynomial Multiplication Using the FFT(www.jeremykun.com)
  2022-11-16
• ABI compatibility in Python: How hard could it be?(blog.trailofbits.com)
  2022-11-15
• Designing error types in Rust(mmapped.blog)
  2022-11-15
• 137 emergent abilities of large language models(www.jasonwei.net)
  2022-11-14
• We’re streamers now(blog.trailofbits.com)
  2022-11-14
• Writing a SQL database, take two: Zig and RocksDB(notes.eatonphil.com)
  2022-11-13
• Look out! Divergent representations are everywhere!(blog.trailofbits.com)
  2022-11-10
• We sign code now(blog.trailofbits.com)
  2022-11-08
• A minimal RocksDB example with Zig(notes.eatonphil.com)
  2022-10-30
• Stranger Strings: An exploitable flaw in SQLite(blog.trailofbits.com)
  2022-10-25
• Porting the Solana eBPF JIT compiler to ARM64(blog.trailofbits.com)
  2022-10-12
• A database without dynamic memory allocation(notes.eatonphil.com)
  2022-10-12
• IC internals: Internet Identity storage(mmapped.blog)
  2022-10-12
• Working on blockchains as a Trail of Bits intern(blog.trailofbits.com)
  2022-10-05
• Secure your machine learning with Semgrep(blog.trailofbits.com)
  2022-10-03
• Carnival of Mathematics #209(www.jeremykun.com)
  2022-10-02
• Fungible tokens: payment flows(mmapped.blog)
  2022-09-21
• A minimal distributed key-value database with Hashicorp's Raft library(notes.eatonphil.com)
  2022-09-17
• It pays to be Circomspect(blog.trailofbits.com)
  2022-09-15
• Key Switching in LWE(www.jeremykun.com)
  2022-08-29
• Magnifier: An Experiment with Interactive Decompilation(blog.trailofbits.com)
  2022-08-25
• What's the big deal about key-value databases like FoundationDB and RocksDB?(notes.eatonphil.com)
  2022-08-23
• SQLite has pretty limited builtin functions(notes.eatonphil.com)
  2022-08-21
• Using mutants to improve Slither(blog.trailofbits.com)
  2022-08-17
• The road to the apprenticeship(blog.trailofbits.com)
  2022-08-12
• Fungible tokens 101(mmapped.blog)
  2022-08-05
• Shedding smart contract storage with Slither(blog.trailofbits.com)
  2022-07-28
• Container scheduling strategies for integration testing 14 different databases in Github Actions(notes.eatonphil.com)
  2022-07-25
• Modulus Switching in LWE(www.jeremykun.com)
  2022-07-16
• Implementing a simple jq clone in Go, and basics of Go memory profiling(notes.eatonphil.com)
  2022-07-10
• libmagic: The Blathering(blog.trailofbits.com)
  2022-07-01
• IC internals: XNet protocol(mmapped.blog)
  2022-07-01
• A Typical Day as a Trail of Bits Engineer-Consultant(blog.trailofbits.com)
  2022-06-30
• The Trail of Bits Hiring Process(blog.trailofbits.com)
  2022-06-28
• Managing risk in blockchain deployments(blog.trailofbits.com)
  2022-06-24
• Are blockchains decentralized?(blog.trailofbits.com)
  2022-06-21
• Announcing the new Trail of Bits podcast(blog.trailofbits.com)
  2022-06-21
• One year as a solo dev building open-source data tools without funding(notes.eatonphil.com)
  2022-06-10
• Themes from PyCon US 2022(blog.trailofbits.com)
  2022-06-09
• Square joy: pre-order(mmapped.blog)
  2022-06-05
• The Public Policy Case for Banning Crypto(www.stephendiehl.com)
  2022-06-01
• Interactive decompilation with rellic-xref(blog.trailofbits.com)
  2022-05-17
• Let's build a distributed Postgres proof of concept(notes.eatonphil.com)
  2022-05-17
• "Practical Math" Preview: Collect Sensitive Survey Responses Privately(www.jeremykun.com)
  2022-05-14
• SQLite in Go, with and without cgo(notes.eatonphil.com)
  2022-05-12
• Themes from Real World Crypto 2022(blog.trailofbits.com)
  2022-05-03
• Simulating Qubits with Python (Classically)(www.stephendiehl.com)
  2022-04-28
• IC internals: orthogonal persistence(mmapped.blog)
  2022-04-27
• Improving the state of go-fuzz(blog.trailofbits.com)
  2022-04-26
• HTML event handler attributes: down the rabbit hole(notes.eatonphil.com)
  2022-04-26
• Amarna: Static analysis for Cairo programs(blog.trailofbits.com)
  2022-04-20
• The Frozen Heart vulnerability in PlonK(blog.trailofbits.com)
  2022-04-18
• Interview With Phil of DataStation(notes.eatonphil.com)
  2022-04-17
• The Frozen Heart vulnerability in Bulletproofs(blog.trailofbits.com)
  2022-04-15
• The Frozen Heart vulnerability in Girault’s proof of knowledge(blog.trailofbits.com)
  2022-04-14
• Coordinated disclosure of vulnerabilities affecting Girault, Bulletproofs, and PlonK(blog.trailofbits.com)
  2022-04-13
• Surveying SQL parser libraries in a few high-level languages(notes.eatonphil.com)
  2022-04-11
• Cocktails(www.jeremykun.com)
  2022-04-01
• Debug like Feynman, test like Faraday(mmapped.blog)
  2022-04-01
• Writing a document database from scratch in Go: Lucene-like filters and indexes(notes.eatonphil.com)
  2022-03-28
• Towards Practical Security Optimizations for Binaries(blog.trailofbits.com)
  2022-03-25
• Silent Duels—Constructing the Solution part 2(www.jeremykun.com)
  2022-03-24
• My next book will be "Practical Math for Programmers"(www.jeremykun.com)
  2022-03-16
• Contributing to Complex Projects(mitchellh.com)
  2022-03-13
• Speeding up Go's builtin JSON encoder up to 55% for large arrays of objects(notes.eatonphil.com)
  2022-03-03
• Optimizing a smart contract fuzzer(blog.trailofbits.com)
  2022-03-02
• Zig Build System Internals(mitchellh.com)
  2022-02-24
• Maat: Symbolic execution made easy(blog.trailofbits.com)
  2022-02-23
• SMTP protocol basics from scratch in Go: receiving email from Gmail(notes.eatonphil.com)
  2022-02-20
• Square joy: trapped rainwater(mmapped.blog)
  2022-02-15
• Zig Sema: ZIR => AIR(mitchellh.com)
  2022-02-13
• Zig AstGen: AST => ZIR(mitchellh.com)
  2022-02-12
• Zig Parser(mitchellh.com)
  2022-02-11
• Zig Tokenizer(mitchellh.com)
  2022-02-10
• The world of PostgreSQL wire compatibility(notes.eatonphil.com)
  2022-02-08
• Part 2: Improving crypto code in Rust using LLVM’s optnone(blog.trailofbits.com)
  2022-02-01
• How to recommend books, or, stop recommending SICP(notes.eatonphil.com)
  2022-01-31
• Updated Public Financial Information(ziglang.org)
  2022-01-31
• Part 1: The life of an optimization barrier(blog.trailofbits.com)
  2022-01-26
• Bootloader basics(notes.eatonphil.com)
  2022-01-23
• Rust at scale: packages, crates, and modules(mmapped.blog)
  2022-01-20
• C your data structures with rellic-headergen(blog.trailofbits.com)
  2022-01-19
• Finding unhandled errors using CodeQL(blog.trailofbits.com)
  2022-01-11
• dsq: Commandline tool for running SQL queries against JSON, CSV, Excel, Parquet, and more.(notes.eatonphil.com)
  2022-01-11
• The Token Disconnect(www.stephendiehl.com)
  2022-01-09
• Analyzing large JSON files via partial JSON parsing(notes.eatonphil.com)
  2022-01-06
• Toward a Best-of-Both-Worlds Binary Disassembler(blog.trailofbits.com)
  2022-01-05
• The year in books: 11 to recommend in 2021(notes.eatonphil.com)
  2022-01-05
• Why Democrats Should Oppose Crypto(www.stephendiehl.com)
  2022-01-01
• Celebrating our 2021 Open Source Contributions(blog.trailofbits.com)
  2021-12-31
• The Case Against Crypto(www.stephendiehl.com)
  2021-12-31
• Writing a minimal Lua implementation with a virtual machine from scratch in Rust(notes.eatonphil.com)
  2021-12-28
• Disclosing Shamir’s Secret Sharing vulnerabilities and announcing ZKDocs(blog.trailofbits.com)
  2021-12-21
• Detecting MISO and Opyn’s msg.value reuse vulnerability with Slither(blog.trailofbits.com)
  2021-12-16
• What does your code use, and is it vulnerable? It-depends!(blog.trailofbits.com)
  2021-12-16
• Running SQL Server in a container on Github Actions(notes.eatonphil.com)
  2021-12-16
• The Gadget Decomposition in FHE(www.jeremykun.com)
  2021-12-11
• A swarm of replicated state machines(mmapped.blog)
  2021-12-01
• Implementing zip archiving in Golang: unzipping(notes.eatonphil.com)
  2021-11-23
• MUI: Visualizing symbolic execution with Manticore and Binary Ninja(blog.trailofbits.com)
  2021-11-17
• Benchmarking esbuild, swc, tsc, and babel for React/JSX projects(notes.eatonphil.com)
  2021-11-13
• How to choose an interesting project(blog.trailofbits.com)
  2021-11-12
• Motivating global stabilization(blog.trailofbits.com)
  2021-11-11
• Announcing osquery 5: Now with EndpointSecurity on macOS(blog.trailofbits.com)
  2021-11-10
• All your tracing are belong to BPF(blog.trailofbits.com)
  2021-11-09
• PrivacyRaven: Implementing a proof of concept for model inversion(blog.trailofbits.com)
  2021-11-09
• Write Rust lints without forking Clippy(blog.trailofbits.com)
  2021-11-09
• Discovering goroutine leaks with Semgrep(blog.trailofbits.com)
  2021-11-09
• Building a fast SCSS-like rule expander for CSS using fuzzy parsing(notes.eatonphil.com)
  2021-10-31
• Exploring PL/pgSQL part two: implementing a Forth-like interpreter(notes.eatonphil.com)
  2021-10-29
• Effective Rust canisters(mmapped.blog)
  2021-10-25
• Exploring PL/pgSQL: Strings, arrays, recursion, and parsing JSON(notes.eatonphil.com)
  2021-10-24
• Experimenting with column- and row-oriented datastructures(notes.eatonphil.com)
  2021-10-18
• Group Actions and Hashing Unordered Multisets(www.jeremykun.com)
  2021-10-14
• Notes on running Electron(notes.eatonphil.com)
  2021-10-13
• Enumerating and analyzing 40+ non-V8 JavaScript implementations(notes.eatonphil.com)
  2021-09-21
• Carnival of Mathematics #197(www.jeremykun.com)
  2021-09-01
• Writing a simple JSON library from scratch: a tour through modern C++(notes.eatonphil.com)
  2021-08-26
• Parser generators vs. handwritten parsers: surveying major language implementations in 2021(notes.eatonphil.com)
  2021-08-21
• Practical? Common Lisp on the JVM: A quick intro to ABCL for modern web apps(notes.eatonphil.com)
  2021-08-05
• Writing an efficient object previewer for JavaScript(notes.eatonphil.com)
  2021-07-15
• React without webpack: fast path to a working app from scratch(notes.eatonphil.com)
  2021-07-08
• Controlled HTML select element in React has weird default UX(notes.eatonphil.com)
  2021-06-25
• Leaders, you need to share organization success stories more frequently(notes.eatonphil.com)
  2021-06-22
• Languages you can run in the browser, part 1: Python, JavaScript, SQLite(notes.eatonphil.com)
  2021-06-17
• Searching for RH Counterexamples — Exploring Data(www.jeremykun.com)
  2021-06-14
• Coolest hard-tech companies in NYC 2021(notes.eatonphil.com)
  2021-06-04
• Writing a Jinja-inspired template library in Python(notes.eatonphil.com)
  2021-05-23
• Enterprise Eldritch Horrors(www.stephendiehl.com)
  2021-05-09
• Jakub Konka Hired Full Time(ziglang.org)
  2021-04-05
• Learning a new codebase: hacking on nginx(notes.eatonphil.com)
  2021-04-04
• Solar: Context-free, interactive analysis for Solidity(blog.trailofbits.com)
  2021-04-02
• Regression and Linear Combinations(www.jeremykun.com)
  2021-03-29
• A Year in the Life of a Compiler Fuzzing Campaign(blog.trailofbits.com)
  2021-03-23
• Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace(blog.trailofbits.com)
  2021-03-19
• Never a dill moment: Exploiting machine learning pickle files(blog.trailofbits.com)
  2021-03-15
• Exotic Programming Ideas, Part 2 (Term Rewriting)(www.stephendiehl.com)
  2021-03-08
• How to get better at recursion(notes.eatonphil.com)
  2021-03-07
• Searching for RH Counterexamples — Productionizing(www.jeremykun.com)
  2021-03-06
• Exotic Programming Ideas, Part 4 (Datalog)(www.stephendiehl.com)
  2021-03-04
• Exotic Programming Ideas, Part 3 (Effect Systems)(www.stephendiehl.com)
  2021-03-03
• Exotic Programming Ideas, Part 1 (Module Systems)(www.stephendiehl.com)
  2021-03-01
• The Tao of Continuous Integration(blog.trailofbits.com)
  2021-02-26
• Serving up zero-knowledge proofs(blog.trailofbits.com)
  2021-02-19
• Searching for RH Counterexamples — Scaling Up(www.jeremykun.com)
  2021-02-16
• Confessions of a smart contract paper reviewer(blog.trailofbits.com)
  2021-02-05
• Gamestop, Bitcoin and the Commoditization of Populist Rage(www.stephendiehl.com)
  2021-02-03
• PDF is Broken: a justCTF Challenge(blog.trailofbits.com)
  2021-02-02
• Searching for RH Counterexamples — Performance Profiling(www.jeremykun.com)
  2021-02-02
• Extending gosql to supporting LIMIT and OFFSET(notes.eatonphil.com)
  2021-01-23
• Website Redesigned with Community-Sourced Translations(ziglang.org)
  2021-01-12
• Notes on Trekonomics(www.stephendiehl.com)
  2021-01-09
• Searching for RH Counterexamples — Deploying with Docker(www.jeremykun.com)
  2021-01-04
• The year in books: 20 to recommend in 2020(notes.eatonphil.com)
  2020-12-27
• Static analysis with semgrep: practical examples using Docker(notes.eatonphil.com)
  2020-12-20
• Breaking Aave Upgradeability(blog.trailofbits.com)
  2020-12-16
• Reverie: An optimized zero-knowledge proof system(blog.trailofbits.com)
  2020-12-14
• Zig 0.7.1 Released: 69 Bugs Fixed(ziglang.org)
  2020-12-13
• Simpler and safer API design using GADTs(chrispenner.ca)
  2020-12-10
• Zig at FOSDEM 2021: CfP is Open!(ziglang.org)
  2020-12-05
• Emulating linux/AMD64 userland: interpreting an ELF binary(notes.eatonphil.com)
  2020-11-26
• Virtual Record Fields Using Lenses(chrispenner.ca)
  2020-11-26
• High-fidelity build instrumentation with blight(blog.trailofbits.com)
  2020-11-25
• Smart (and simple) ways to prevent symlink attacks in Go(blog.trailofbits.com)
  2020-11-24
• The impact of management teams as a decision-making group, in startups and enterprise(notes.eatonphil.com)
  2020-11-11
• Composable filters using Witherable optics(chrispenner.ca)
  2020-10-31
• Good idea, bad design: How the Diamond standard falls short(blog.trailofbits.com)
  2020-10-30
• Standard ML in 2020(notes.eatonphil.com)
  2020-10-25
• Efficient audits with machine learning and Slither-simil(blog.trailofbits.com)
  2020-10-23
• Let’s build a high-performance fuzzer with GPUs!(blog.trailofbits.com)
  2020-10-22
• Optimization Models for Subset Cover(www.jeremykun.com)
  2020-10-20
• Osquery: Using D-Bus to query systemd data(blog.trailofbits.com)
  2020-10-14
• Silly job interview questions in Haskell(chrispenner.ca)
  2020-10-14
• Searching for RH Counterexamples — Unbounded Integers(www.jeremykun.com)
  2020-10-13
• Detecting Iterator Invalidation with CodeQL(blog.trailofbits.com)
  2020-10-09
• PrivacyRaven Has Left the Nest(blog.trailofbits.com)
  2020-10-08
• Searching for RH Counterexamples — Search Strategies(www.jeremykun.com)
  2020-09-28
• Generalizing 'jq' and Traversal Systems using optics and standard monads(chrispenner.ca)
  2020-09-27
• Zigソフトウェア財団とZenプログラミング言語に関する声明(ziglang.org)
  2020-09-14
• Searching for RH Counterexamples — Adding a Database(www.jeremykun.com)
  2020-09-11
• Searching for RH Counterexamples — Setting up Pytest(www.jeremykun.com)
  2020-09-11
• The case for comments in code(notes.eatonphil.com)
  2020-09-07
• Graphtage: A New Semantic Diffing Tool(blog.trailofbits.com)
  2020-08-28
• Using Echidna to test a smart contract library(blog.trailofbits.com)
  2020-08-17
• Writing a simple Python compiler: 1. hello, fibonacci(notes.eatonphil.com)
  2020-08-16
• Sinter: New user-mode security enforcement for macOS(blog.trailofbits.com)
  2020-08-12
• Accidentally stepping on a DeFi lego(blog.trailofbits.com)
  2020-08-05
• Taylor Series and Accelerometers(www.jeremykun.com)
  2020-07-26
• A single-node Kubernetes cluster without virtualization or a container registry(notes.eatonphil.com)
  2020-07-25
• Contract verification made easier(blog.trailofbits.com)
  2020-07-12
• Announcing the Zig Software Foundation(ziglang.org)
  2020-07-11
• Advocating for change(blog.trailofbits.com)
  2020-06-17
• Generating a full-stack application from a database(notes.eatonphil.com)
  2020-06-14
• Upgradeable contracts made safer with Crytic(blog.trailofbits.com)
  2020-06-12
• ECDSA: Handle with Care(blog.trailofbits.com)
  2020-06-11
• How to check if a mutex is locked in Go(blog.trailofbits.com)
  2020-06-09
• Generating a REST API from a database(notes.eatonphil.com)
  2020-06-06
• Breaking the Solidity Compiler with a Fuzzer(blog.trailofbits.com)
  2020-06-05
• Detecting Bad OpenSSL Usage(blog.trailofbits.com)
  2020-05-29
• Verifying Windows binaries, without Windows(blog.trailofbits.com)
  2020-05-27
• Contextual Symbols in Math(www.jeremykun.com)
  2020-05-22
• Emerging Talent: Winternship 2020 Highlights(blog.trailofbits.com)
  2020-05-22
• Reinventing Vulnerability Disclosure using Zero-knowledge Proofs(blog.trailofbits.com)
  2020-05-21
• Musings on A New Interface for Mathematics(www.jeremykun.com)
  2020-05-17
• Second Edition of A Programmer's Introduction to Mathematics(www.jeremykun.com)
  2020-05-17
• RFCs and asynchronous-first culture(notes.eatonphil.com)
  2020-05-16
• Bug Hunting with Crytic(blog.trailofbits.com)
  2020-05-15
• Writing a SQL database from scratch in Go: 4. a database/sql driver(notes.eatonphil.com)
  2020-05-10
• Writing a SQL database from scratch in Go: 3. indexes(notes.eatonphil.com)
  2020-05-01
• Announcing the 1st International Workshop on Smart Contract Analysis(blog.trailofbits.com)
  2020-04-23
• Revisiting 2000 cuts using Binary Ninja’s new decompiler(blog.trailofbits.com)
  2020-04-17
• Writing a SQL database from scratch in Go: 2. binary expressions and WHERE filters(notes.eatonphil.com)
  2020-04-12
• Announcing our first virtual Empire Hacking(blog.trailofbits.com)
  2020-04-07
• Studying foreign languages with inbox zero(notes.eatonphil.com)
  2020-04-04
• An Echidna for all Seasons(blog.trailofbits.com)
  2020-03-30
• `zig cc`: a Powerful Drop-In Replacement for GCC/Clang(andrewkelley.me)
  2020-03-24
• Announcing the Zeek Agent(blog.trailofbits.com)
  2020-03-23
• Financial Cryptography 2020 Recap(blog.trailofbits.com)
  2020-03-18
• Reviewing the Surface Book 2(notes.eatonphil.com)
  2020-03-18
• Real-time file monitoring on Windows with osquery(blog.trailofbits.com)
  2020-03-16
• Our Full Report on the Voatz Mobile Voting Platform(blog.trailofbits.com)
  2020-03-13
• Writing a SQL database from scratch in Go: 1. SELECT, INSERT, CREATE and a REPL(notes.eatonphil.com)
  2020-03-06
• Manticore discovers the ENS bug(blog.trailofbits.com)
  2020-03-03
• Intro to Kaleidoscopes: Optics for aggregating data through Applicatives(chrispenner.ca)
  2020-02-02
• A minimal REST API in Java(notes.eatonphil.com)
  2020-02-01
• Symbolically Executing WebAssembly in Manticore(blog.trailofbits.com)
  2020-01-31
• Themes from Real World Crypto 2020(blog.trailofbits.com)
  2020-01-23
• Exploiting the Windows CryptoAPI Vulnerability(blog.trailofbits.com)
  2020-01-16
• The Communicative Value of Using Git Well(www.jeremykun.com)
  2020-01-14
• Algebraic lenses(chrispenner.ca)
  2019-12-18
• Mainnet360: joint economic and security reviews with Prysm Group(blog.trailofbits.com)
  2019-12-09
• Writing a lisp compiler from scratch in JavaScript: 6. an x86 upgrade(notes.eatonphil.com)
  2019-12-08
• Advent of Optics: Day 4(chrispenner.ca)
  2019-12-04
• Advent of Optics: Day 3(chrispenner.ca)
  2019-12-03
• Advent of Optics: Day 2(chrispenner.ca)
  2019-12-02
• A Good Year for "A Programmer's Introduction to Mathematics"(www.jeremykun.com)
  2019-12-01
• Advent of Optics: Day 1(chrispenner.ca)
  2019-12-01
• Confusion and disengagement in meetings(notes.eatonphil.com)
  2019-11-30
• 64 Bits ought to be enough for anybody!(blog.trailofbits.com)
  2019-11-27
• Introducing iVerify, the security toolkit for iPhone users(blog.trailofbits.com)
  2019-11-14
• Announcing the Crytic $10k Research Prize(blog.trailofbits.com)
  2019-11-13
• Everything You Ever Wanted To Know About Test-Case Reduction, But Didn’t Know to Ask(blog.trailofbits.com)
  2019-11-11
• Security assessment techniques for Go projects(blog.trailofbits.com)
  2019-11-07
• Two New Tools that Tame the Treachery of Files(blog.trailofbits.com)
  2019-11-01
• Destroying x86_64 instruction decoders with differential fuzzing(blog.trailofbits.com)
  2019-10-31
• How safe browsing fails to protect user privacy(blog.trailofbits.com)
  2019-10-30
• Grace Hopper Celebration (GHC) 2019 Recap(blog.trailofbits.com)
  2019-10-29
• Formal Analysis of the CBC Casper Consensus Algorithm with TLA+(blog.trailofbits.com)
  2019-10-25
• Watch Your Language: Our First Vyper Audit(blog.trailofbits.com)
  2019-10-24
• Beating C with 80 lines of Haskell: wc(chrispenner.ca)
  2019-10-15
• Interpreting Go(notes.eatonphil.com)
  2019-10-12
• Multi-Party Computation on Machine Learning(blog.trailofbits.com)
  2019-10-04
• TSC Frequency For All: Better Profiling and Benchmarking(blog.trailofbits.com)
  2019-10-03
• Administering Kubernetes is hard(notes.eatonphil.com)
  2019-09-30
• Tethered jailbreaks are back(blog.trailofbits.com)
  2019-09-27
• QueryCon 2019: A Turning Point for osquery(blog.trailofbits.com)
  2019-09-20
• Optics + Regex: Greater than the sum of their parts(chrispenner.ca)
  2019-09-20
• Slick 1.0 Release - Now with a quick and easy template!(chrispenner.ca)
  2019-09-18
• Crypto 2019 Takeaways(blog.trailofbits.com)
  2019-09-11
• Haskell IDE Support (hie-core lsp Sept. 2019)(chrispenner.ca)
  2019-09-07
• DeepState Now Supports Ensemble Fuzzing(blog.trailofbits.com)
  2019-09-03
• Rewriting Functions in Compiled Binaries(blog.trailofbits.com)
  2019-09-02
• Unit testing C code with gtest(notes.eatonphil.com)
  2019-08-31
• Binary symbolic execution with KLEE-Native(blog.trailofbits.com)
  2019-08-30
• Reverse Taint Analysis Using Binary Ninja(blog.trailofbits.com)
  2019-08-29
• Wrapper’s Delight(blog.trailofbits.com)
  2019-08-26
• A Day in the Life of Alessandro Gario, Senior Security Engineer(blog.trailofbits.com)
  2019-08-09
• 246 Findings From our Smart Contract Audits: An Executive Summary(blog.trailofbits.com)
  2019-08-08
• From The Depths Of Counterfeit Smartphones(blog.trailofbits.com)
  2019-08-07
• Better Encrypted Group Chat(blog.trailofbits.com)
  2019-08-06
• Crytic: Continuous Assurance for Smart Contracts(blog.trailofbits.com)
  2019-08-02
• Understanding Docker container escapes(blog.trailofbits.com)
  2019-07-20
• Writing an x86 emulator from scratch in JavaScript: 2. system calls(notes.eatonphil.com)
  2019-07-20
• Trail of Bits Named in Forrester Wave as a Leader in Midsize Cybersecurity Consulting Services(blog.trailofbits.com)
  2019-07-16
• On LibraBFT’s use of broadcasts(blog.trailofbits.com)
  2019-07-12
• Seriously, stop using RSA(blog.trailofbits.com)
  2019-07-08
• Avoiding Smart Contract “Gridlock” with Slither(blog.trailofbits.com)
  2019-07-03
• State of the Art Proof-of-Work: RandomX(blog.trailofbits.com)
  2019-07-02
• Siderophile: Expose your Crate’s Unsafety(blog.trailofbits.com)
  2019-07-01
• Silent Duels—Constructing the Solution part 1(www.jeremykun.com)
  2019-06-30
• Use constexpr for faster, smaller, and safer code(blog.trailofbits.com)
  2019-06-27
• Panicking the right way in Go(blog.trailofbits.com)
  2019-06-26
• Creating an LLVM Sanitizer from Hopes and Dreams(blog.trailofbits.com)
  2019-06-25
• Why I'm donating $150/month (10% of my income) to the musl libc project(andrewkelley.me)
  2019-06-24
• Writing a lisp compiler from scratch in JavaScript: 6. LLVM system calls(notes.eatonphil.com)
  2019-06-22
• Getting 2FA Right in 2019(blog.trailofbits.com)
  2019-06-20
• Trail of Bits @ ICSE 2019 – Recap(blog.trailofbits.com)
  2019-06-19
• Why you should go to QueryCon this week(blog.trailofbits.com)
  2019-06-18
• Leaves of Hash(blog.trailofbits.com)
  2019-06-17
• Math Versus Dirty Data(www.jeremykun.com)
  2019-06-08
• Announcing Manticore 0.3.0(blog.trailofbits.com)
  2019-06-07
• Using osquery for remote forensics(blog.trailofbits.com)
  2019-05-31
• Fuzzing Unit Tests with DeepState and Eclipser(blog.trailofbits.com)
  2019-05-31
• Announcing Automated Reverse Engineering Trainings(blog.trailofbits.com)
  2019-05-30
• Slither: The Leading Static Analyzer for Smart Contracts(blog.trailofbits.com)
  2019-05-27
• Writing an x86 emulator from scratch in JavaScript: 1. a stack and register machine(notes.eatonphil.com)
  2019-05-21
• Tail call elimination(notes.eatonphil.com)
  2019-05-14
• Writing a lisp compiler from scratch in JavaScript: 4. LLVM conditionals and compiling fibonacci(notes.eatonphil.com)
  2019-05-04
• Higher Kinded Option Parsing(chrispenner.ca)
  2019-05-04
• Responsibility and ownership(notes.eatonphil.com)
  2019-04-30
• A Working Mathematician's Guide to Parsing(www.jeremykun.com)
  2019-04-20
• Announcing the community-oriented osquery fork, osql(blog.trailofbits.com)
  2019-04-18
• Interpreting TypeScript(notes.eatonphil.com)
  2019-04-14
• Announcing QueryCon 2019(blog.trailofbits.com)
  2019-04-09
• User-Friendly Fuzzing with Sienna Locomotive(blog.trailofbits.com)
  2019-04-08
• Writing a web server from scratch: 1. HTTP and sockets(notes.eatonphil.com)
  2019-04-06
• Performing Concolic Execution on Cryptographic Primitives(blog.trailofbits.com)
  2019-04-01
• Fuzzing In The Year 2000(blog.trailofbits.com)
  2019-03-28
• Writing a simple JSON path parser(notes.eatonphil.com)
  2019-03-27
• What Application Developers Need To Know About TLS Early Data (0RTT)(blog.trailofbits.com)
  2019-03-25
• Writing a lisp compiler from scratch in JavaScript: 3. LLVM(notes.eatonphil.com)
  2019-03-10
• AOT-compilation of Javascript with V8(notes.eatonphil.com)
  2019-02-26
• Silent Duels—Parsing the Construction(www.jeremykun.com)
  2019-01-28
• Symbolic Path Merging in Manticore(blog.trailofbits.com)
  2019-01-25
• Fuzzing an API with DeepState (Part 2)(blog.trailofbits.com)
  2019-01-23
• Fuzzing an API with DeepState (Part 1)(blog.trailofbits.com)
  2019-01-22
• How McSema Handles C++ Exceptions(blog.trailofbits.com)
  2019-01-21
• Windows(notes.eatonphil.com)
  2019-01-20
• Writing a lisp compiler from scratch in JavaScript: 2. user-defined functions and variables(notes.eatonphil.com)
  2019-01-20
• Empire Hacking: Ethereum Edition 2(blog.trailofbits.com)
  2019-01-18
• How to write a rootkit without really trying(blog.trailofbits.com)
  2019-01-17
• Listicle of Buddhist Lists(www.stephendiehl.com)
  2019-01-15
• On Bounties and Boffins(blog.trailofbits.com)
  2019-01-14
• What do La Croix, octonions, and Second Life have in common?(blog.trailofbits.com)
  2019-01-02
• Fuzzing Like It’s 1989(blog.trailofbits.com)
  2018-12-31
• Silent Duels and an Old Paper of Restrepo(www.jeremykun.com)
  2018-12-31
• $10,000 research fellowships for underrepresented talent(blog.trailofbits.com)
  2018-12-20
• CSAW CTF Crypto Challenge: Breaking DSA(blog.trailofbits.com)
  2018-12-17
• Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones Operating System(andrewkelley.me)
  2018-12-04
• A Programmer's Introduction to Mathematics(www.jeremykun.com)
  2018-12-01
• 10 Rules for the Secure Use of Cryptocurrency Hardware Wallets(blog.trailofbits.com)
  2018-11-27
• Writing a lisp compiler from scratch in JavaScript: 1. lisp to assembly(notes.eatonphil.com)
  2018-11-20
• Return of the Blockchain Security Empire Hacking(blog.trailofbits.com)
  2018-11-19
• Trail of Bits @ Devcon IV Recap(blog.trailofbits.com)
  2018-11-16
• What are Elementary Particles?(www.stephendiehl.com)
  2018-11-11
• We crypto now(blog.trailofbits.com)
  2018-11-07
• How contract migration works(blog.trailofbits.com)
  2018-10-29
• The Good, the Bad, and the Weird(blog.trailofbits.com)
  2018-10-26
• A Guide to Post-Quantum Cryptography(blog.trailofbits.com)
  2018-10-22
• On NYC, Tokyo and Seoul(notes.eatonphil.com)
  2018-10-20
• Slither – a Solidity static analysis framework(blog.trailofbits.com)
  2018-10-19
• Introduction to Verifiable Delay Functions (VDFs)(blog.trailofbits.com)
  2018-10-12
• How to Spot Good Fuzzing Research(blog.trailofbits.com)
  2018-10-05
• Ethereum security guidance for all(blog.trailofbits.com)
  2018-10-04
• Mocking Effects using Constraints and Phantom Data Kinds(chrispenner.ca)
  2018-09-29
• Effortless security feature detection with Winchecksec(blog.trailofbits.com)
  2018-09-26
• Why (and how) to read books(notes.eatonphil.com)
  2018-09-26
• String Matching based on Compile Time Perfect Hashing in Zig(andrewkelley.me)
  2018-09-15
• Protecting Software Against Exploitation with DARPA’s CFAR(blog.trailofbits.com)
  2018-09-10
• Rattle – an Ethereum EVM binary analysis framework(blog.trailofbits.com)
  2018-09-06
• Contract upgrade anti-patterns(blog.trailofbits.com)
  2018-09-05
• Update Monads: Variation on State Monads(chrispenner.ca)
  2018-09-03
• Compiling dynamic programming languages(notes.eatonphil.com)
  2018-09-02
• Introducing windows-acl: working with ACLs in Rust(blog.trailofbits.com)
  2018-08-23
• Get an open-source security multiplier(blog.trailofbits.com)
  2018-08-22
• Fault Analysis on RSA Signing(blog.trailofbits.com)
  2018-08-14
• Hanabi: a card game for logicians(www.jeremykun.com)
  2018-08-10
• btest: a language agnostic test runner(notes.eatonphil.com)
  2018-08-04
• Typesafe Versioned APIs(chrispenner.ca)
  2018-08-04
• You could have invented that Bluetooth attack(blog.trailofbits.com)
  2018-08-01
• Visualizing an Assassin Puzzle(www.jeremykun.com)
  2018-07-24
• Monoidal Sorting(chrispenner.ca)
  2018-07-22
• A Practical Introduction to Finger Trees(chrispenner.ca)
  2018-07-21
• Optimizing Lifted Bitcode with Dead Store Elimination(blog.trailofbits.com)
  2018-07-06
• Trail of Bits donates $100,000 to support young researchers through SummerCon(blog.trailofbits.com)
  2018-06-29
• Announcing the Trail of Bits osquery support group(blog.trailofbits.com)
  2018-06-27
• QueryCon 2018: our talks and takeaways(blog.trailofbits.com)
  2018-06-08
• I Quit My Cushy Job at OkCupid to Live on Donations to Zig(andrewkelley.me)
  2018-06-07
• Postman API Explorer: You've got mail!(chrispenner.ca)
  2018-06-03
• Query a Google Sheets Spreadsheet from BigQuery(chrispenner.ca)
  2018-06-02
• Manage your fleet’s firewalls with osquery(blog.trailofbits.com)
  2018-05-30
• Manage Santa within osquery(blog.trailofbits.com)
  2018-05-29
• Collect NTFS forensic information with osquery(blog.trailofbits.com)
  2018-05-28
• Writing to be read(notes.eatonphil.com)
  2018-05-18
• Writing a simple JSON parser(notes.eatonphil.com)
  2018-05-06
• State Machine Testing with Echidna(blog.trailofbits.com)
  2018-05-03
• Integral Zoo(www.stephendiehl.com)
  2018-05-02
• Derivative Zoo(www.stephendiehl.com)
  2018-05-01
• Finishing up a FreeBSD experiment(notes.eatonphil.com)
  2018-04-28
• For mathematicians, = does not mean equality(www.jeremykun.com)
  2018-04-13
• What do you wish osquery could do?(blog.trailofbits.com)
  2018-04-10
• How to prepare for a security review(blog.trailofbits.com)
  2018-04-06
• Vulnerability Modeling with Binary Ninja(blog.trailofbits.com)
  2018-04-04
• A parlor trick for SET(www.jeremykun.com)
  2018-03-25
• Book Review: ANSI Common Lisp(notes.eatonphil.com)
  2018-03-25
• Use our suite of Ethereum security tools(blog.trailofbits.com)
  2018-03-23
• An accessible overview of Meltdown and Spectre, Part 2(blog.trailofbits.com)
  2018-03-22
• “AMD Flaws” Technical Summary(blog.trailofbits.com)
  2018-03-15
• Echidna, a smart fuzzer for Ethereum(blog.trailofbits.com)
  2018-03-09
• 2017 in review(blog.trailofbits.com)
  2018-03-08
• Earthmover Distance(www.jeremykun.com)
  2018-03-05
• Starting a minimal Common Lisp project(notes.eatonphil.com)
  2018-03-05
• ASTs with Fix and Free(chrispenner.ca)
  2018-02-24
• Zig: January 2018 in Review(andrewkelley.me)
  2018-02-11
• Parity Technologies engages Trail of Bits(blog.trailofbits.com)
  2018-02-09
• Using Google OR-Tools to do Answer Set Programming(www.stephendiehl.com)
  2018-02-01
• An accessible overview of Meltdown and Spectre, Part 1(blog.trailofbits.com)
  2018-01-30
• Unsafe Zig is Safer Than Unsafe Rust(andrewkelley.me)
  2018-01-24
• Heavy lifting with McSema 2.0(blog.trailofbits.com)
  2018-01-23
• Interview with the D Language Blog: BSDScheme(notes.eatonphil.com)
  2018-01-20
• First few hurdles writing a Scheme interpreter(notes.eatonphil.com)
  2018-01-10
• Zig: December 2017 in Review(andrewkelley.me)
  2018-01-03
• NP-hard does not mean hard(www.jeremykun.com)
  2017-12-29
• Videos from Ethereum-focused Empire Hacking(blog.trailofbits.com)
  2017-12-22
• What are the current pain points of osquery?(blog.trailofbits.com)
  2017-12-21
• Announcing the Trail of Bits osquery extension repository(blog.trailofbits.com)
  2017-12-14
• Securing Ethereum at Empire Hacking(blog.trailofbits.com)
  2017-11-22
• How are teams currently using osquery?(blog.trailofbits.com)
  2017-11-09
• Binary Search on Graphs(www.jeremykun.com)
  2017-11-08
• Hands on the Ethernaut CTF(blog.trailofbits.com)
  2017-11-06
• Trail of Bits joins the Enterprise Ethereum Alliance(blog.trailofbits.com)
  2017-10-19
• Our team is growing(blog.trailofbits.com)
  2017-10-16
• iOS jailbreak detection toolkit now available(blog.trailofbits.com)
  2017-10-12
• Tracking a stolen code-signing certificate with osquery(blog.trailofbits.com)
  2017-10-10
• Linear Programming and Healthy Diets — Part 2(www.jeremykun.com)
  2017-09-24
• MonadIO Considered Harmful(chrispenner.ca)
  2017-09-11
• Type Tac Toe: Advanced Type Safety(chrispenner.ca)
  2017-08-25
• Notes on Math and Gerrymandering(www.jeremykun.com)
  2017-08-14
• The Y-Combinator in Python(www.stephendiehl.com)
  2017-08-10
• Conway's Game of Life using Representable and Comonads(chrispenner.ca)
  2017-08-08
• Microsoft didn’t sandbox Windows Defender, so I did(blog.trailofbits.com)
  2017-08-02
• An extra bit of analysis for Clemency(blog.trailofbits.com)
  2017-07-30
• Boolean Logic in Polynomials(www.jeremykun.com)
  2017-07-24
• Radix Sort, Trie Trees, and Maps from Representable Functors(chrispenner.ca)
  2017-07-23
• Free and Forgetful Functors(chrispenner.ca)
  2017-07-20
• Adjunctions and Battleship(chrispenner.ca)
  2017-07-19
• Zippers using Representable and Cofree(chrispenner.ca)
  2017-07-05
• Mathematical Genealogy(www.jeremykun.com)
  2017-06-22
• What Is Not Art?(www.stephendiehl.com)
  2017-06-15
• Duality for the SVM(www.jeremykun.com)
  2017-06-12
• Formulating the Support Vector Machine Optimization Problem(www.jeremykun.com)
  2017-06-05
• The Inner Product as a Decision Rule(www.jeremykun.com)
  2017-05-22
• Magic with Manticore(blog.trailofbits.com)
  2017-05-15
• Manticore: Symbolic execution for humans(blog.trailofbits.com)
  2017-04-27
• Testing Polynomial Equality(www.jeremykun.com)
  2017-04-24
• Shipping Haskell via Homebrew(chrispenner.ca)
  2017-04-24
• A walk down memory lane(blog.trailofbits.com)
  2017-04-14
• Kleisli Endomorphisms(chrispenner.ca)
  2017-04-08
• April means Infiltrate(blog.trailofbits.com)
  2017-03-23
• McSema: I’m liftin’ it(blog.trailofbits.com)
  2017-03-14
• Bayesian Ranking for Rated Items(www.jeremykun.com)
  2017-03-13
• Deploying FreeBSD on Linode unattended in minutes(notes.eatonphil.com)
  2017-03-11
• The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm(www.jeremykun.com)
  2017-02-27
• The Challenges of Deploying Security Mitigations(blog.trailofbits.com)
  2017-02-20
• A Better Way to Implement Bit Fields(andrewkelley.me)
  2017-02-17
• The Smart Fuzzer Revolution(blog.trailofbits.com)
  2017-02-16
• Zig: Already More Knowable Than C(andrewkelley.me)
  2017-02-14
• Devirtualizing C++ with Binary Ninja(blog.trailofbits.com)
  2017-02-13
• Breaking Down Binary Ninja’s Low Level IL(blog.trailofbits.com)
  2017-01-31
• Zig Programming Language Blurs the Line Between Compile-Time and Run-Time(andrewkelley.me)
  2017-01-30
• Troubleshooting a Zig Regression with apitrace(andrewkelley.me)
  2017-01-17
• 2016 Year in Review(blog.trailofbits.com)
  2017-01-09
• Walking through a basic Racket web service(notes.eatonphil.com)
  2016-12-29
• Let’s talk about CFI: Microsoft Edition(blog.trailofbits.com)
  2016-12-27
• Meet Algo, the VPN that works(blog.trailofbits.com)
  2016-12-12
• A Spectral Analysis of Moore Graphs(www.jeremykun.com)
  2016-11-03
• Shin GRR: Make Fuzzing Fast Again(blog.trailofbits.com)
  2016-11-02
• Come Find Us at O’Reilly Security(blog.trailofbits.com)
  2016-10-26
• Let’s talk about CFI: clang edition(blog.trailofbits.com)
  2016-10-17
• Automated Code Audit’s First Customer(blog.trailofbits.com)
  2016-10-04
• Windows network security now easier with osquery(blog.trailofbits.com)
  2016-09-27
• Voltage, Temperature, and Harmonic Functions(www.jeremykun.com)
  2016-09-26
• Guest post, "What's up with graph Laplacians?"(www.jeremykun.com)
  2016-09-20
• Zero-Knowledge: Definitions and Theory(www.jeremykun.com)
  2016-09-19
• Plug into New York’s Infosec Community(blog.trailofbits.com)
  2016-09-12
• Work For Us: Fall and Winter Internship Opportunities(blog.trailofbits.com)
  2016-08-09
• A fuzzer and a symbolic executor walk into a cloud(blog.trailofbits.com)
  2016-08-02
• Your tool works better than mine? Prove it.(blog.trailofbits.com)
  2016-08-01
• Zero Knowledge Proofs for NP(www.jeremykun.com)
  2016-08-01
• Tail Recursion In Python(chrispenner.ca)
  2016-07-26
• Why I didn’t catch any Pokemon today(blog.trailofbits.com)
  2016-07-12
• Dive into GHC: Targeting Core(www.stephendiehl.com)
  2016-07-12
• The Blum-Blum-Shub Pseudorandom Generator(www.jeremykun.com)
  2016-07-11
• Dive into GHC: Intermediate Forms(www.stephendiehl.com)
  2016-07-11
• Zero Knowledge Proofs — A Primer(www.jeremykun.com)
  2016-07-05
• Start using the Secure Enclave Crypto API(blog.trailofbits.com)
  2016-06-28
• It’s time to take ownership of our image(blog.trailofbits.com)
  2016-06-23
• Dive into GHC: Pipeline(www.stephendiehl.com)
  2016-06-21
• 2000 cuts with Binary Ninja(blog.trailofbits.com)
  2016-06-03
• Empire Hacking Turns One(blog.trailofbits.com)
  2016-05-19
• ProtoFuzz: A Protobuf Fuzzer(blog.trailofbits.com)
  2016-05-18
• Singular Value Decomposition Part 2: Theorem, Proof, Algorithm(www.jeremykun.com)
  2016-05-16
• The DBIR’s ‘Forest’ of Exploit Signatures(blog.trailofbits.com)
  2016-05-05
• Singular Value Decomposition Part 1: Perspectives on Linear Algebra(www.jeremykun.com)
  2016-04-18
• Building a Better Custom Haskell Prelude(www.stephendiehl.com)
  2016-04-07
• Hacker Handle Bounty(blog.trailofbits.com)
  2016-04-01
• Tensorphobia and the Outer Product(www.jeremykun.com)
  2016-03-28
• The Problem with Dynamic Program Analysis(blog.trailofbits.com)
  2016-03-09
• Cooking Classes with Datatype Generic Programming(www.stephendiehl.com)
  2016-03-03
• Apple can comply with the FBI court order(blog.trailofbits.com)
  2016-02-17
• The Joy and Agony of Haskell in Production(www.stephendiehl.com)
  2016-02-16
• The Interface We Need(chrispenner.ca)
  2016-02-15
• Tidas: a new service for building password-less apps(blog.trailofbits.com)
  2016-02-09
• Introduction to the Zig Programming Language(andrewkelley.me)
  2016-02-08
• Big Dimensions, and What You Can Do About It(www.jeremykun.com)
  2016-02-08
• Join us at Etsy’s Code as Craft(blog.trailofbits.com)
  2016-02-04
• Software Security Ideas Ahead of Their Time(blog.trailofbits.com)
  2016-02-02
• From Newton to Einstein and Back(www.stephendiehl.com)
  2016-02-01
• Vim and Haskell in 2016(www.stephendiehl.com)
  2016-01-24
• Hacking for Charity: Automated Bug-finding in LibOTR(blog.trailofbits.com)
  2016-01-13
• Concrete Examples of Quantum Gates(www.jeremykun.com)
  2016-01-11
• Functional Programming, Abstraction, and Names(www.stephendiehl.com)
  2016-01-09
• 2015 In Review(blog.trailofbits.com)
  2016-01-07
• Let’s Encrypt the Internet(blog.trailofbits.com)
  2016-01-05
• Hashing to Estimate the Size of a Stream(www.jeremykun.com)
  2016-01-04
• Monads to Machine Code(www.stephendiehl.com)
  2016-01-04
• Let there be Truth(chrispenner.ca)
  2016-01-02
• Load Balancing and the Power of Hashing(www.jeremykun.com)
  2015-12-28
• Self-Hosted Video Chat with Tuber(blog.trailofbits.com)
  2015-12-15
• The Inequality(www.jeremykun.com)
  2015-11-23
• A Quasipolynomial Time Algorithm for Graph Isomorphism: The Details(www.jeremykun.com)
  2015-11-12
• Why we give so much to CSAW(blog.trailofbits.com)
  2015-10-30
• Serial Dictatorships and House Allocation(www.jeremykun.com)
  2015-10-26
• One definition of algorithmic fairness: statistical parity(www.jeremykun.com)
  2015-10-19
• The Boosting Margin, or Why Boosting Doesn't Overfit(www.jeremykun.com)
  2015-09-21
• Summer @ Trail of Bits(blog.trailofbits.com)
  2015-09-10
• Flare-On Reversing Challenges 2015(blog.trailofbits.com)
  2015-09-09
• The Welch-Berlekamp Algorithm for Correcting Errors in Data(www.jeremykun.com)
  2015-09-07
• Autoenv Trick(chrispenner.ca)
  2015-09-04
• The Čech Complex and the Vietoris-Rips Complex(www.jeremykun.com)
  2015-08-06
• Hardware Side Channels in the Cloud(blog.trailofbits.com)
  2015-07-21
• How We Fared in the Cyber Grand Challenge(blog.trailofbits.com)
  2015-07-15
• What does it mean for an algorithm to be fair?(www.jeremykun.com)
  2015-07-13
• How to Harden Your Google Apps(blog.trailofbits.com)
  2015-07-07
• Introducing the RubySec Field Guide(blog.trailofbits.com)
  2015-06-08
• Methods of Proof — Diagonalization(www.jeremykun.com)
  2015-06-08
• Weak Learning, Boosting, and the AdaBoost algorithm(www.jeremykun.com)
  2015-05-18
• Closing the Windows Gap(blog.trailofbits.com)
  2015-05-13
• Empire Hacking, a New Meetup in NYC(blog.trailofbits.com)
  2015-05-05
• The Many Faces of Set Cover(www.jeremykun.com)
  2015-05-04
• Markov Chain Monte Carlo Without all the Bullshit(www.jeremykun.com)
  2015-04-06
• Semantic Versioning(chrispenner.ca)
  2015-04-02
• BoxKite: Open-Sourced(chrispenner.ca)
  2015-03-25
• The Codes of Solomon, Reed, and Muller(www.jeremykun.com)
  2015-03-23
• Getting Schooled(chrispenner.ca)
  2015-03-19
• Finding the majority element of a stream(www.jeremykun.com)
  2015-03-09
• Hamming's Code(www.jeremykun.com)
  2015-03-02
• Gem: Duckling(chrispenner.ca)
  2015-02-21
• A Proofless Introduction to Information Theory(www.jeremykun.com)
  2015-02-16
• Worth a Read #4 - Unix Tools(chrispenner.ca)
  2015-02-13
• Zero-One Laws for Random Graphs(www.jeremykun.com)
  2015-02-09
• Vim vs. Emacs?(chrispenner.ca)
  2015-02-06
• The Giant Component and Explosive Percolation(www.jeremykun.com)
  2015-02-02
• Multiple Qubits and the Quantum Circuit(www.jeremykun.com)
  2015-01-26
• Gem: Font-Awesome(chrispenner.ca)
  2015-01-21
• Worth a Read #3 - Typography(chrispenner.ca)
  2015-01-13
• The Foundation of 2015: 2014 in Review(blog.trailofbits.com)
  2015-01-05
• Gem: Git(chrispenner.ca)
  2015-01-05
• Procedural Generation is the Future(chrispenner.ca)
  2015-01-03
• The Quantum Bit(www.jeremykun.com)
  2014-12-15
• A Haskell Implementation Reading List(www.stephendiehl.com)
  2014-12-14
• A Motivation for Quantum Computing(www.jeremykun.com)
  2014-12-08
• Close Encounters with Symbolic Execution (Part 2)(blog.trailofbits.com)
  2014-12-04
• Linear Programming and the Simplex Algorithm(www.jeremykun.com)
  2014-12-01
• Close Encounters with Symbolic Execution(blog.trailofbits.com)
  2014-11-25
• Learning a single-variable polynomial, or the power of adaptive queries(www.jeremykun.com)
  2014-11-18
• The Complexity of Communication(www.jeremykun.com)
  2014-11-10
• Worth a Read #2 - CSS(chrispenner.ca)
  2014-11-10
• Gem: Jekyll(chrispenner.ca)
  2014-11-03
• Worth a Read #1(chrispenner.ca)
  2014-10-31
• Gem: Neovim(chrispenner.ca)
  2014-10-15
• On the Computational Complexity of MapReduce(www.jeremykun.com)
  2014-10-05
• Speaker Lineup for THREADS ’14: Scaling Security(blog.trailofbits.com)
  2014-10-02
• We’re Sponsoring the NYU-Poly Women’s Cybersecurity Symposium(blog.trailofbits.com)
  2014-09-29
• Making Hybrid Images(www.jeremykun.com)
  2014-09-29
• You Own Your Data(chrispenner.ca)
  2014-09-26
• The Future of Software(chrispenner.ca)
  2014-09-24
• Occam's Razor and PAC-learning(www.jeremykun.com)
  2014-09-19
• Enabling Two-Factor Authentication (2FA) for Apple ID and DropBox(blog.trailofbits.com)
  2014-09-02
• A Rook Game(www.jeremykun.com)
  2014-08-31
• When Greedy Algorithms are Perfect: the Matroid(www.jeremykun.com)
  2014-08-26
• Parameterizing the Vertex Cover Problem(www.jeremykun.com)
  2014-08-25
• ReMASTering Applications by Obfuscating during Compilation(blog.trailofbits.com)
  2014-08-20
• McSema is Officially Open Source!(blog.trailofbits.com)
  2014-08-07
• Set the Data Free(chrispenner.ca)
  2014-08-02
• Education Initiative Spotlight: THREADS Call for Papers(blog.trailofbits.com)
  2014-08-01
• Education Initiative Spotlight: Build it Break it(blog.trailofbits.com)
  2014-07-30
• Education Initiative Spotlight: CSAW Summer Program for Women(blog.trailofbits.com)
  2014-07-28
• Legacy in Design(chrispenner.ca)
  2014-07-26
• Trail of Bits Adds Mobile Security Researcher Nicholas DePetrillo to Growing Team(blog.trailofbits.com)
  2014-07-15
• An Update on "Coloring Resilient Graphs"(www.jeremykun.com)
  2014-07-14
• When Greedy Algorithms are Good Enough: Submodularity and the (1—1/e)-Approximation(www.jeremykun.com)
  2014-07-07
• A Preview of McSema(blog.trailofbits.com)
  2014-06-23
• The Mathematics of Secret Sharing(www.jeremykun.com)
  2014-06-23
• Turn Your Raspberry Pi into a Music Player Server(andrewkelley.me)
  2014-06-20
• Laptop Review - Bonobo Extreme(andrewkelley.me)
  2014-06-12
• We’ve Moved!(blog.trailofbits.com)
  2014-06-04
• Dear DARPA: Challenge Accepted.(blog.trailofbits.com)
  2014-06-03
• Linear Programming and Healthy Diets — Part 1(www.jeremykun.com)
  2014-06-02
• Learning to Love Complex Numbers(www.jeremykun.com)
  2014-05-26
• Caps-lock(chrispenner.ca)
  2014-05-25
• Trail of Bits Releases Capture the Flag Field Guide(blog.trailofbits.com)
  2014-05-20
• Community Detection in Graphs — a Casual Tour(www.jeremykun.com)
  2014-05-19
• The Switch To Mac(chrispenner.ca)
  2014-05-19
• Using Static Analysis and Clang To Find Heartbleed(blog.trailofbits.com)
  2014-04-27
• Scattering Amplitudes in Quantum Field Theory(www.stephendiehl.com)
  2014-04-25
• My Quest to Build the Ultimate Music Player(andrewkelley.me)
  2014-04-22
• A problem that is not (properly) PAC-learnable(www.jeremykun.com)
  2014-04-21
• Sending and Authenticating Messages with Elliptic Curves(www.jeremykun.com)
  2014-04-14
• Stable Marriages and Designing Markets(www.jeremykun.com)
  2014-04-02
• Elliptic Curve Diffie-Hellman(www.jeremykun.com)
  2014-03-31
• Connecting Elliptic Curves with Finite Fields(www.jeremykun.com)
  2014-03-19
• Want to make a great puzzle game? Get inspired by theoretical computer science.(www.jeremykun.com)
  2014-03-17
• Programming with Finite Fields(www.jeremykun.com)
  2014-03-13
• Martingales and the Optional Stopping Theorem(www.jeremykun.com)
  2014-03-03
• (Finite) Fields — A Primer(www.jeremykun.com)
  2014-02-26
• Introducing Javelin(blog.trailofbits.com)
  2014-02-24
• Elliptic Curves as Python Objects(www.jeremykun.com)
  2014-02-24
• Semantic Analysis of Native Programs with CodeReason(blog.trailofbits.com)
  2014-02-24
• On Coloring Resilient Graphs(www.jeremykun.com)
  2014-02-21
• Elliptic Curves as Algebraic Structures(www.jeremykun.com)
  2014-02-16
• Simulating a Biased Coin with a Fair Coin(www.jeremykun.com)
  2014-02-12
• Elliptic Curves as Elementary Equations(www.jeremykun.com)
  2014-02-10
• Simulating a Fair Coin with a Biased Coin(www.jeremykun.com)
  2014-02-08
• Introducing Elliptic Curves(www.jeremykun.com)
  2014-02-08
• Fixing Bugs in "Computing Homology"(www.jeremykun.com)
  2014-01-23
• RealityMining, a Case Study in the Woes of Data Processing(www.jeremykun.com)
  2014-01-21
• How to Conquer Tensorphobia(www.jeremykun.com)
  2014-01-17
• Comparing Filesystem Performance in Virtual Machines(mitchellh.com)
  2014-01-10
• Probably Approximately Correct — a Formal Theory of Learning(www.jeremykun.com)
  2014-01-02
• The Two-Dimensional Fourier Transform and Digital Watermarking(www.jeremykun.com)
  2013-12-30
• Bandits and Stocks(www.jeremykun.com)
  2013-12-09
• Lagrangians for the Amnesiac(www.jeremykun.com)
  2013-11-30
• Adversarial Bandits and the Exp3 Algorithm(www.jeremykun.com)
  2013-11-08
• Optimism in the Face of Uncertainty: the UCB1 Algorithm(www.jeremykun.com)
  2013-10-28
• A Vim + Haskell Workflow(www.stephendiehl.com)
  2013-10-18
• The Universal Properties of Map, Fold, and Filter(www.jeremykun.com)
  2013-09-30
• Anti-Coordination Games and Stable Graph Colorings(www.jeremykun.com)
  2013-09-09
• Do Not Use bodyParser with Express.js(andrewkelley.me)
  2013-09-06
• From Adjunctions to Monads(www.stephendiehl.com)
  2013-08-29
• The Erdős-Rényi Random Graph(www.jeremykun.com)
  2013-08-22
• Linear Regression(www.jeremykun.com)
  2013-08-18
• JavaScript Callbacks are Pretty Okay(andrewkelley.me)
  2013-08-17
• I am not a "JavaScript Developer".(andrewkelley.me)
  2013-08-14
• 7dRTS Game Reviews(andrewkelley.me)
  2013-07-30
• iVerify is now available on Github(blog.trailofbits.com)
  2013-07-24
• Cauchy-Schwarz Inequality (and Amplification)(www.jeremykun.com)
  2013-07-23
• Pillagers! 7dRTS Game Development Journal(andrewkelley.me)
  2013-07-23
• Haskell for Web Developers(www.stephendiehl.com)
  2013-07-18
• Private Methods in JavaScript(andrewkelley.me)
  2013-07-17
• Functoriality(www.jeremykun.com)
  2013-07-14
• Spot the Fail(andrewkelley.me)
  2013-07-10
• Monads Made Difficult(www.stephendiehl.com)
  2013-07-07
• Reservoir Sampling(www.jeremykun.com)
  2013-07-05
• Guest Post: Torus-Knotted Baklava(www.jeremykun.com)
  2013-06-28
• Packer(mitchellh.com)
  2013-06-28
• The Tao of Vagrant(mitchellh.com)
  2013-06-18
• Miller-Rabin Primality Test(www.jeremykun.com)
  2013-06-16
• Why Theoretical Computer Scientists Aren't Worried About Privacy(www.jeremykun.com)
  2013-06-10
• Statically Recompiling NES Games into Native Executables with LLVM and Go(andrewkelley.me)
  2013-06-07
• Automation Obsessed(mitchellh.com)
  2013-06-06
• Conferences, Summer Work, and an Advisor(www.jeremykun.com)
  2013-06-03
• Free Ruby Security Workshop(blog.trailofbits.com)
  2013-06-03
• Rings — A Second Primer(www.jeremykun.com)
  2013-06-01
• Universal Properties(www.jeremykun.com)
  2013-05-24
• Writing Exploits with the Elderwood Kit (Part 2)(blog.trailofbits.com)
  2013-05-20
• Properties of Morphisms(www.jeremykun.com)
  2013-05-15
• Writing Exploits with the Elderwood Kit (Part 1)(blog.trailofbits.com)
  2013-05-14
• Elderwood and the Department of Labor Hack(blog.trailofbits.com)
  2013-05-13
• Bezier Curves and Picasso(www.jeremykun.com)
  2013-05-11
• Categories as Types(www.jeremykun.com)
  2013-05-04
• Rings — A Primer(www.jeremykun.com)
  2013-04-30
• Introducing Categories(www.jeremykun.com)
  2013-04-24
• Space-time Algebra in Python(www.stephendiehl.com)
  2013-04-21
• Categories, What's the Point?(www.jeremykun.com)
  2013-04-16
• Probabilistic Bounds — A Primer(www.jeremykun.com)
  2013-04-15
• Computing Homology(www.jeremykun.com)
  2013-04-10
• A Sample of Standard ML, the TreeSort Algorithm, and Monoids(www.jeremykun.com)
  2013-04-07
• Homology Theory — A Primer(www.jeremykun.com)
  2013-04-03
• Conditional (Partitioned) Probability — A Primer(www.jeremykun.com)
  2013-03-28
• Methods of Proof — Induction(www.jeremykun.com)
  2013-03-21
• Abandoning Rubygems(mitchellh.com)
  2013-03-21
• Seam Carving for Content-Aware Image Scaling(www.jeremykun.com)
  2013-03-04
• APPLE: My Key to Success(mitchellh.com)
  2013-03-04
• Methods of Proof — Contradiction(www.jeremykun.com)
  2013-02-28
• Methods of Proof — Contrapositive(www.jeremykun.com)
  2013-02-22
• Methods of Proof — Direct Implication(www.jeremykun.com)
  2013-02-16
• Why there is no Hitchhiker's Guide to Mathematics for Programmers(www.jeremykun.com)
  2013-02-08
• k-Means Clustering and Birth Rates(www.jeremykun.com)
  2013-02-04
• The "Warp Drive" Equations(www.stephendiehl.com)
  2013-02-01
• Rapid Development Email Templates with Node.js(andrewkelley.me)
  2013-01-30
• Depth- and Breadth-First Search(www.jeremykun.com)
  2013-01-22
• The New Normal(mitchellh.com)
  2013-01-21
• The Fundamental Group — A Primer(www.jeremykun.com)
  2013-01-12
• Probability Theory — A Primer(www.jeremykun.com)
  2013-01-04
• Using libjit in Anger(www.stephendiehl.com)
  2013-01-01
• Groups — A Second Primer(www.jeremykun.com)
  2012-12-22
• Neural Networks and the Backpropagation Algorithm(www.jeremykun.com)
  2012-12-09
• Groups — A Primer(www.jeremykun.com)
  2012-12-08
• Information Distance — A Primer(www.jeremykun.com)
  2012-12-04
• Ramsey Number Lower Bound(www.jeremykun.com)
  2012-12-02
• Constructing Topological Spaces — A Primer(www.jeremykun.com)
  2012-11-11
• There are Infinitely Many Primes (Erdős)(www.jeremykun.com)
  2012-11-10
• Topological Spaces — A Primer(www.jeremykun.com)
  2012-11-04
• Ending the Love Affair with ExploitShield(blog.trailofbits.com)
  2012-10-29
• Decision Trees and Political Party Classification(www.jeremykun.com)
  2012-10-08
• Complete Sequences and Magic Tricks(www.jeremykun.com)
  2012-10-02
• Infinitely Many Primes (Using Topology)(www.jeremykun.com)
  2012-09-26
• Trees—A Primer(www.jeremykun.com)
  2012-09-16
• K-Nearest-Neighbors and Handwritten Digit Classification(www.jeremykun.com)
  2012-08-26
• Metric Spaces — A Primer(www.jeremykun.com)
  2012-08-26
• A Haskell Reading List(www.stephendiehl.com)
  2012-08-15
• Machine Learning — Introduction(www.jeremykun.com)
  2012-08-04
• The Cellular Automaton Method for Cave Generation(www.jeremykun.com)
  2012-07-29
• Dynamic Time Warping for Sequence Comparison(www.jeremykun.com)
  2012-07-25
• The Fast Fourier Transform(www.jeremykun.com)
  2012-07-18
• Principal Component Analysis(www.jeremykun.com)
  2012-06-28
• The Discrete Fourier Transform — A Primer(www.jeremykun.com)
  2012-06-23
• Streaming Median(www.jeremykun.com)
  2012-06-14
• Thoughts after a Year of Math ∩ Programming(www.jeremykun.com)
  2012-06-12
• Analyzing the MD5 collision in Flame(blog.trailofbits.com)
  2012-06-11
• Generalized Functions — A Primer(www.jeremykun.com)
  2012-06-06
• The Fourier Transform — A Primer(www.jeremykun.com)
  2012-05-27
• Double Angle Trigonometric Formulas(www.jeremykun.com)
  2012-05-19
• False Proof – 2 = 4, As the Limit of an Infinite Power Tower(www.jeremykun.com)
  2012-05-05
• The Fourier Series—A Primer(www.jeremykun.com)
  2012-04-25
• Kolmogorov Complexity—A Primer(www.jeremykun.com)
  2012-04-21
• Optimally Stacking the Deck—Texas Hold 'Em(www.jeremykun.com)
  2012-04-09
• Classic Nintendo Games are NP-Hard(www.jeremykun.com)
  2012-03-22
• Caching (and Memoization)(www.jeremykun.com)
  2012-03-22
• In Place Uniform Shuffle(www.jeremykun.com)
  2012-03-18
• Learning Programming — Finger-Painting and Killing Zombies(www.jeremykun.com)
  2012-03-15
• Other Complexity Classes(www.jeremykun.com)
  2012-02-29
• P vs. NP, A Primer (And a Proof Written in Racket)(www.jeremykun.com)
  2012-02-23
• Busy Beavers, and the Quest for Big Numbers(www.jeremykun.com)
  2012-02-08
• Fundamental Theorem of Algebra (With Picard's Little Theorem)(www.jeremykun.com)
  2012-02-07
• Cryptanalysis with N-Grams(www.jeremykun.com)
  2012-02-03
• The Fundamental Theorem of Algebra (with Galois Theory)(www.jeremykun.com)
  2012-02-02
• Handshake Lemma(www.jeremykun.com)
  2012-01-29
• The Fundamental Theorem of Algebra (with the Fundamental Group)(www.jeremykun.com)
  2012-01-22
• The Fundamental Theorem of Algebra (with Liouville)(www.jeremykun.com)
  2012-01-17
• Word Segmentation, or Makingsenseofthis(www.jeremykun.com)
  2012-01-15
• A Spoonful of Python (and Dynamic Programming)(www.jeremykun.com)
  2012-01-12
• Numerical Integration(www.jeremykun.com)
  2012-01-08
• Random (Psychedelic) Art(www.jeremykun.com)
  2012-01-01
• Row Reduction Over A Field(www.jeremykun.com)
  2011-12-30
• Metrics on Words(www.jeremykun.com)
  2011-12-19
• Holidays and Homicide(www.jeremykun.com)
  2011-11-25
• Tiling a Chessboard with Dominoes (Opposite Colors Removed)(www.jeremykun.com)
  2011-11-18
• Z[√2] has Infinitely Many Units(www.jeremykun.com)
  2011-11-07
• Conway's Game of Life in Conway's Game of Life(www.jeremykun.com)
  2011-11-03
• False Proof: 1 = 2 (with Calculus)(www.jeremykun.com)
  2011-10-25
• The Smallest Non-Cyclic Simple Group has Order 60(www.jeremykun.com)
  2011-10-08
• A Taste of Racket(www.jeremykun.com)
  2011-10-02
• N Choose 2 is the Sum of the First N-1 Integers(www.jeremykun.com)
  2011-10-02
• n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)(www.jeremykun.com)
  2011-09-04
• Graduate Studies(www.jeremykun.com)
  2011-08-17
• The Square Root of 2 is Irrational (Geometric Proof)(www.jeremykun.com)
  2011-08-14
• The Perceptron, and All the Things it Can't Perceive(www.jeremykun.com)
  2011-08-11
• A Dash of Python(www.jeremykun.com)
  2011-08-10
• How to be Successful at PyWeek(andrewkelley.me)
  2011-08-07
• Programming Primers—An Introduction(www.jeremykun.com)
  2011-08-06
• John Muir Trail from the Perspective of Andrew Kelley(andrewkelley.me)
  2011-08-04
• Number Theory—A Primer(www.jeremykun.com)
  2011-07-30
• Encryption & RSA(www.jeremykun.com)
  2011-07-29
• False Proof—All Numbers are Describable in at Most Twenty Words(www.jeremykun.com)
  2011-07-28
• Eigenfaces, for Facial Recognition(www.jeremykun.com)
  2011-07-27
• Inner Product Spaces—A Primer(www.jeremykun.com)
  2011-07-25
• Möbius Transformations are Isometries of a Sphere(www.jeremykun.com)
  2011-07-23
• Hunting Serial Killers(www.jeremykun.com)
  2011-07-20
• False Proof—The Reals are Countable(www.jeremykun.com)
  2011-07-19
• False Proof—All Horses are the Same Color(www.jeremykun.com)
  2011-07-16
• Graph Coloring, or Proof by Crayon(www.jeremykun.com)
  2011-07-14
• Three Circles and Collinear Centers of Dilation(www.jeremykun.com)
  2011-07-13
• Optimally Stacking the Deck—Kicsi Poker(www.jeremykun.com)
  2011-07-11
• Set Theory—A Primer(www.jeremykun.com)
  2011-07-09
• False Proof—31.5 = 32.5(www.jeremykun.com)
  2011-07-07
• False Proof—There are Finitely Many Primes(www.jeremykun.com)
  2011-07-05
• False Proof—1 = 2(www.jeremykun.com)
  2011-07-05
• Geometric Series with Geometric Proofs(www.jeremykun.com)
  2011-07-05
• Turing Machines—A Primer(www.jeremykun.com)
  2011-07-04
• Determinism and Finite Automata—A Primer(www.jeremykun.com)
  2011-07-02
• Sums of k Powers(www.jeremykun.com)
  2011-07-01
• Turing Machines and Conway's Dreams(www.jeremykun.com)
  2011-06-30
• The Wild World of Cellular Automata(www.jeremykun.com)
  2011-06-29
• Tiling a Chessboard(www.jeremykun.com)
  2011-06-26
• Teaching Mathematics—Graph Theory(www.jeremykun.com)
  2011-06-26
• Area of a Triangle(www.jeremykun.com)
  2011-06-24
• Sums of the first n numbers, squares(www.jeremykun.com)
  2011-06-24
• The Party Problem(www.jeremykun.com)
  2011-06-23
• Number of Games in a Tournament(www.jeremykun.com)
  2011-06-23
• Google's Page Rank—Why it Doesn't Work Anymore(www.jeremykun.com)
  2011-06-21
• Google's Page Rank—The Final Product(www.jeremykun.com)
  2011-06-20
• Featured Posts(www.jeremykun.com)
  2011-06-20
• Linear Algebra—A Primer(www.jeremykun.com)
  2011-06-19
• Google's PageRank—A First Attempt(www.jeremykun.com)
  2011-06-18
• Big-O Notation—A Primer(www.jeremykun.com)
  2011-06-14
• Well Orderings and Search(www.jeremykun.com)
  2011-06-14
• Prime Design(www.jeremykun.com)
  2011-06-13
• Google's PageRank—Introduction(www.jeremykun.com)
  2011-06-12
• Lemming - PyWeek #12 Game Development Journal(andrewkelley.me)
  2011-04-02
• See all