🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚖️ Hoare Logic

Program Correctness, Preconditions, Postconditions, Axiomatic Semantics

How Teen Mathematician Hannah Cairo Disproved a Major Conjecture in Harmonic Analysis
scientificamerican.com·2d
📐Mathematical Art
OpenAI to Open-Source Some of the A.I. Systems Behind ChatGPT
nytimes.com·1d
🔓Open Source Software
Estimating worst case frontier risks of open weight LLMs
openai.com·2d·
Discuss: Hacker News
🛡️Error Boundaries
The Coming Wave: Post-Quantum Cryptography and the Future of Cybersecurity
blog.publiccomps.com·2d·
Discuss: Hacker News
🔐Quantum Security
If You Had a Bad Manager You Appreciate When You have a Good One
newsletter.eng-leadership.com·7h·
Discuss: r/programming
🎯Content Recommendation
Using Dspy to Detect Document Boundaries
kmad.ai·4d·
Discuss: Hacker News
📄Document Digitization
Google launches Gemini CLI GitHub Actions for automating PR reviews, issue triage, and more
neowin.net·1d·
Discuss: Hacker News
🌀Brotli Internals
Governance in GNOME
bassi.io·3d·
Discuss: Lobsters
🐧FOSS
Trends in LLM-Generated Citations on ArXiv
spylab.ai·2d·
Discuss: Hacker News
🎯Gradual Typing
OpenAI's first new open-weight LLMs in six years are here
engadget.com·1d
🔓Open Source Software
ECMA-262, 16th edition, June 2025
262.ecma-international.org·3d·
Discuss: Hacker News
🎯Gradual Typing
LLMs as Context Synthesizers: Why Direct Instructions Don't Work
corewood.io·2d·
Discuss: Hacker News
🤖Lisp Machines
Why won't anyone give me money for my cryptographic signature mitigation?
news.ycombinator.com·7h·
Discuss: Hacker News
🌊Stream Ciphers
State of Production Kubernetes 2025
reddit.com·1d·
Discuss: r/kubernetes
🌊Streaming Systems
Show HN: I built a Squaredle solver that visualizes paths
news.ycombinator.com·1d·
Discuss: Hacker News
🌳Trie Structures
Enabling the rise of responsible robots
techradar.com·1d
🏠Home Automation
Steps To Develop Your Own AI Astrology App
dev.to·1d·
Discuss: DEV
λLambda Formalization
Prototype Learning to Create Refined Interpretable Digital Phenotypes from ECGs
arxiv.org·2d
🧠Machine Learning
Beyond Caching: How Redis 8 Became Our Forum's Primary Database and AI Engine
dev.to·1d·
Discuss: DEV
⚡Redis Internals
AVPDN: Learning Motion-Robust and Scale-Adaptive Representations for Video-Based Polyp Detection
arxiv.org·1d
🧠Machine Learning
Loading...Loading more...
AboutBlogChangelogRoadmap