Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
A Short Introduction to Tor
spec.torproject.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·1d·
Discuss: Hacker News
🐫OCaml
When and How to Trust the Experts
capitalgains.thediff.co·11h·
Discuss: Hacker News
🧠Automated Reasoning
Shape Checking for Annotated Tensor Names
github.com·1d·
Discuss: Hacker News
🐫OCaml
FreeCAD Foray: Good Practices
hackaday.com·13h
🔬Unikernels
Using Linters to Direct Agents
factory.ai·2d·
Discuss: Hacker News
🔄Reproducible Builds
Agents of Discovery
arxiv.org·23h
🧩Parser Combinators
Mitigating Spurious Correlations Between Question and Answer via Chain-of-Thought Correctness Perception Distillation
arxiv.org·2d
🧩Parser Combinators
Tensor Forms of Derivatives of Matrices and their applications in the Solutions to Differential Equations
arxiv.org·23h
🐫OCaml
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·6d·
Discuss: Hacker News
🧠Automated Reasoning
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·2d
🩹Self-Healing Systems
MasconCube: Fast and Accurate Gravity Modeling with an Explicit Representation
arxiv.org·23h
🐫OCaml
The Four Fallacies of Modern AI
blog.apiad.net·1d·
Discuss: Hacker News
🧠Automated Reasoning
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·3d·
Discuss: Hacker News
🐳Containerization
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·2d
🤖Program Synthesis
🚀 Looking for Feedback on ClearWork: Real-World Process Mapping, Future-State Design & Agentic Workflows
clearwork.io·1d·
Discuss: DEV, Hacker News
👁️System Observability
Characterizing Fitness Landscape Structures in Prompt Engineering
arxiv.org·2d
🤖Program Synthesis
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·23h
📚Automata Learning