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

Tactic Languages, Auto Tactics, Proof Search, Hammer Tools

Introduction: Ethics and Intelligence
tandfonline.com·1d
🕵Intelligence
Richard Pryor Stole a Lot of Half Cents and Bought a Ferrari
news.alvaroduran.com·4h·
Discuss: Hacker News
🧮Algebraic Datatypes
Macroexpand-Deep 2025 – the first Clojure AI conference
scicloj.github.io·3d·
Discuss: Hacker News
🦀Rust Macros
Four chatbot widget patterns for websites and apps: from bubble to super app
hoverbot.ai·1d·
Discuss: Hacker News
🎙️Whisper
A look at SGD from a physicist's perspective – Part 1 (2018)
henripal.github.io·1d·
Discuss: Hacker News
⚛️Information Physics
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·1d·
Discuss: Hacker News
🌊Streaming Systems
Implementing a Foil Sticker Effect
4rknova.com·17h·
Discuss: Hacker News
📟Terminal Physics
The Bitter Lesson of AI-Driven Drug Discovery
schwabpatrick.com·21h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
GPT-5 Doesn't Vibe?
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Bounty Hacker (cowboy)Write-Up
infosecwriteups.com·1d
🎫Kerberos Exploitation
Crafting a Custom Voice Assistant with Perplexity
towardsdatascience.com·2d
🎙️Whisper
MoE-Health: A Mixture of Experts Framework for Robust Multimodal Healthcare Prediction
arxiv.org·1d
🧠Machine Learning
Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·1d
🧠Machine Learning
Spatiotemporal EEG-Based Emotion Recognition Using SAM Ratings from Serious Games with Hybrid Deep Learning
arxiv.org·1d
🧠Learned Codecs
They're Not Real! The Sneaky New AI That's About to Change Everything You Think You Know About Video
dev.to·1d·
Discuss: DEV
🧠Learned Codecs
Programming in 2030: will devs still code, or just babysit AI?
dev.to·3d·
Discuss: DEV
🔄Language Evolution
When Your AI Forgets Yesterday: Fixing Memory Breaks Across Sessions (Problem Map No.7)
dev.to·2d·
Discuss: DEV
💾Persistence Strategies
Meet Bugsy, Your AI Web Bug Hunter
dev.to·3d·
Discuss: DEV
🔓Hacking
Automated Test Oracles for Flaky Cyber-Physical System Simulators: Approach and Evaluation
arxiv.org·4d
🔍Concolic Testing
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·5d
🧮SMT Solvers
Loading...Loading more...
AboutBlogChangelogRoadmap