Frozen in Place
🧩Parser Combinators
Flag this post
Announcing the Lean TDD book
pythontest.com·2d
🔄Reproducible Builds
Flag this post
It Doesn’t Need to Be a Chatbot
towardsdatascience.com·16h
📚Automata Learning
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·12h
🎯Hindley-Milner
Flag this post
SpatialTraceGen: High-Fidelity Traces for Efficient VLM Spatial Reasoning Distillation
arxiv.org·12h
🧩Separation Logic
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·12h
📚Automata Learning
Flag this post
Every Sunday, I Refactor Old Code and It’s the Smartest Habit I’ve Ever Built
🔄Reproducible Builds
Flag this post
Solving a problem with mindware
lesswrong.com·1d
🔲Cellular Automata
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·12h
🔲Cellular Automata
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·1d
🔍CBMC
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
🧠Automated Reasoning
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·12h
🧠Automated Reasoning
Flag this post
AI's Dial-Up Era
🔲Cellular Automata
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·12h
📦Opam
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·12h
🔲Cellular Automata
Flag this post
Loading...Loading more...