Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
👁️Observability
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
🔄Reproducible Builds
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·6d
λFunctional Programming
Flag this post
Humans and neural networks show similar patterns of transfer and interference
📚Automata Learning
Flag this post
Single-Cell Spatial Transcriptomics-Guided Morphogenetic Field Reconstruction in Early Human Embryonic Development
🔲Cellular Automata
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.com·17h
🔠Type-Level Programming
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·2d
📚Automata Learning
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·2d
🔀OCaml Multicore
Flag this post
Neural Physics: Using AI Libraries to Develop Physics-Based Solvers for Incompressible Computational Fluid Dynamics
arxiv.org·6h
🔲Cellular Automata
Flag this post
I Want to Break Free! Persuasion and Anti-Social Behavior of LLMs in Multi-Agent Settings with Social Hierarchy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔒Protocol Verification
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·13h
📵Digital Minimalism
Flag this post
Shrinking the Variance: Shrinkage Baselines for Reinforcement Learning with Verifiable Rewards
arxiv.org·6h
🎯Hindley-Milner
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·1d
↔️Bisimilarity
Flag this post
Loading...Loading more...