Computational understanding of Li-ion batteries (2016)
nature.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Haiku Activity & Contract Report, June 2025
haiku-os.org·1d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
Zero JDK: Reproducible builds by default
zero-jdk.dev·22h·
Discuss: Hacker News, r/programming
❄️Nixified Development
Show HN: A modern alternative to traditional fantasy name generators
nomenus.io·1d·
Discuss: Hacker News
✓Automated Theorem Proving
A Budget Quasi-Direct-Drive Motor Inpired By MIT’s Mini Cheetah
hackaday.com·8h
🐫Embedded OCaml
Give context, not bias (to LLMs)
specy.app·12h·
Discuss: Hacker News
🎮Verification Games
Methodological Flaws Undermining Recent AI 'Scheming' Claims
aipanic.news·1h·
Discuss: Hacker News
🎮Verification Games
A http parser single-header library written in C89 which is 50 lines total.
github.com·1d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
This Homebrew CPU Got Its Start in the 1990s
hackaday.com·3d
💾Retro Computing
Single-to-mix Modality Alignment with Multimodal Large Language Model for Document Image Machine Translation
arxiv.org·3d
🐫Embedded OCaml
Lambda calculus cooked N ways: Benchmarks for capture-avoiding substitution
github.com·6d·
Discuss: Hacker News
🛡️seL4
Context Forge – A CLI-first tool for managing Claude context and AI workflows
github.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Warp Goes Agentic: A Developer Walk-Through of Warp 2.0
thenewstack.io·2d
🛡️seL4
Daily Grind July 14: Google Poaches Windsurf Leaders, Impact on Startups
damngrav.substack.com·4h·
Discuss: Substack
🔬Unikernels
The Color Doesn't Matter
tristanpemble.com·18h·
Discuss: Hacker News
🏹Effect Systems
LittleHorse Kernel: A Platform for Distributed Event-Driven Applications
github.com·43m·
Discuss: Hacker News
🧱Immutable Infrastructure
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·15h
🔠Type-Level Programming
Generating Proto-Personas through Prompt Engineering: A Case Study on Efficiency, Effectiveness and Empathy
arxiv.org·15h
🔄Reproducible Builds
A Mental Model for C++ Coroutine
uvdn7.github.io·3d·
Discuss: Hacker News
🏹Effect Systems
Data-Star.dev – v1 and Beyond
data-star.dev·4d·
Discuss: Hacker News
🧱Immutable Infrastructure