Rush to get the new Covid booster [it might be withdrawn on September 18]
someweekendreading.blog·16h·
Discuss: Hacker News
🧗Climbing Tech
Git’s hidden simplicity: what’s behind every commit
allvpv.substack.com·23h·
Discuss: r/programming
🔄Reproducible Builds
First Impressions of Omarchy
jordangoodman.bearblog.dev·12h·
Discuss: Hacker News
💾Retro Computing
Perplexity Raises $200M at $20B Valuation in AI Search Push
vktr.com·1d·
Discuss: Hacker News
🍎Apple
Krebs Cycle
en.wikipedia.org·19h·
Discuss: Hacker News
📝Term Rewriting
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
A Short Introduction to Tor
spec.torproject.org·4d·
Discuss: Hacker News
🌐NetworkProtocols
The dark forest of political communication
andrew-quinn.me·1d·
Discuss: Hacker News
🧮Lambda Calculus
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·3d·
Discuss: Hacker News
🐫OCaml
When and How to Trust the Experts
capitalgains.thediff.co·2d·
Discuss: Hacker News
🧠Automated Reasoning
Tricks from OpenAI gpt-oss YOU 🫵 can use with transformers
huggingface.co·3d·
🔧Unikernel Development
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
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·3d·
Discuss: Hacker News
🧩Parser Combinators
Shape Checking for Annotated Tensor Names
github.com·3d·
Discuss: Hacker News
🐫OCaml
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·6d
🛡️seL4
I wish my web server were in the corner of my room
interconnected.org·1d·
Discuss: Hacker News
🖥Self-Hosting