[$] Graphene OS: a security-enhanced Android build
lwn.net·2d·
Discuss: Hacker News
🔬Unikernels
Another Linux utility is being rewritten in Rust
neowin.net·23h·
Discuss: Hacker News
🔬Unikernels
$100M ARR and Lovable Is Now Agentic
lovable.dev·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Software Development at 800 Words Per Minute
neurrone.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
We built audio/video RAG
ragie.ai·4d·
Discuss: Hacker News
🍎Apple
Designing for the different stages of a system's life
exploring-better-ways.bellroy.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
How Software-Defined Storage Empowers Developers
thenewstack.io·21h
🖥️Self-hosted Infrastructure
Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad
deepmind.google·4d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
SRMambaV2: Biomimetic Attention for Sparse Point Cloud Upsampling in Autonomous Driving
arxiv.org·2d
🔬Unikernels
The value of chess pieces according to Stockfish
lichess.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Claude Code is good but limited by usage rate. Anyone knows of anything that's Goose / Aider Desk like as an alternative to Claude Code?
github.com·5d·
Discuss: r/programming
🤖Program Synthesis
I'm starting my homelab!
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
PrefPalette: Personalized Preference Modeling with Latent Attributes
arxiv.org·5d
➡️Category Theory
CAPRI-CT: Causal Analysis and Predictive Reasoning for Image Quality Optimization in Computed Tomography
arxiv.org·2d
🎮Verification Games
We're building cross-functional AI-native teams (Would love your feedback)
medium.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
SOI Matters: Analyzing Multi-Setting Training Dynamics in Pretrained Language Models via Subsets of Interest
arxiv.org·4d
➡️Category Theory
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.org·4d
🎮Verification Games
Efficient streaming of Markdown in the terminal
willmcgugan.github.io·2d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Show HN: Pipec – utility to compose complex shell pipelines
github.com·2d·
Discuss: Hacker News
🛡️seL4
I'm 22 and spent a month optimizing CUDA kernels on my 5-year-old laptop. Results: 93K ops/sec beating NVIDIA's cuBLAS by 30-40%
github.com·1d·
Discuss: r/programming
👁️System Observability