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

things that I want to do before I turn twenty three
yvas.me·1h
🧮Programming Language Theory
I Hacked Monster Energy and You Won't Believe What They Think You Look Like
bobdahacker.com·3h·
Discuss: Hacker News
👐Open Source Software
1. If you (as a dev) are applying to join a startup, it’s pretty much a baseline expectation that you’re hands-on enough w AI coding tools. Expect to be rejecte...
bsky.app·3h·
Discuss: Bluesky
🔧Compiler Design
A fantastic guide to logging in Postgres
postgresweekly.com·2d
🗄️Database Theory
Show HN: Tired of ghosting on language apps. I made this to schedule real talks
meetapart.com·2d·
Discuss: Hacker News
🔧Compiler Design
Tech With Tim: 6 Hours of JavaScript Projects - From Beginner to Advanced
youtube.com·2d·
Discuss: DEV
🔧Compiler Design
nvim-dap (pwa-node) doesn't stop at breakpoint
reddit.com·1d·
Discuss: r/neovim
📦WebAssembly
Questions About Cases
reddit.com·22h·
Discuss: r/asklinguistics
🔗Parser Combinators
I use this Chrome extension to pair NotebookLM with my favorite tools in seconds
xda-developers.com·1d
📦WebAssembly
GM Combat Rules and Playtest Rules Progress
tbr.bearblog.dev·18h
⚖Algorithmic Game Theory
Operational reconstruction of Feynman rules for quantum amplitudes via composition algebras
arxiv.org·2d
🔐Cryptography
How it started / how it's going
threadreaderapp.com·22h
🔌Network Programming
kubernetes/examples
github.com·1d
🦀Rust
AltSchool Of Engineering Tinyuka’24 Month 6 Week 3
dev.to·12h·
Discuss: DEV
🐧Linux
100 Days of DevOps: Day 18
dev.to·2d·
Discuss: DEV
🦀Rust
Futurity as Infrastructure: A Techno-Philosophical Interpretation of the AI Lifecycle
arxiv.org·1d
🧮Programming Language Theory
Use This New Context Management Technique To Cope With AI Disappointment
thenewstack.io·2d
🎲Probabilistic Programming
Making AI Prompts Customizable with Smart Guardrails
dev.to·3d·
Discuss: DEV
🎲Probabilistic Programming
🎯 I built tools I needed — now I'm sharing with all
reddit.com·9h·
Discuss: r/webdev
📦WebAssembly
Using large-scale search to discover fast GPU kernels
reddit.com·3d·
Discuss: r/LocalLLaMA
🔧Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap