Launching OpenCommunity Software License (OCSL) Version 1.0
madalin.me·7h·
Discuss: Hacker News
📦Unikernel Systems
The First Microsoft Product
dfarq.homeip.net·19h·
Discuss: Hacker News
💾Retro Computing
Zig Interface Revisited
williamw520.github.io·6d·
Discuss: Hacker News
🐫Embedded OCaml
The borrowchecker is what I like the least about Rust
viralinstruction.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🧪Property-Based Testing
Show HN: I just published my practical guide to building a database server
leanpub.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Who Is LLM?
martinfowler.com·21h·
Discuss: Hacker News
🛡️seL4
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.org·4d·
Discuss: Hacker News
👁️System Observability
Some notes on project management
andrewpwheeler.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
2025 One-Hertz Challenge: Pokémon Alarm Clock Tells You It’s Time to Build the Very Best
hackaday.com·12h
💾Retro Computing
AI Market Clarity
blog.eladgil.com·13h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Yet Another Bad Analysis of AI
recursed.blogspot.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Mind the Gap: A Review of Arabic Post-Training Datasets and Their Limitations
arxiv.org·1d
🐫OCaml
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
arxiv.org·1d
✓Automated Theorem Proving
LLM-Enhanced Multi-Agent Reinforcement Learning with Expert Workflow for Real-Time P2P Energy Trading
arxiv.org·1d
🖥️Self-hosted Infrastructure
🔬🧪 AI Alchemy — Symbolic Programming via Recursive Prompting
reddit.com·4d·
Discuss: r/programming
🎮Verification Games
CaSTFormer: Causal Spatio-Temporal Transformer for Driving Intention Prediction
arxiv.org·2d
🔄Finite State Machines
Heatwave-driven air conditioning adoption could increase German electricity demand by 14 GW in the near future
arxiv.org·2d
🖥️Self-hosted Infrastructure
Using AI in the Development of Stdlib
blog.stdlib.io·5d·
Discuss: Hacker News
👁️System Observability
Diffusion-based translation between unpaired spontaneous premature neonatal EEG and fetal MEG
arxiv.org·1d
🐫OCaml