You can't cURL a Border
🛡️seL4
Flag this post
Pencils, Not Stencils: A Better Way to Prune Git Branches: fzf and a Tiny Loop
💻CLI Tools
Flag this post
What if you don't need MCP at all?
💻CLI Tools
Flag this post
Experts find flaws in hundreds of tests that check AI safety and effectiveness
⏱️Computational Complexity
Flag this post
AI Models Write Code with Security Flaws 18–50% of the Time, New Study Finds
🏃Escape Analysis
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·19h
🎯Hindley-Milner
Flag this post
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
💾Retro Computing
Flag this post
I Use AI
🔤Language Design
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·19h
📚Automata Learning
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·19h
🧠Automated Reasoning
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·19h
⚙️Compiler Design
Flag this post
AI for pRedicting Exacerbations in KIDs with aSthma (AIRE-KIDS)
arxiv.org·19h
🧠Automated Reasoning
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·19h
🧩Parser Combinators
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·19h
🧩Parser Combinators
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·19h
📚Automata Learning
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·19h
📚Automata Learning
Flag this post
Loading...Loading more...