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

Educational Consulting Update
davidwees.com·23m
📚Proof Pedagogy
2024 Porsche Cayenne V6: the high-heeled Tiguan for the modern professional woman.
contravex.com·17h
⚙️Proof Engineering
Why I don't allow AI-generated content on my blog
seangoedecke.com·2d
⚡Proof Automation
A First-Timer's Guide to Curating a Technical Conference Track – InfoQ
infoq.com·18h·
Discuss: Hacker News
📼Cassette Protocols
Phone Is a Snitch – Untraceable Digital Dissident
untraceabledigitaldissident.com·1d·
Discuss: Hacker News
📼Cassette Hacking
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·6d·
Discuss: Lobsters, Hacker News
🎯Performance Proofs
Hijacking multi-agent systems in your PajaMAS
blog.trailofbits.com·3d·
Discuss: Hacker News
🔒WASM Capabilities
Wide Research
manus.im·3d·
Discuss: Hacker News
🌊Streaming Systems
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·2d·
Discuss: Hacker News
📄Document AI
System Design Interviewing Tips (2022)
yusufaytas.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
Anyone doing E2E encryption with Istio Gateway on AWS?
reddit.com·7h·
Discuss: r/kubernetes
🌐NetworkProtocols
What is an AI-first software company?
varungodbole.com·4d·
Discuss: Hacker News
⚙️TLA+
Nicholas Renotte: How to Build a Stock Screener AGENT with LangGraph in 30 Minutes (LangGraph Crash Course)
dev.to·22h·
Discuss: DEV
🗜️LZW Variants
From Prompt to Pipeline: Large Language Models for Scientific Workflow Development in Bioinformatics
arxiv.org·6d
🦀Rust Macros
Project Go: From Zero to Deploy -(Project 2)
dev.to·2d·
Discuss: DEV
⚡gRPC
Show HN: AI personas in executable .aix files (run like containers)
github.com·4d·
Discuss: Hacker News
⚡Homebrew CPUs
Dual Cross-image Semantic Consistency with Self-aware Pseudo Labeling for Semi-supervised Medical Image Segmentation
arxiv.org·5d
🌀Riemannian Computing
Large Language Model Powered Automated Modeling and Optimization of Active Distribution Network Dispatch Problems
arxiv.org·5d
🤖Network Automation
Drowning in AI Tools? I Built a Directory to Help Us All Find the Signal in the Noise.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Enabling Few-Shot Alzheimer's Disease Diagnosis on Tabular Biomarker Data with LLMs
arxiv.org·3d
💻Local LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap