How FOSS Projects Handle Legal Takedown Requests
f-droid.org·20h·
Discuss: Hacker News
🛡️seL4
StableAudio2.5, First Audio Model Built for Enterprise Sound Production at Scale
stability.ai·1d·
Discuss: Hacker News
🔧Unikernel Development
Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol
ngerakines.leaflet.pub·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
An Introduction to XForms
xml.com·2d·
Discuss: Hacker News
⚙️PL Implementation
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·3d·
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·3d·
Discuss: Hacker News
🤖Program Synthesis
4-bit Single Board Computer Based on the Intel 4004 Microprocessor
hackaday.com·19h·
Discuss: Hacker News
🐫Embedded OCaml
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·4d·
Discuss: Substack
🤖Program Synthesis
SKYLINK: Scalable and Resilient Link Management in LEO Satellite Network
arxiv.org·1d
📡Network Protocol Design
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·2d·
Discuss: Hacker News
🔬Unikernels
How Distributed Postgres Solves Cloud’s High-Availability Problem
thenewstack.io·18h
🖥️Self-hosted Infrastructure
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·3d
🧮Lambda Calculus
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
A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
arxiv.org·3d
⚙Operational Semantics
A Robot Wrote My Research
particle.scitech.org.au·19h·
Discuss: Hacker News
✓Automated Theorem Proving
Vibe Coding: The Productivity Boom Hiding Massive Governance Risks
thenewstack.io·2d
🤖Program Synthesis