Will the Real Salt Typhoon Please Stand Up?
pylos.co·13h·
Discuss: Hacker News
📡Network Protocol Design
Can TikTok Revive Classic Songs? A Statistical Analysis of Social Media Virality
statsignificant.com·1d·
Discuss: Hacker News
🍎Apple
Show HN: Raphael AI – Edit photos with simple text instructions,free,no-login
raphael.app·11h·
Discuss: Hacker News
💾Retro Computing
Show HN: I built ReplyFast an AI powered tool to write faster and better emails
replyfast.net·1d·
Discuss: Hacker News
✓Automated Theorem Proving
You Might Not Need LangChain for Your Next AI App
shuvrojit.substack.com·5d·
Discuss: Substack
🐫OCaml
Media Tracker with Astro and Turso
goulven-clech.dev·3d·
Discuss: Hacker News
🔬Unikernels
First release candidate of systemd 258 is here
theregister.com·12h·
Discuss: Hacker News
📦Unikernel Systems
I built a smart photo organizer that automatically finds solo portraits using AI face detection on macOS
reddit.com·1d·
Discuss: r/programming
🍎Apple
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Reachy The Robot Gets a Mini (Kit) Version
hackaday.com·1d
💾Retro Computing
Interstellar Visitor Zipping Through Our Solar System Could Be a Hostile Probe, Alien-Hyping Scientists Warn
gizmodo.com·1d·
Discuss: Hacker News
🔬Unikernels
Perplexity for Mac now supports MCP, and you should check it out
9to5mac.com·11h
🍎Apple
Is AI ‘The Ultimate Version of Google,’ As Larry Page Wanted?
thenewstack.io·1d
✓Automated Theorem Proving
Vibe Coding an SMTP Server, in Rust
mailpace.com·3d·
Discuss: Hacker News
🔬Static Analysis
We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Disability Across Cultures: A Human-Centered Audit of Ableism in Western and Indic LLMs
arxiv.org·3d
🔍Formal Verification
AI, Expert or Peer? -- Examining the Impact of Perceived Feedback Source on Pre-Service Teachers Feedback Perception and Uptake
arxiv.org·3d
🏹Effect Systems
Towards Holistic Surgical Scene Graph
arxiv.org·4d
🏹Effect Systems
Zak-OTFS based Multiuser Uplink in Doubly-Spread Channels
arxiv.org·4d
💻CS
Robust Control with Gradient Uncertainty
arxiv.org·4d
🧪Property-Based Testing