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

The AdTech Underbelly
feed.tedium.co·1d
🔍BitFunnel
Spritely Goblins v0.16.0 released!
spritely.institute·2d
🔒Linear Types
Opinion: White House wants to win global AI war — troublingly, by any means necessary
mercurynews.com·13h
🤖AI Curation
Double Maths First Thing: Issue 30
aperiodical.com·3d
📐Mathematical Art
How to Upgrade to Debian 13 (Trixie) from 12 (Bookworm)
linuxiac.com·1h
❄️Nix Flakes
New Method Is the Fastest Way To Find the Best Routes
quantamagazine.org·3d·
Discuss: Lobsters, Hacker News
🕸️Network Topology
libsemigroups: C++ library for semigroups and monoids
github.com·4d·
Discuss: Hacker News, r/cpp
🧮Algebraic Datatypes
AI Industry Horrified To Face Largest Copyright Class Action Ever Certified
yro.slashdot.org·1d
⚖️Emulation Ethics
Numerical analysis of the stochastic Navier-Stokes equations
arxiv.org·1d
🎯Performance Proofs
Revolutionizing Construction: How AI is Transforming Concrete Batching Plants
dev.to·2d·
Discuss: DEV
🌊Stream Processing
When Truth Is Overridden: Uncovering the Internal Origins of Sycophancy in Large Language Models
arxiv.org·4d
💻Programming languages
GPT-5 is better, but isn't giant leap forward for vision
blog.roboflow.com·1d·
Discuss: Hacker News
🤖Advanced OCR
My first Go project after a career in .NET: A Serilog-inspired logging library
reddit.com·2d·
Discuss: r/golang
📝Log Parsing
Human in the Loop
dev.to·3d·
Discuss: DEV
⚡Proof Automation
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·3d·
Discuss: Hacker News
🤖Lisp Machines
JPS: Jailbreak Multimodal Large Language Models with Collaborative Visual Perturbation and Textual Steering
arxiv.org·1d
💻Local LLMs
Thinking With Videos: Multimodal Tool-Augmented Reinforcement Learning for Long Video Reasoning
arxiv.org·2d
🧠Learned Codecs
How I Built a GPT-OSS 120B-Parameter Coding Beast That Reviews, Fixes, and Writes Code Like Magic
dev.to·2d·
Discuss: DEV
🖥️Terminal Renaissance
Open-source playbook for RAG and LLM debugging: Problem Map 2.0 and Semantic Clinic
dev.to·2d·
Discuss: DEV
🧪Binary Fuzzing
The Future is Now: How OpenAI's Revolutionary AI Reasoning Models Are Changing Everything
dev.to·4d·
Discuss: DEV
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap