🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Beam deflections by the moment-area method
leancrew.com·1d
📐Projective Geometry
Going to DEFCON? See my talk, "We are currently clean on OPSEC": The Signalgate Saga
micahflee.com·10h
🕳️Information Leakage
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
rickovercorpus.org·3h·
Discuss: Hacker News
🇷🇺Soviet Computing
Show HN: New VSCode extension Function Explorer
marketplace.visualstudio.com·22h·
Discuss: Hacker News
🖋Typography
Unit Testing in NestJS for Node Using Suites (Formerly Automock)
blog.appsignal.com·2d·
Discuss: Hacker News
🧩WASM Components
Teaching Open Source in North Korea
izbicki.me·1d·
Discuss: Hacker News
🔓Open Source Software
New MCP Security Research and OSS Tooling: Toxic Flow Analysis
invariantlabs.ai·3d·
Discuss: Hacker News
🏠Homelab Pentesting
Teach AI your name through someone it trusts
lauradecastro.substack.com·1d·
Discuss: Substack
📊Feed Optimization
Online Software for an Interstellar Civilization
gatlin.io·2d·
Discuss: Hacker News
⏰Time Crystals
Gemini Embedding: Powering RAG and context engineering
developers.googleblog.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Scientists shrink the genetic code of E. coli to contain only 57 of its usual 64 codons
phys.org·13h
🧬Palindrome Codes
My 13-Year Procurement Career Suddenly Made Sense After Reading About a 57-Year-Old Programmer
dev.to·1d·
Discuss: DEV
📏Code Metrics
How I Made Document Processing Smarter Without Writing Extra Code
dev.to·1d·
Discuss: DEV
📄Document Digitization
Aspire Roadmap 2025: Code-first DevOps, polyglot, and AI
dev.to·16h·
Discuss: DEV
🧩WASM Components
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·4d
🎵Audio ML
StepFun Built an Efficient and Cost-Effective LLM Storage Platform with JuiceFS
dev.to·22h·
Discuss: DEV
🌊Streaming Systems
AI is Eating QA's Lunch (And I'm Here for It!)
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
How to Build an MCP Server in TypeScript
dev.to·1d·
Discuss: DEV
🐚Nordic Shell
The One Line of Code That Crashed My Startup
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·6d·
Discuss: Hacker News
🦀Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap