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

How Far Can You Run Before Sundown?
thefiddler.substack.com·10h·
Discuss: Substack
⚖Algorithmic Game Theory
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
🧮Programming Language Theory
Improve Data Integrity and Security with Accelerated Hash Functions and Merkle Trees in cuPQC 0.4
developer.nvidia.com·1d
🔐Cryptography
Attractive serial dependence arises during decision-making
journals.plos.org·8h
🎲Probabilistic Programming
Optimizing how cells self-organize: Computational framework extracts genetic rules
phys.org·1d
🧫Cellular Automata
How do LSM Trees work?
rowjee.com·2d·
Discuss: Hacker News
🧠Memory Management
Adding Offline Mode and Custom Servers to an MMORPG
plantbasedgames.io·8h·
Discuss: r/gamedev
🦀Rust
Build a Self-Driving Car in Carla Simulator with Python (Step-by-Step)
pub.towardsai.net·8h
🤖Sci-Fi
When Students Outsource Thinking to AI, Brains Pay the Price
psychologytoday.com·2d
🧫Cellular Automata
Minimal layer Iris layout concept
github.com·6h·
Discuss: r/ErgoMechKeyboards, r/ErgoMechKeyboards
🧮Programming Language Theory
Hints for the Patty Paper Trisection
denisegaskins.com·2d
🔢Mathematical Logic
GRPO in Reinforcement Learning Explained
digitalocean.com·1d
🎲Probabilistic Programming
SleepDIFFormer: Sleep Stage Classification via Multivariate Differential Transformer
arxiv.org·18h
🎲Probabilistic Programming
Real-Time Seismic Vulnerability Assessment of Historic Masonry Bridges via Machine Learning and Finite Element Iteration
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Why AI Agent Evaluation Is Suddenly Everyone’s Priority
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Enhanced Ligand Design via Multi-Modal Data Fusion and Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚙Functional Programming
Heritage learner here — anyone else freeze up when speaking Chinese? Here's what I'm doing to get better
reddit.com·4h·
Discuss: r/ChineseLanguage
🔗Parser Combinators
The Rise of Open AI Models: Privacy, Control, and a New Era
dev.to·1d·
Discuss: DEV
👐Open Source Software
Can Large Language Models (LLMs) Describe Pictures Like Children? A Comparative Corpus Study
arxiv.org·2d
🎲Probabilistic Programming
🚀 Linux for DevOps [Week 1]: Mastering the Essentials
dev.to·4h·
Discuss: DEV
🐧Linux
Loading...Loading more...
AboutBlogChangelogRoadmap