Vibe Coding in BASIC
goto10retro.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: I rebuilt few years old project and now it covers my expenses
hextaui.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🐫Embedded OCaml
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🛡️seL4
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·18h
🎮Verification Games
The Decision-Making Framework Every Engineering Team Needs
leadthroughmistakes.substack.com·3d·
Discuss: Substack
👁️System Observability
So You Think You've Awoken ChatGPT
justismills.substack.com·8h·
Discuss: Substack
✓Automated Theorem Proving
Most comprehensive review of AI coding agents for Kotlin/Android tasks
jasonpearson.dev·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Integrating Generative AI in BIM Education: Insights from Classroom Implementation
arxiv.org·2d
🔄Reproducible Builds
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🤖Program Synthesis
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Curriculum Negative Mining For Temporal Networks
arxiv.org·18h
➡️Category Theory
Breaking down the Zero-Click AI Vulnerability Enabling Data Ex-filtration Through Calendar Invites in Eleven-labs Voice Assistants
repello.ai·17h·
Discuss: Hacker News, Hacker News, r/programming
✓Automated Theorem Proving
Beyond the Dataset – Deep tech data science
aneeshsathe.com·16h·
Discuss: Hacker News
👁️System Observability
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·18h
🔍Formal Verification
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·18h
✓Automated Theorem Proving
Being a psychologist to your (over)thinking LLM
specy.app·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Thermodynamic Prediction Enabled by Automatic Dataset Building and Machine Learning
arxiv.org·18h
✓Automated Theorem Proving
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·2d
🎮Verification Games
The Next Wave
dumindu.github.io·1d·
Discuss: Hacker News, r/programming
🤖Program Synthesis