Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog·9h·
Discuss: Hacker News
🧗Climbing Tech
First Impressions of Omarchy
jordangoodman.bearblog.dev·5h·
Discuss: Hacker News
💾Retro Computing
Perplexity Raises $200M at $20B Valuation in AI Search Push
vktr.com·1d·
Discuss: Hacker News
🍎Apple
A Short Introduction to Tor
spec.torproject.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
The (Dubios) Value of Taking Notes
foolsconfession.blogspot.com·2d·
Discuss: Hacker News
🎮Verification Games
Why did the Babylonians use a base 60 number system?
galileo-unbound.blog·2d·
Discuss: Hacker News
⚡Process Calculi
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·3d·
Discuss: Hacker News
🐫OCaml
Cutting-Edge AI vs. Solid Architecture: Which Will Transform Your Business?
blog.mangoteque.com·2d·
Discuss: Hacker News
👁️System Observability
When and How to Trust the Experts
capitalgains.thediff.co·2d·
Discuss: Hacker News
🧠Automated Reasoning
An improved educational competition optimizer with multi-covariance learning operators for global optimization problems
arxiv.org·2d
🔠Type-Level Programming
How To Work With Local AI in the Zed IDE
thenewstack.io·3d
📦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
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·3d·
Discuss: Hacker News
🎮Verification Games
Evaluating and comparing gender bias across four text-to-image models
arxiv.org·3d
🏹Effect Systems
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·3d·
Discuss: Hacker News
🧩Parser Combinators
Using AI to Optimize Patient Transfer and Resource Utilization During Mass-Casualty Incidents: A Simulation Platform
arxiv.org·3d
🩹Self-Healing Systems