Claude Code sucks but is still useful: experiences maintaining Julia’s SciML scientific computing infrastructure
stochasticlifestyle.com·5h
📏Code Metrics
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·7h
🔧Hardware Verification
Full code to build your own AI agent with Python
thenewaiorder.substack.com·2h·
Discuss: Substack
🤖Archive Automation
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·7h
📋Document Grammar
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·7h
🧮Kolmogorov Complexity
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·1d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Misunderstood and Misaligned
bozhao.substack.com·5h·
Discuss: Substack
🔗Constraint Handling
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
arxiv.org·3d
🧠Computational Logic
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·7h
🔍Concolic Testing
Taskwarrior CLI – Workflow Examples
taskwarrior.org·1d·
Discuss: Hacker News
Proof Automation
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·7h
🔍Information Retrieval
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·16h·
Discuss: Hacker News
🧮Algebraic Datatypes
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·7h
📋Document Grammar
Adventures on the AI Coding side of things
medium.com·3h·
Discuss: Hacker News
🌍Cultural Algorithms
Automatic Building Code Review: A Case Study
arxiv.org·7h
📏Code Metrics
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·1d·
Discuss: Hacker News
🎯Interactive Provers
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·1h·
Discuss: Hacker News
🧮Theoretical Computer Science
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
🧮Z3 Solver
Higher-Level Design Patterns
qouteall.fun·2d·
Discuss: Hacker News
Algebraic Effects