RFC 9309 – Robots Exclusion Protocol
datatracker.ietf.org·1d·
Discuss: Hacker News
📡Network Protocol Design
Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·2d·
Discuss: Hacker News
📦Unikernel Systems
Being a Script
raphaelbastide.com·1d·
Discuss: Hacker News
🛡️seL4
So, I decided to write a BUFR decoder
stormscale.io·4d·
Discuss: Hacker News
🐫OCaml
Monitoring My Homelab, Simply
b.tuxes.uk·1d·
Discuss: Lobsters, Hacker News
👁️System Observability
(Quite) a few words about async
yoric.github.io·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
LLMs are telepathy. We just don't know it yet
monarchwadia.com·1d·
Discuss: Hacker News
🛡️seL4
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·2d
🐫OCaml
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·1d
🐫OCaml
Personal Reflections on Immutable Linux
hackaday.com·1d·
Discuss: Hacker News
🔬Unikernels
Programming Like It’s 1986, For Fun and Zero Profit
hackaday.com·3d
💾Retro Computing
This Week in Security: Bitchat, CitrixBleed Part 2, Opossum, and TSAs
hackaday.com·20h
🌐NetworkProtocols
A 2-categorical approach to the semantics of dependent type theory with computation axioms
arxiv.org·1d
➡️Category Theory
Show HN: OLMDB – ACID embedded key-value store for Node.js/Bun
github.com·3d·
Discuss: Hacker News
🛡️seL4
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·1d
✓Automated Theorem Proving
Object Oriented Programming is an expensive disaster which must end
medium.com·3d·
Discuss: Hacker News
🔬Static Analysis
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·1d
💻CS
Bujo.nvim – bullet journal accessible from anywhere
github.com·15h·
Discuss: Hacker News
📦Unikernel Systems
Evaluation of OpenAI o1: Opportunities and Challenges of AGI
arxiv.org·3d
📦Unikernel Systems