Posts
- Enterprise Software in 2025 - January 15, 2025 #humor
- Process Reward Models - December 1, 2024 #ai #python #llms
- Introduction to Fine-tuning Large Language Models - November 25, 2024 #ai #python
- Hymba : Mamba × Transformers - November 20, 2024 #ai #ssm
- Setting up a Nvidia GH200 for Development - November 20, 2024 #cuda #ai #hardware #linux
- Dependent Types in 200 Lines of Python - November 18, 2024 #mathematics #logic #fp
- Setting up PyTorch for OCaml - November 17, 2024 #ocaml #cuda #python
- New Rank 29 Elliptic Curve - November 14, 2024 #mathematics
- Tiny GraphRAG (Part 2) - November 12, 2024 #ai #python
- Tiny GraphRAG (Part 1) - November 4, 2024 #ai #python
- The Limitations of RAG - November 2, 2024 #ai #humor
- AGI Discourse as Kayfabe - September 14, 2024 #ai
- Monte Carlo Tree Search - September 4, 2024 #ai #python
- Types of Types: Common → Exotic - September 4, 2024 #formal
- Fine-tuning with ORPO and Unsloth - September 3, 2024 #ai #python #llms
- Pi from String Theory Amplitudes - September 1, 2024 #mathematics
- Diaconescu's Theorem - August 5, 2024 #mathematics #logic
- A Rapid Tutorial on Unsloth - July 28, 2024 #ai #python
- Basic Formal Ontology - July 21, 2024 #logic-programming #ontology
- Scattering Amplitudes in Quantum Field Theory - April 25, 2024 #physics #mathematics
- Volatility Surface - March 1, 2024 #finance #python
- Silicon Valley's (totally not a cult) Ideologies - February 20, 2024 #philosophy #humor
- Slippage Modelling - February 10, 2024 #finance
- Portfolio Rebalancing - February 5, 2024 #finance #python #cvxopt
- Portfolio Theory with CVXOPT - February 1, 2024 #finance #portfolio theory #cvxopt #python #mathematics
- Going Deep on DeepSpeed - February 1, 2024 #ai
- E-Graphs in Rust - February 1, 2024 #programming #rust
- Proving Trivial Theorems in Lean - February 1, 2024 #mathematics #formal
- Using Google OR-Tools to do Answer Set Programming - February 1, 2024 #python #optimization #formal
- Cooking Logics with Soufflé - February 1, 2024 #datalog #logic-programming
- Enough Numbers to Build a Universe - February 1, 2024 #mathematics #physics
- Word Calculators are Useful, but they're not Smart - February 1, 2024 #ai
- Using SMT Solvers to Manage JIRA Tickets - February 1, 2024 #programming #python #formal
- Why I Left Twitter - October 1, 2023
- Best Sci-Fi Books of the 21st Century - June 21, 2023 #science-fiction
- Constraint Solving with MiniZinc - April 21, 2023 #logic-programming #formal
- Linking CUDA Kernels into Python - November 18, 2022
- FAISS and sentence-transformers in 5 Minutes - April 10, 2022 #ai
- Haskell For a New Decade - January 1, 2020
- Buddhism for Millennials (humour) - January 15, 2019 #philosophy #buddhism #humor
- Reflecting on Haskell in 2017 - November 23, 2017 #haskell #year-in-review
- Y-Combinator: Making Python Eat Its Tail - August 10, 2017 #python #lambda calculus
- Reflecting on Haskell in 2016 - December 23, 2016 #haskell #year-in-review
- Dive into GHC: Targeting Core - July 12, 2016
- Dive into GHC: Intermediate Forms - July 11, 2016
- Dive into GHC: Pipeline - June 21, 2016
- A Sticky Stringy Quandary - June 4, 2016
- Building a Better Custom Haskell Prelude - April 7, 2016 #haskell
- Sunsetting 'What I Wish I Knew' - March 25, 2016
- Cooking Classes with Datatype Generic Programming - March 3, 2016
- The Joy and Agony of Haskell in Production - February 16, 2016 #haskell
- From Newton to Einstein and Back - February 1, 2016 #physics #relativity #mathematics
- Vim and Haskell in 2016 - January 24, 2016
- Functional Programming, Abstraction, and Names - January 9, 2016
- Monads to Machine Code - January 4, 2016 #haskell #compilers
- Reflecting on Haskell in 2015 - December 23, 2015 #haskell #year-in-review
- Haskell Poll Results - December 21, 2014
- A Haskell Implementation Reading List - December 14, 2014
- A Vim + Haskell Workflow - October 18, 2013
- From Adjunctions to Monads - August 29, 2013 #haskell #category theory
- Haskell for Web Developers - July 18, 2013 #haskell
- Monads Made Difficult - July 7, 2013 #haskell #category theory
- Space-time Algebra in Python - April 21, 2013 #mathematics #python #geometric algebra
- The "Warp Drive" Equations - February 1, 2013 #physics #python
- Using libjit in Anger - January 1, 2013 #c #compilers
- A Haskell Reading List - August 15, 2012 #haskell #fp
- The BCS Theory Succinctly - February 1, 2011 #physics #superconductivity