Handbook of Satisfiability (2021)
🔧Functional programming
Flag this post
The AI Engineer's Guide to Surviving the EU AI Act • Larysa Visengeriyeva & Barbara Lampl • GOTO 25
youtube.com·13h
🔲Cellular Automata
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·3d
λHaskell
Flag this post
I Use Typst Now
🎲Roguelike development
Flag this post
How AI Gateway runs on Fluid compute
vercel.com·13h
🗺️Pathfinding Algorithms
Flag this post
Metro Bank's process engineering turnaround - CIO Louise Leavey on saving millions with Celonis
diginomica.com·15h
🔄Effect Handlers
Flag this post
The Best Smart Water-Leak Detector
nytimes.com·7h
🔬Mineralogy
Flag this post
Brutalist Prose
lesswrong.com·1h
🎨Impasto
Flag this post
THE BACKBONE OF DATABASE REALIABILITY: EXPLORING ACID IN ACTION WITH SQL TRANSACTION A STEP-STEP-STEP GUIDE
🔄Effect Handlers
Flag this post
[TUI] Ricing the original Rogue
⚔Roguelike
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·1d
🔲Cellular Automata
Flag this post
AI Papers to Read in 2025
towardsdatascience.com·1d
🔲Cellular Automata
Flag this post
I just created go-picker: a small Go library for picking values from maps, typically parsed JSON.
🔧Functional programming
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Reasoning models don't degrade gracefully - they hit a complexity cliff and collapse entirely [Research Analysis] [R]
🔲Cellular Automata
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·21h
⚡Algebraic Effects
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·2d
λHaskell
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·1d
🔲Cellular Automata
Flag this post
Loading...Loading more...