Common Expression Language – Fast, safe expression language
cel.dev·7h·
Discuss: Hacker News
⚙️PL Implementation
I made an easy job queue with Postgresql and need feedback
dataqueue.dev·3h·
Discuss: Hacker News, r/node
🔬Static Analysis
That Coldplay 'Kiss Cam' Couple Just Became a Vibe-Coded Videogame - and Then an NFT
games.slashdot.org·2d·
Discuss: Hacker News
🍎Apple
Emacs send-to (a.k.a. macOS sharing) merged upstream
xenodium.com·2d·
Discuss: Hacker News
🍎XNU Internals
H-Nets – The Future
goombalab.github.io·4d·
Discuss: Hacker News
🏹Effect Systems
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·4d·
Discuss: Hacker News
❄️Nixified Development
Graham's Number
en.wikipedia.org·3d·
Discuss: Hacker News
➡️Category Theory
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·5d·
Discuss: Hacker News
🐫OCaml
Show HN: A word of the day that doesn't suck
news.ycombinator.com·2h·
Discuss: Hacker News
🍎Apple
RoCoF Constrained Regional Inertia Security Region: Formulation and Application
arxiv.org·9h
📡Network Protocol Design
Open Source Is Too Important To Dilute
thenewstack.io·4d
🔬Unikernels
ByteDance AI Empire: Inside the $12B Race Beyond the "For You" Page
algogist.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ask HN: What's the worst part of web E2E testing?
news.ycombinator.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: UView – A Tool to View and Modify Unity Packages Outside Unity
github.com·2d·
Discuss: Hacker News
📦Unikernel Systems
On Logical Extrapolation for Mazes with Recurrent and Implicit Networks
arxiv.org·1d
🎮Verification Games
From Disagreement to Understanding: The Case for Ambiguity Detection in NLI
arxiv.org·9h
✓Automated Theorem Proving
Can We Move Freely in NEOM's The Line? An Agent-Based Simulation of Human Mobility in a Futuristic Smart City
arxiv.org·9h
🖥️Self-hosted Infrastructure
Artificial Intelligence for Green Hydrogen Yield Prediction and Site Suitability using SHAP-Based Composite Index: Focus on Oman
arxiv.org·9h
✓Automated Theorem Proving
Graph Convolutional Neural Networks to Model the Brain for Insomnia
arxiv.org·9h
🏹Effect Systems
First time NAS build
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab