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·8h
🔲Cellular Automata
Flag this post
When did people favor composition over inheritance?
sicpers.info·9h
⚡Algebraic Effects
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·2d
λHaskell
Flag this post
The Best Smart Water-Leak Detector
nytimes.com·2h
🔬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
Epidemiology of Large Language Models: A Benchmark for Observational Distribution Knowledge
arxiv.org·16h
λHaskell
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Future Cryptanalytic Attacks
⚡Algebraic Effects
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·2d
🗺️Pathfinding Algorithms
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·16h
⚡Algebraic Effects
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·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
Loading...Loading more...