Frozen in Place
🧩Parser Combinators
Flag this post
Announcing the Lean TDD book
pythontest.com·2d
🔄Reproducible Builds
Flag this post
Scala vs. F#
λFunctional Programming
Flag this post
Vibecoding my way to a crit on GitHub
🔧DevOps
Flag this post
Every Sunday, I Refactor Old Code and It’s the Smartest Habit I’ve Ever Built
🔄Reproducible Builds
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
🧠Automated Reasoning
Flag this post
CueBench: Advancing Unified Understanding of Context-Aware Video Anomalies in Real-World
arxiv.org·9h
🔲Cellular Automata
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·1d
🔍CBMC
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·1d
👁️System Observability
Flag this post
Schaltwerk – The IDE Without Editor
💻CLI Tools
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·9h
🧠Automated Reasoning
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·9h
📦Opam
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·9h
🔲Cellular Automata
Flag this post
Chain of Pattern: Rethink
🔤Language Design
Flag this post
Loading...Loading more...