A programmer's field guide to assertions
typesanitizer.com·10h·
Discuss: Lobsters
🧩Theorem Proving
From airport WiFi to your couch — private browsing for $34.97
nordot.app·11h
🔌Network Programming
Securing and Observing MCP Servers in Production
glama.ai·5h·
Discuss: r/LLM, r/LocalLLaMA
🤝Protocol Design
Share the Gemini 2.5 prompt words that I have refined for few weeks
preview.redd.it·2d·
Discuss: r/Bard
🧩Theorem Proving
How OpenAI Misled You on RLHF
aerial-toothpaste-34a.notion.site·2d·
Discuss: Hacker News, r/LocalLLaMA
🎲Probabilistic Programming
HackerEarth Question Library: Stats, Usage Analysis and Health
engineering.hackerearth.com·1d
🎲Probabilistic Programming
Psychology Aims For A Unified Theory Of Cognition And AI Will Be A Big Help To Get There - Forbes
news.google.com·2d
🧮Programming Language Theory
Six Months of Japanese -- Progress Update
reddit.com·1d·
Discuss: r/LearnJapanese
🧩Theorem Proving
Wow, I mean wow... talk about 5GW... let's DECODE...
threadreaderapp.com·22h
🔢Mathematical Logic
OpenAI's chief research scientist shares the book that inspired him when he was unsure about his career path
businessinsider.com·18h
👐Open Source Software
⭐ bloomberg memray
waylonwalker.com·1d
💾Retrocomputing
Winston Churchill was a real son of a b*tch.
threadreaderapp.com·2h
🧫Cellular Automata
WinRAR Flaw Exploited as Zero-Day to Spread RomCom Malware in Phishing Attacks
blogger.com·1d
👐Open Source Software
RAG with LLMs: The Complete Guide to Retrieval-Augmented Generation
dev.to·1h·
Discuss: DEV
🔧Compiler Design
how-side-effects-work-in-fp
chadnauseam.com·1d
⚙Functional Programming
EntropyGS: An Efficient Entropy Coding on 3D Gaussian Splatting
arxiv.org·2d
🎲Probabilistic Programming
All bots are variants of philosophical-zombies. All bits are variants of p-zombies: the 'opposite' of the singularity
reddit.com·2d·
Discuss: r/LLM
🤖Sci-Fi
Data-Efficient Learning for Generalizable Surgical Video Understanding
arxiv.org·2d
🎲Probabilistic Programming
Enjoy the Golden Age of LLMs before it ends!!
reddit.com·23h·
Discuss: r/ChatGPT
💾Retrocomputing
Satellites are closer than you think: A near field MIMO approach for Ground stations
arxiv.org·3d
🌍Distributed Systems