Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·22h·
Discuss: r/programming
🤖Program Synthesis
Show HN: Mathpad, a hardware keypad for typing math symbols (24 hours left)
crowdsupply.com·21h·
Discuss: Hacker News
💾Retro Computing
When more threads make things worse
ordep.dev·16h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Show HN: SigNull – a to-do app that separates Signal from Noise
signull.app·19h·
Discuss: Hacker News
🍎Apple
The 100MHz 6502
e-basteln.de·2h·
Discuss: Hacker News
💾Retro Computing
The functional form of value normalization in human reinforcement learning
elifesciences.org·6h·
Discuss: Hacker News
📚Automata Learning
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·2d
🤖Program Synthesis
The bloat of edge-case first libraries
43081j.com·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Teaching AI Stepwise Diagnostic Reasoning with Report-Guided Chain-of-Thought Learning
arxiv.org·2d
📚Automata Learning
Business Insider Pulls 40+ Essays After Getting Conned By AI-Using Scammers
techdirt.com·5h·
Discuss: Hacker News
🍎Apple
Just Enough Automation
bevel.work·1d·
Discuss: Hacker News
🤖Program Synthesis
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·2h·
Discuss: Hacker News
➡️Category Theory
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🐫Embedded OCaml
Show HN: SARE, a Hybrid Quantum-Safe Encryption System Implemented in Rust
github.com·4h·
Discuss: Hacker News
📦Unikernel Systems
Eat Your Vegetables Before AI Dessert
writings.alethia.news·2d·
Discuss: Hacker News
🩹Self-Healing Systems
Rich Answered That
gist.github.com·2d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
False Confidence
theaiunderwriter.substack.com·2d·
Discuss: Substack
📚Automata Learning
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities
arxiv.org·2d
🩹Self-Healing Systems
When and How to Trust the Experts
capitalgains.thediff.co·1h·
Discuss: Hacker News
🧠Automated Reasoning
Billion-Line Days Demand Billion-Test Nights
momentic.ai·2d·
Discuss: Hacker News
🤖Program Synthesis