Pivots, Paths, and Prototypes
📵Digital Minimalism
Flag this post
Voxel Grid Visibility
🧩Separation Logic
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·1d
🛡️seL4
Flag this post
⚡ Rethinking Prompt Engineering: How Agent Lightning’s APO Teaches Agents to Write Better Prompts
✓Automated Theorem Proving
Flag this post
Maxwell's Demon and the Arrow of Time
lesswrong.com·1d
🩹Self-Healing Systems
Flag this post
The Drift Principle: why systems get worse even when they're "working"
🩹Self-Healing Systems
Flag this post
Periodic Skill Discovery
arxiv.org·18h
📚Automata Learning
Flag this post
LLM-enhanced Air Quality Monitoring Interface via Model Context Protocol
arxiv.org·18h
📦OPAM
Flag this post
Unlocking AI Vision with the Wisdom of Cats: Building Generalizable Models
📚Automata Learning
Flag this post
Incorporating Quality of Life in Climate Adaptation Planning via Reinforcement Learning
arxiv.org·18h
🩹Self-Healing Systems
Flag this post
Quantifying Articulatory Coordination as a Biomarker for Schizophrenia
arxiv.org·18h
📐Linear Algebra
Flag this post
High-Resistance Systems to Change: Can a Political Strategy Apply to Personal Change?
lesswrong.com·3d
🩹Self-Healing Systems
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·3d
📚Automata Learning
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·3d
🐫OCaml
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
📊Runtime Verification
Flag this post
Regularization Through Reasoning: Systematic Improvements in Language Model Classification via Explanation-Enhanced Fine-Tuning
arxiv.org·1d
📚Automata Learning
Flag this post
Causal Graph Neural Networks for Healthcare
arxiv.org·1d
🔁Fixpoint Theory
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
💾Retro Computing
Flag this post
Loading...Loading more...