How to stop Hertz's AI from charging for minor scrapes on your rental car
nypost.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
The Return of the Artisans
techleader.pro·1d·
Discuss: Hacker News
💾Retro Computing
Geany 2.1 is out (now with LSP)
geany.org·6d·
Discuss: Hacker News
🔤DSLs
A valid HTML zip bomb
ache.one·4d·
Discuss: Lobsters, Hacker News, Hacker News
🌐NetworkProtocols
Show HN: The Magic of Code – book about the wonders and weirdness of computation
themagicofcode.com·5d·
Discuss: Hacker News
🏹Effect Systems
"The Launch Party Incident" – Fictional Marketing
dentalcandy.net·2d·
Discuss: Hacker News
🍎Apple
A new way to edit or generate images
news.mit.edu·6d·
Discuss: Hacker News, Hacker News
🤖Program Synthesis
Experience Other Planets with the Gravity Simulator
hackaday.com·31m
🧗Climbing Tech
Building a Color Teaching Toy For Tots
hackaday.com·2d
🎮Verification Games
🧠 I built a centralized memory system for Cursor agents using Supabase + OpenAI
reddit.com·4d·
Discuss: r/programming
📦Unikernel Systems
Multimodal Fusion via Hypergraph Autoencoder and Contrastive Learning for Emotion Recognition in Conversation
arxiv.org·3d
🐫OCaml
Vortex: A Prompting Protocol to Test for a 'Self' in LLMs
habr.com·2d·
Discuss: Hacker News
🔬Unikernels
Show HN: Pipec – utility to compose complex shell pipelines
github.com·3d·
Discuss: Hacker News
🛡️seL4
Local Dev Environment Is a Product. Treat It Like One
medium.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.org·5d
🔍Formal Verification
Students' Feedback Requests and Interactions with the SCRIPT Chatbot: Do They Get What They Ask For?
arxiv.org·4d
✓Automated Theorem Proving
ICML Statement about subversive hidden LLM prompts
icml.cc·4d·
Discuss: Hacker News
🛡️seL4
Mind the Gap: A Review of Arabic Post-Training Datasets and Their Limitations
arxiv.org·6d
🐫OCaml
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.org·6d
🎮Verification Games
MEKiT: Multi-source Heterogeneous Knowledge Injection Method via Instruction Tuning for Emotion-Cause Pair Extraction
arxiv.org·6d
🔠Type-Level Programming