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

Show HN: How to create and use Tesseract OCR in Rust programming language?
aiviewz.comΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust
How My Blog Handles Math and Images in HTML, Atom, and Email in 2025
emptysqua.reΒ·1d
πŸ“Lisp
My Favourite Stanza in Dutch
zegnat.bearblog.devΒ·1d
πŸ”’Mathematical Logic
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.comΒ·5dΒ·
Discuss: Hacker News
πŸ”Cryptography
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.comΒ·6dΒ·
Discuss: Hacker News
βš™Functional Programming
🎲 YAGNI, Scalability and having fun
risingthumb.xyzΒ·20h
🐧Linux
D&D 2024: 5 Easy Multiclass Builds for Versatile Characters
screenrant.comΒ·1d
πŸ“Lisp
I Manage My Dotfiles
jvt.meΒ·1dΒ·
Discuss: Hacker News
πŸ‘Open Source Software
Seeking advice on how to set up in-game bug reporting for public demo (currently using HTTP Posts to a GSheet for friends/family alpha testers, is this ok?)
reddit.comΒ·20hΒ·
Discuss: r/gamedev
πŸ¦€Rust
Day 3 Exploring the Wildcard `_` in Python’s Match Statement
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“Lisp
Programmers: you have to watch your weight, too
theregister.comΒ·2dΒ·
Discuss: Hacker News
πŸ‘Open Source Software
The Sprint Retro Flow that actually improves velocity
techleadmastery.substack.comΒ·1dΒ·
Discuss: Substack, r/programming
πŸ—Computer Architecture
Feedback wanted: Go-based Redis-compatible cache with observability
reddit.comΒ·1dΒ·
Discuss: r/selfhosted
🌍Distributed Systems
Automated Orbital Debris Remediation via Targeted Laser Ablation & AI-Driven Trajectory Optimization
dev.toΒ·1dΒ·
Discuss: DEV
🎲Probabilistic Programming
Just Started as a Go Backend Engineer – How Can I Level Up Fast for a Great Remote Role?
reddit.comΒ·1dΒ·
Discuss: r/golang
🀝Protocol Design
The Ultimate AI Coding Grok Code Fast 1 vs GPT-5 High vs Claude Sonnet 4 – Which One Is Actually Faster?
dev.toΒ·2dΒ·
Discuss: DEV
πŸ—Computer Architecture
Enhanced Life Cycle Assessment via AI-Driven Materials Substitution Optimization
dev.toΒ·2dΒ·
Discuss: DEV
🎲Probabilistic Programming
Rust changed my (superficial) way of thinking
dev.toΒ·6hΒ·
Discuss: DEV
πŸ¦€Rust
Cubs hope Coors Field effect can get offense back on track for stretch run
nytimes.comΒ·1d
🧫Cellular Automata
Building a Robust Resume Checker AI Agent with LlamaIndex and Maxim Observability
dev.toΒ·3dΒ·
Discuss: DEV
🎲Probabilistic Programming
Loading...Loading more...
AboutBlogChangelogRoadmap