Teen develops IoT-based tree health monitoring system 'Trevive'
thestatesman.com·1d·
Discuss: Hacker News
🧗Climbing Tech
Bright idea paves way for longer-lasting deep blue LEDs
cosmosmagazine.com·13h·
Discuss: Hacker News
💾Retro Computing
No. The C++ mascot is not a diseased rat named Keith
lunduke.locals.com·16h·
Discuss: Hacker News
🎮Verification Games
Cursor for Product Managers
ephor.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·5d·
Discuss: Hacker News
👁️System Observability
We tried running AI in browsers and low-end phones. Here's what actually worked
blog.extrieve.com·4d·
Discuss: r/programming
🔬Unikernels
Building a Low-Powered NAS
ryan.freumh.org·3d·
Discuss: Hacker News
🏠HomeLab
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com·5d·
Discuss: Hacker News
🔬Unikernels
Connecting legibility to theory building in programming
ashwinsundar.com·6d·
Discuss: Hacker News
🔬Static Analysis
How AI Can Degrade Human Performance in High-Stakes Settings
ai-frontiers.org·2d·
Discuss: Hacker News
👁️System Observability
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·5d·
Discuss: Hacker News
🛡️seL4
IoRing_Demos
github.com·2d·
Discuss: Hacker News
⚙️Operating System Design
I've been fighting with burnout for 18 years
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Can't keep up with the latest in AI? Listen to any blog on your phone for free
github.com·14h·
Discuss: Hacker News
🍎Apple
Cross-modal Causal Intervention for Alzheimer's Disease Prediction
arxiv.org·14h
🏹Effect Systems
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·3d
➡️Category Theory
CortexFlow/CortexBrain: Open Source eBPF-based Container Networking Infrastructure and Monitoring Platform for cloud and edge devices built in Rust
reddit.com·5d·
Discuss: r/programming
⚙️Operating System Design
AWS slaps usage caps on Kiro as AI editor preview proves too popular for its own good
theregister.com·3h·
Discuss: Hacker News
⎈Kubernetes
Multiplicative Modular Nim (MuM)
arxiv.org·6d
🐫OCaml
WebAssembly binding for llama.cpp – Enabling on-browser LLM inference
github.com·6d·
Discuss: Hacker News
🐫OCaml