Tailscale says Zero Trust is broken, and that might be a good thing
9to5mac.com·1d
🛡️seL4
Rickrolling Turso DB (SQLite rewrite in Rust)
avi.im·2d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Async I/O on Linux and durability
blog.canoozie.net·4d·
Discuss: Lobsters, Hacker News
⚙️Operating System Design
Show HN: Ubik Studio – Cursor for Research
ubik.studio·23h·
Discuss: Hacker News
📦Unikernel Systems
Leprechauns, Root Causes, and Other Fairy Tales
tomdalling.com·2d·
Discuss: Hacker News
🏹Effect Systems
A Friendly Introduction to SVG
joshwcomeau.com·2d·
Discuss: Hacker News, r/programming, r/webdev
💾Retro Computing
Create a Local IMDB MCP Server in Python
mkaz.blog·4d·
Discuss: Hacker News
🛡️seL4
Game Boy Photo Booth
there.oughta.be·1d·
Discuss: Hacker News
💾Retro Computing
Stargate advances with 4.5 GW partnership with Oracle
openai.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Daily Grind July 21: AI vs. Media Companies
damngrav.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Why Maybe Don't AI
maybedont.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Mentoring junior engineers in the age of coding agents
blog.marcua.net·2d·
Discuss: Hacker News
🔄Reproducible Builds
Surprise, surprise: Chinese spies, IP stealers, other miscreants attacking Microsoft SharePoint servers
theregister.com·23h·
Discuss: Hacker News
👁️System Observability
Proton's new privacy-first AI assistant encrypts all chats, keeps no logs
techcrunch.com·3h·
Discuss: Hacker News
🍎Apple
Driving Platform Adoption: Community Is Your Value
thenewstack.io·2d
🔄Reproducible Builds
SAFT: Structure-Aware Fine-Tuning of LLMs for AMR-to-Text Generation
arxiv.org·2d
🐫OCaml
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.org·12h
🐫Embedded OCaml
AI-enhanced conversational agents for personalized asthma support Factors for engagement, value and efficacy
arxiv.org·12h
🏹Effect Systems
Data-Driven Adaptive Gradient Recovery for Unstructured Finite Volume Computations
arxiv.org·12h
🐫OCaml