How FOSS Projects Handle Legal Takedown Requests
f-droid.org·23h·
Discuss: Hacker News
🛡️seL4
StableAudio2.5, First Audio Model Built for Enterprise Sound Production at Scale
stability.ai·1d·
Discuss: Hacker News
🔧Unikernel Development
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧠Automated Reasoning
Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol
ngerakines.leaflet.pub·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
Beyond the surface - Exploring attacker persistence strategies in Kubernetes
raesene.github.io·5h·
Discuss: Hacker News
⎈Kubernetes
Show HN: TurboStitchGif new version 1.1 (alternative to giflib)
news.ycombinator.com·2h·
Discuss: Hacker News
🔬Static Analysis
Hnfm: Building a local-first AI podcast generator for Hacker News
briancaffey.github.io·2d·
Discuss: Hacker News
🐳Containerization
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·4d·
Discuss: r/javascript, r/programming
💎Refinement Types
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·1d·
Discuss: Substack
📦Unikernel Systems
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·4d·
Discuss: Hacker News
🤖Program Synthesis
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·22h·
Discuss: Hacker News
🐫Embedded OCaml
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·1d·
Discuss: r/programming
🤖Program Synthesis
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·4d·
Discuss: Substack
🤖Program Synthesis
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·1d·
Discuss: Hacker News, r/programming
🔤DSLs
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·2d·
Discuss: Hacker News
🔬Unikernels
SKYLINK: Scalable and Resilient Link Management in LEO Satellite Network
arxiv.org·1d
📡Network Protocol Design
How Distributed Postgres Solves Cloud’s High-Availability Problem
thenewstack.io·22h
🖥️Self-hosted Infrastructure
How OpenAI Operator Works with AI Agents
anchorbrowser.io·1d·
Discuss: Hacker News
🧠Automated Reasoning
Deliberate Abstraction
entropicthoughts.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·3d
🧮Lambda Calculus