Theo Johnson-Freyd
categorified.net·4d
🕸️Algebraic Topology
Innovative Recommendation Applications Using Two Tower Embeddings at Uber
uber.com·3h·
Discuss: Hacker News
🎛️Feed Filtering
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
Optimal Stopping in Latent Diffusion Models
arxiv.org·1d
🧠Machine Learning
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·21h·
Discuss: Hacker News
🦀Rust Macros
Memgoose – An In-Memory Mongoose Impersonator
github.com·10h·
Discuss: Hacker News
🔄Sync Engine
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·1h·
Discuss: r/golang
💧Liquidhaskell
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
Code Green: How Big Data and AI are Engineering a Sustainable Planet
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Randomized and quantum approximate matrix multiplication
arxiv.org·1d
🔐Quantum Cryptography
The Porcelain to Come
stackdiver.com·20h·
Discuss: Hacker News
🔲Cellular Automata
🐼 Pandas DataFrame Selection, Filtering & Cleaning — Hands-on Practice.
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·21h·
Discuss: Hacker News
🎯Performance Proofs
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·20h·
Discuss: Hacker News
⬌Bidirectional Typing
Intertemporal Pricing of Time-Bound Stablecoins: Measuring and Controlling the Liquidity-of-Time Premium
arxiv.org·3d
🌊Streaming Systems
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·1h·
Discuss: Hacker News
🔗Constraint Handling
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·1d
🕸️Tensor Networks
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG