Copyleft-Next Building the NextGen Copyleft License
fossforce.com·23h·
Discuss: Hacker News
🔬Unikernels
A.I. Can See You in Ways You Can't See Yourself
nytimes.com·1d·
Discuss: Hacker News
🎮Verification Games
RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·3d·
Discuss: Hacker News
📡Network Protocol Design
Being a Script
raphaelbastide.com·2d·
Discuss: Hacker News
🛡️seL4
Grok 4
x.ai·1d·
Discuss: Hacker News
🎮Verification Games
Monitoring My Homelab, Simply
b.tuxes.uk·3d·
Discuss: Lobsters, Hacker News
👁️System Observability
Using Self-Hosted Large Language Models (LLMs) Securely in Government
digitaltrade.blog.gov.uk·4d·
Discuss: Hacker News
🔤DSLs
At my wits end..
i.redd.it·1d·
Discuss: r/homelab
💾Retro Computing
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
An Open-Concept 3D Printer Using Cantilever Arms
hackaday.com·9h
📦Unikernel Systems
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com·4d
💾Retro Computing
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·2d
🌐NetworkProtocols
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·2d
➡️Category Theory
Show HN: OLMDB – ACID embedded key-value store for Node.js/Bun
github.com·4d·
Discuss: Hacker News
🛡️seL4
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·2d
✓Automated Theorem Proving
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·2d
💻CS
Bujo.nvim – bullet journal accessible from anywhere
github.com·1d·
Discuss: Hacker News
📦Unikernel Systems
New method replaces nickel and cobalt in battery for cleaner, cheaper lithium-ion batteries
techxplore.com·2d·
Discuss: Hacker News
💾Retro Computing
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·4d
📦Unikernel Systems
Beyond the Linear Separability Ceiling
arxiv.org·2d
➡️Category Theory