Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·12h·
Discuss: r/programming
🤖Program Synthesis
Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·11h·
Discuss: Hacker News
💾Retro Computing
When more threads make things worse
ordep.dev·6h·
Discuss: r/programming
⚙️Operating System Design
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·9h·
Discuss: Hacker News
🍎Apple
Prompt Snapshot Testing
ninkovic.dev·2d·
Discuss: Hacker News
🧪Property-Based Testing
On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts
arxiv.org·2d
🧩Parser Combinators
Information-Theoretic Bounds and Task-Centric Learning Complexity for Real-World Dynamic Nonlinear Systems
arxiv.org·2d
🔄Finite State Machines
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·1d·
Discuss: Hacker News
🤖Program Synthesis
The bloat of edge-case first libraries
43081j.com·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Richard Feynman and the Connection Machine
longnow.org·8h·
Discuss: Hacker News
🔄Finite State Machines
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
How To Work With Local AI in the Zed IDE
thenewstack.io·15h
📦Unikernel Systems
My review of Claude's new Code Interpreter, released under a very confusing name
simonwillison.net·1d·
Discuss: Hacker News, Hacker News
🐳Containerization
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·2d
🤖Program Synthesis
Just Enough Automation
bevel.work·18h·
Discuss: Hacker News
🤖Program Synthesis
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Teaching AI Stepwise Diagnostic Reasoning with Report-Guided Chain-of-Thought Learning
arxiv.org·2d
📚Automata Learning
You're a Slow Thinker. Now What?
chillphysicsenjoyer.substack.com·9h·
Discuss: Substack
🧠Automated Reasoning
Eat Your Vegetables Before AI Dessert
writings.alethia.news·1d·
Discuss: Hacker News
🩹Self-Healing Systems