Kuji-Kiri
ninja.fandom.com·15h·
Discuss: Hacker News
➡️Category Theory
HPE pre-Gen10 server BIOS updates appear to no longer require support entitlement
support.hpe.com·3d·
Discuss: r/homelab
📦Unikernel Systems
Lichess Accuracy Metric
lichess.org·1d·
Discuss: Hacker News
🎮Verification Games
GNOME Calendar: A New Era of Accessibility Achieved in 90 Days
tesk.page·2d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
GPD Win 5 handheld gaming PC is powered by Ryzen AI Max+ 395 with Radeon 8060S graphics
liliputing.com·2d·
Discuss: Hacker News
💾Retro Computing
FARM Stack Guide: How to Build Full-Stack Apps with FastAPI, React & MongoDB
datacamp.com·3d·
Discuss: r/programming, r/reactjs
⎈Kubernetes
An Engineer's Guide to AI Code Model Evals
addyosmani.com·2d·
Discuss: r/programming, r/webdev
🤖Program Synthesis
Software Development at 800 Words Per Minute
neurrone.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
🔬Static Analysis
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Environment protection rules for rocket launches targeted by Trump cabinet
arstechnica.com·12h·
Discuss: Hacker News
⎈Kubernetes
Introducing voyage-context-3: focused chunk-level details with global document context
blog.voyageai.com·3d·
Discuss: Hacker News
🔠Type-Level Programming
Toward Sustainable Vertical Farming: Impacts of Environmental Factors and Energy Mix on Performance and Costs
arxiv.org·2d
🧗Climbing Tech
Developing our position on AI
recurse.com·4d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Show HN: Inflammation – Intelligent Voice to Code for Cursor and VSCode
github.com·2d·
Discuss: Hacker News
❄️Nix
BrisT1D Dataset: Young Adults with Type 1 Diabetes in the UK using Smartwatches
arxiv.org·2d
🔠Type-Level Programming
Please, FOSS world, we need something like ChromeOS
theregister.com·5d·
Discuss: Hacker News
🔬Unikernels
Been running Nextcloud for a year, but Seafile is looking tempting. Thoughts?
reddit.com·3d·
Discuss: r/homelab
⎈Kubernetes
PICACO: Pluralistic In-Context Value Alignment of LLMs via Total Correlation Optimization
arxiv.org·4d
🔠Type-Level Programming
PF3plat: Pose-Free Feed-Forward 3D Gaussian Splatting
arxiv.org·2d
🐫OCaml