Dependently typed Clojure DSL with a Lean4 compatible kernel Open Source News Development Q: 8 R: 9 Jun 27, 2026 Summary
The best response to AI slop, infinite advice, and online noise is from Robin Williams AI Tools LLM & Prompting Q: 8 R: 9 Jun 28, 2026 Summary
Show HN: Decomp Academy – Learn to decompile GameCube games into matching C Open Source Open Source News Q: 8 R: 9 Jun 28, 2026 Summary
There Are No Instances in atproto Internet Standards Web Protocols Open Source Q: 8 R: 9 Jun 27, 2026 Summary
Regular expressions that work “everywhere” Development DevOps Open Source Q: 8 R: 9 Jun 25, 2026 Summary
Enhancing X11 Application Security with LXC Containers & Docker Security Q: 8 R: 9 Jun 27, 2026 Summary
How do you keep Web MIDI from crashing a 1983 synthesizer? Hardware API & Webhooks Q: 6 R: 9 Jun 24, 2026 Summary
Careless People author claims Meta surveilled her for a year to enforce silence Data Privacy Compliance Q: 8 R: 9 Jun 27, 2026 Summary
The feature in OxCaml that more languages should steal Development Open Source Q: 8 R: 9 Jun 27, 2026 Summary
pomerium: Pomerium is an identity and context-aware access proxy Zero Trust Identity & Access VPN & Remote Access Q: 8 R: 9 Jun 27, 2026 Summary
Show HN: Adrafinil – keep a lid-closed Mac awake only while agents work Automation AI Tools Self-hosted Q: 8 R: 9 Jun 27, 2026 Summary
Arrest Him! The Moment Police Handcuffed A Farmer For Going 5 Seconds Over His Time Limit at Data Center Meeting Tech Industry News IT Management Q: 8 R: 9 Jun 27, 2026 Summary
The eerie interface of man and machine (Life Magazine, October 1967) Machine Learning AI Research Q: 8 R: 9 Jun 24, 2026 Summary
How I'm Running a Software Jam in a World of Slop Automation AI Tools LLM & Prompting Q: 8 R: 9 Jun 27, 2026 Summary
Prism: An Impure Functional Language With Typed Effects Open Source Development Q: 9 R: 9 Jun 27, 2026 Summary
IP Crawl: living atlas of open webcams discovered on the public internet IoT & Embedded Security Q: 8 R: 9 Jun 27, 2026 Summary