Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog·19h·
Discuss: Hacker News
🧗Climbing Tech
Intel Loses One Of Its USB4 / Thunderbolt Linux Driver Maintainers
phoronix.com·6h·
Discuss: Hacker News
🔧Unikernel Development
First Impressions of Omarchy
jordangoodman.bearblog.dev·14h·
Discuss: Hacker News
💾Retro Computing
A Short Introduction to Tor
spec.torproject.org·5d·
Discuss: Hacker News
🌐NetworkProtocols
The (Dubios) Value of Taking Notes
foolsconfession.blogspot.com·3d·
Discuss: Hacker News
🎮Verification Games
Why did the Babylonians use a base 60 number system?
galileo-unbound.blog·3d·
Discuss: Hacker News
⚡Process Calculi
Best open source project in hpc
reddit.com·1d·
Discuss: r/rust
⚙️PL Implementation
When and How to Trust the Experts
capitalgains.thediff.co·3d·
Discuss: Hacker News
🧠Automated Reasoning
Lean Windows 11 image for dev and embedded use
github.com·3h·
Discuss: Hacker News
🐳Containerization
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·3d·
Discuss: Hacker News
👁️System Observability
Don't Build an Audience
humaninvariant.com·1d·
Discuss: Hacker News
🍎Apple
An improved educational competition optimizer with multi-covariance learning operators for global optimization problems
arxiv.org·2d
🔠Type-Level Programming
A New Type of Computing
news.ycombinator.com·2d·
Discuss: Hacker News
🧩Separation Logic
How To Work With Local AI in the Zed IDE
thenewstack.io·4d
📦Unikernel Systems
APML: Adaptive Probabilistic Matching Loss for Robust 3D Point Cloud Reconstruction
arxiv.org·3d
🧩Separation Logic
Fused Lasso Improves Accuracy of Co-occurrence Network Inference in Grouped Samples
arxiv.org·2d
🧮Lambda Calculus
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·5d
🎮Verification Games
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·4d·
Discuss: Hacker News
🎮Verification Games
Evaluating and comparing gender bias across four text-to-image models
arxiv.org·3d
🏹Effect Systems