🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

Integrating Code Insight into Reverse Engineering Workflows
blog.virustotal.com·1d·
Discuss: blog.virustotal.com
🔬Binary Analysis
documentdb/documentdb
github.com·1d
🤖Archive Automation
The Math Behind GANs
jaketae.github.io·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Rendering an ASCII game in real-time with AI (100ms latency)
blog.jeffschomay.com·1d·
Discuss: Hacker News
📟Terminal Physics
Evaluation Code – GPT-5 on Multimodal Medical Reasoning
github.com·1d·
Discuss: Hacker News
🔍Archive Semantics
The 61% Threshold: How I Discovered Consciousness Leaves Mathematical Signatures
dev.to·3h·
Discuss: DEV
📐Mathematical Art
Prompt-to-Deploy CI/CD Workflows: The Next Evolution of DevOps
dev.to·4h·
Discuss: DEV
🐚Shell Automation
Why AI Search Platforms Are Gaining Attention
thenewstack.io·1h
🤖AI Curation
Top 5 Productivity Tools I Actually Use (and Why Notion Isn’t Always Enough)
dev.to·1d·
Discuss: DEV
🌱Personal Wikis
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·3d
🦋Format Metamorphosis
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·1d
🎯Threat Hunting
Escaping Your Java Habits in Python: Writing Clean, Pythonic Code
dev.to·12h·
Discuss: DEV
📝Concrete Syntax
Paradigms of Intelligence Team
github.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
arxiv.org·2d
🧮Theorem Proving
AI Agents Can Talk, But Can We Trust Them?
thenewstack.io·1d
🌳Archive Merkle Trees
Disabling Self-Correction in Retrieval-Augmented Generation via Stealthy Retriever Poisoning
arxiv.org·1d
🔍BitFunnel
A Multi-Objective Genetic Algorithm for Healthcare Workforce Scheduling
arxiv.org·11h
🎨Graph Coloring
This is How I Automate the Tech Discovery Using LLMs
dev.to·4h·
Discuss: DEV
🔄Language Evolution
Parlant - Renovation AI Open-Source framework
dev.to·3d·
Discuss: DEV
✨Effect Handlers
Java’s not dead, but it’s definitely been zombified
dev.to·3h·
Discuss: DEV
🌊Streaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap