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

Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants

DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·18h·
Discuss: Hacker News
🔐Cryptography
Video Games Weekly: Climbing games are so hot right now
engadget.com·10h
🤖Sci-Fi
You need a kitchen slide rule
entropicthoughts.com·20h·
Discuss: Hacker News
🔢Mathematical Logic
Chaos and Coherence in Business
commoncog.com·1d
⚖Algorithmic Game Theory
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·4d·
Discuss: Substack
🎲Probabilistic Programming
Show HN: SQLite Extensions Guide
github.com·22h·
Discuss: Hacker News
🔧Compiler Design
A calmer, karma, CARMA algorithmic chameleon to improve noisy or incomplete data
techxplore.com·1d
🎲Probabilistic Programming
Long Shot: augmenting COCONUT with a working memory
github.com·1d·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
FOSSAI: An Open-Source Manifesto Against Digital Inequality — v0.1
dev.to·8h·
Discuss: DEV
👐Open Source Software
XyPriss or ExpressJs ?🤔
dev.to·2h·
Discuss: DEV
🤝Protocol Design
Understanding Generative AI Models: How They Create New Content and Transform Industries
dev.to·2h·
Discuss: DEV
🎲Probabilistic Programming
Security-is-Not-a-Feature-Its-a-Foundation
dev.to·20h·
Discuss: DEV
🦀Rust
Learning measurement-induced phase transitions using attention
arxiv.org·2d
🎲Probabilistic Programming
Building Chrome Dinosaur Game in Pygame (Part 1: Code init & startup)
dev.to·2h·
Discuss: DEV
🧫Cellular Automata
Lee Corso exits, Dave Portnoy enters, Arch Manning emerges: College football 2025 media preview
nytimes.com·1h
🧫Cellular Automata
SSFO: Self-Supervised Faithfulness Optimization for Retrieval-Augmented Generation
arxiv.org·1d
🔗Parser Combinators
I Used AI to Write Code for 30 Days Straight. Here's What Actually Happened
dev.to·6d·
Discuss: DEV
🧭SMT Solvers
I turned Claude into my personal finance assistant.
threadreaderapp.com·2d
🗄️Database Theory
A Hybrid Discontinuous Galerkin Neural Network Method for Solving Hyperbolic Conservation Laws with Temporal Progressive Learning
arxiv.org·2d
🔗Parser Combinators
just pushed my first multi-turn RL environment to @PrimeIntellect
threadreaderapp.com·2d
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap