Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog·1d·
Discuss: Hacker News
🧗Climbing Tech
Intel Loses One Of Its USB4 / Thunderbolt Linux Driver Maintainers
phoronix.com·12h·
Discuss: Hacker News
🔧Unikernel Development
First Impressions of Omarchy
jordangoodman.bearblog.dev·20h·
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
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·4d·
Discuss: Hacker News
🐫OCaml
Lean Windows 11 image for dev and embedded use
github.com·8h·
Discuss: Hacker News
🐳Containerization
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·3d·
Discuss: Hacker News
👁️System Observability
When and How to Trust the Experts
capitalgains.thediff.co·3d·
Discuss: Hacker News
🧠Automated Reasoning
Explainability of CNN Based Classification Models for Acoustic Signal
arxiv.org·3d
📚Automata Learning
ProtSAE: Disentangling and Interpreting Protein Language Models via Semantically-Guided Sparse Autoencoders
arxiv.org·5d
📚Automata Learning
How To Work With Local AI in the Zed IDE
thenewstack.io·4d
📦Unikernel Systems
Karen Hao on the Empire of AI, AGI evangelists, and the cost of belief
techcrunch.com·5h·
Discuss: Hacker News
🔬Unikernels
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
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·4d·
Discuss: Hacker News
🎮Verification Games
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