Silicon-based reconfigurable and programmable all-optical signal processing chip
link.springer.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Netflix Tudum Architecture: from CQRS with Kafka to CQRS with RAW Hollow
netflixtechblog.com·2d·
Discuss: Hacker News
🔬Unikernels
Hill Space: Neural nets that do perfect arithmetic (to 10⁻¹⁶ precision)
hillspace.justindujardin.com·10h·
Discuss: Hacker News
💻CS
$BTC Bitcoin White Paper Annotated
bitcoinpaper.tech·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The largest Git repo on the planet
devblogs.microsoft.com·11h·
Discuss: Hacker News
🔄Reproducible Builds
Decentralized Protocols Are Soft Targets for North Korean Hackers
coindesk.com·6d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Programming Extensible Data Types in Rust with CGP - Part 1: Modular App Construction and Extensible Builders
contextgeneric.dev·5d·
Discuss: Lobsters, Hacker News, r/programming
🐫OCaml
Plasma proteomics links brain and immune system aging with healthspan
nature.com·51m·
Discuss: Hacker News
➡️Category Theory
(Quite) a few words about async
yoric.github.io·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔬Static Analysis
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·2d·
Discuss: Substack
🐫Embedded OCaml
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·4d
✓Automated Theorem Proving
Why can't anything in open source work following the instructions.
reddit.com·2d·
Discuss: r/homelab
📦Unikernel Systems
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·3d
✓Automated Theorem Proving
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·2d
✓Automated Theorem Proving
Btrfs Allocator Hints
lwn.net·4d·
Discuss: Hacker News, r/programming
❄️Nix
Why LLM Authorization is Hard
osohq.com·4d·
Discuss: Hacker News
🛡️seL4
(Attempting to) Engineer the chaos out of AI agents
trunk.io·3d·
Discuss: Hacker News
🧪Property-Based Testing
Updated Goose Roadmap · grant program, dedicated team funding
github.com·2d·
Discuss: Hacker News
🍎XNU Internals
I Detect ChatGPT Code in Pull Requests (and Why It's Harder Than You Think)
medium.com·4d·
Discuss: Hacker News
🧪Property-Based Testing
EN-ANALYSER – Open-source AI tool for network threat detection and analysis
github.com·6d·
Discuss: Hacker News
👁️System Observability