5 Maths Gems #191
resourceaholic.com·3d·
Discuss: www.resourceaholic.com
📐Mathematical Art
Fast Following Fails
rule11.tech·5h
🔍BitFunnel
Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·1d
🔗Functional Compilers
The Alarming Surge in Compromised Credentials in 2025
blog.checkpoint.com·1d
🔓Hacking
I Don't Read Your Email Threads
loganmarek.com·1d·
Discuss: Hacker News
📰RSS Reading Practices
Truth Social’s AI search is powered by Perplexity, but the platform can set limits on sources
techcrunch.com·2d
🔍BitFunnel
How to use Instagram Map and protect your privacy
techcrunch.com·23h
🔗Online Curation
Think Linux desktop market share isn't over 6%? This scan says otherwise
zdnet.com·2d·
Discuss: Hacker News
🔌Operating system internals
Genie 3: A new frontier for world models
deepmind.google·4d·
Discuss: DEV, Hacker News
🏺Computational Archaeology
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·3d·
Discuss: Hacker News
⭐Awesome lists
Show HN: I built a tool that lets you summon AI in any app or website
useinset.com·1d·
Discuss: Hacker News
🌀Brotli Internals
I backpacked across Europe for the first time, and 10 things surprised me about the 2-week adventure
businessinsider.com·21h
🦐Göteborg
Take Back Our Digital Infrastructure To Save Democracy
techdirt.com·3d·
Discuss: Hacker News
🧲Magnetic Philosophy
Mastering GraphQL Basics: Queries, Mutations, and Schema Explained
dev.to·6d·
Discuss: DEV
⚡gRPC
Inequality in the Age of Pseudonymity
arxiv.org·2d
🏛Digital humanities
Building AI-Powered Applications with C# and Semantic Kernel
dev.to·4d·
Discuss: DEV
🔩Systems Programming
How AI Can Predict and Prevent Merge Conflicts Before They Happen
dev.to·2d·
Discuss: DEV
🌿git
Automated Architectural Design Validation via Multi-Modal Knowledge Fusion and HyperScore Assessment
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
Everything We Know About GPT-5, OpenAI's Latest Model
lifehacker.com·2d
🖥️Modern Terminals
MetaExplainer: A Framework to Generate Multi-Type User-Centered Explanations for AI Systems
arxiv.org·5d
✓Automated Theorem Proving