🐿️ 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

Lie Back and Think of Rivendell
monstersandmanuals.blogspot.comΒ·1d
🏰Medieval Networks
Emailed job application supposedly from Xavi was bogus, Indian soccer federation says
the-independent.comΒ·10h
βœ…Format Verification
Week #753 & #754
optional.isΒ·1d
πŸŒ€Brotli Dictionary
Song recommendations with C# Reactive Extensions
blog.ploeh.dkΒ·5d
🌊Streaming Systems
2025-07-25: Feature Engineering with Shallow Features and Methods
ws-dl.blogspot.comΒ·2dΒ·
Discuss: ws-dl.blogspot.com
🧠Machine Learning
AIDE – a file and directory integrity checker
aide.github.ioΒ·1dΒ·
Discuss: Hacker News
🏺ZIP Archaeology
Inference-Time Techniques for High-Quality, Low-Latency Speech Generation
blog.play.aiΒ·3dΒ·
Discuss: Hacker News
πŸŽ™οΈWhisper
The Thermodynamics of Trading
signalsandthreads.comΒ·21hΒ·
Discuss: Hacker News
🌑️Preservation Thermodynamics
My Heroku Values (2015)
brandur.orgΒ·2dΒ·
Discuss: Hacker News
🌳Git Internals
You can now train a 70B language model at home
answer.aiΒ·2dΒ·
Discuss: Hacker News
🎧Learned Audio
Synthetic Auth Report – Issue 003
syntheticauth.aiΒ·4dΒ·
Discuss: Hacker News
πŸ›‘Cybersecurity
How to build secure and scalable remote MCP servers
github.blogΒ·1d
🌐NetworkProtocols
AI Agent Development Tradeoffs You NEED to Know
podcasters.spotify.comΒ·4d
πŸ”²Cellular Automata
The magic wand that solves agent memory
news.ycombinator.comΒ·1dΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
The Limits of Agency (Human or Otherwise): Free Will Is Overrated
medium.comΒ·4dΒ·
Discuss: Hacker News
🧲Magnetic Philosophy
Show HN: Zbench, RAG evals using chess Elo ratings
github.comΒ·2dΒ·
Discuss: Hacker News
πŸ”Information Retrieval
AI Coding Stack That Isn't Complete Garbage: VSCode, Roocode, Augment (May 2025)
medium.comΒ·3dΒ·
Discuss: Hacker News
πŸ“Code Metrics
Explainable Graph Neural Networks via Structural Externalities
arxiv.orgΒ·2d
πŸ•ΈοΈGraph Embeddings
Cognition is seeking over $300 million in new funding at a $10 billion valuation
the-decoder.comΒ·1d
πŸŒ€Brotli Internals
SIFOTL: A Principled, Statistically-Informed Fidelity-Optimization Method for Tabular Learning
arxiv.orgΒ·2d
πŸ’»Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap