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·10h
🔲Cellular Automata
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·2d
λHaskell
Flag this post
Metro Bank's process engineering turnaround - CIO Louise Leavey on saving millions with Celonis
diginomica.com·12h
🔲Cellular Automata
Flag this post
The Best Smart Water-Leak Detector
nytimes.com·4h
🔬Mineralogy
Flag this post
Roadmap for Improving the Type Checker
λHaskell
Flag this post
Intentionality
lesswrong.com·1d
🎨Procreate
Flag this post
THE BACKBONE OF DATABASE REALIABILITY: EXPLORING ACID IN ACTION WITH SQL TRANSACTION A STEP-STEP-STEP GUIDE
⚡Algebraic Effects
Flag this post
Distributed Media Inferencing with Kafka
🌳BSP Trees
Flag this post
[TUI] Ricing the original Rogue
⚔Roguelike
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·18h
⚡Algebraic Effects
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·18h
⚡Algebraic Effects
Flag this post
Loading...Loading more...