Intel Loses One Of Its USB4 / Thunderbolt Linux Driver Maintainers
phoronix.com·14h·
Discuss: Hacker News
🔧Unikernel Development
First Impressions of Omarchy
jordangoodman.bearblog.dev·23h·
Discuss: Hacker News
💾Retro Computing
Perplexity Raises $200M at $20B Valuation in AI Search Push
vktr.com·2d·
Discuss: Hacker News
🍎Apple
Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog·1d·
Discuss: Hacker News
🧗Climbing Tech
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
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
Fused Lasso Improves Accuracy of Co-occurrence Network Inference in Grouped Samples
arxiv.org·2d
🧮Lambda Calculus
Karen Hao on the Empire of AI, AGI evangelists, and the cost of belief
techcrunch.com·8h·
Discuss: Hacker News
🔬Unikernels
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·4d·
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·4d·
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
Shape Checking for Annotated Tensor Names
github.com·4d·
Discuss: Hacker News
🐫OCaml