Posts
- Monte Carlo Tree Search - September 4, 2024 #ai #python
- Pi from String Theory Amplitudes - September 1, 2024 #mathematics
- A Rapid Tutorial on Unsloth - July 28, 2024 #ai #python
- Basic Formal Ontology, Or How to Describe Everything - July 21, 2024 #logic-programming #ontology
- Scattering Amplitudes in Quantum Field Theory - April 25, 2024 #physics #mathematics
- Portfolio Theory with CVXOPT - February 1, 2024 #finance #portfolio theory #cvxopt #python #mathematics
- Going Deep on DeepSpeed - February 1, 2024 #ai
- Why Democrats Should Oppose Crypto - February 1, 2024 #policy
- E-Graphs in Rust - February 1, 2024 #programming #rust
- Proving Trivial Theorems in Lean - February 1, 2024 #mathematics #lean #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
- On Word Calculators - February 1, 2024 #ai
- Using SMT Solvers to Manage JIRA Tickets - February 1, 2024 #programming #python #formal
- The Rise of Illiberalism in Silicon Valley - November 1, 2023 #policy
- Best Sci-Fi Books of the 21st Century - June 21, 2023 #science-fiction #books
- The Public Policy Case for Banning Crypto - June 1, 2022 #economics #policy
- FAISS and sentence-transformers in 5 Minutes - April 10, 2022 #ai
- The Case Against Crypto - December 31, 2021 #policy
- Gamestop, Bitcoin and the Commoditization of Populist Rage - February 3, 2021 #policy #economics
- Haskell For a New Decade - January 1, 2020
- Facebook Should Not Be Allowed To Expand into Shadow Banking - November 2, 2019 #policy
- Human Experience to Aliens - April 14, 2019 #philosophy
- 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
- Newton as a First Order Taylor Approximation of Einstein - February 1, 2016 #physics #relativity
- 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
- The BCS Theory Succinctly - February 1, 2011 #physics #superconductivity