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

You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·3h·
Discuss: blog.ezyang.com
🧫Cellular Automata
I Thought My Colleague’s Lies Were Harmless. Until Now.
slate.com·23h
🔢Mathematical Logic
How to Solve a Problem
henrikkarlsson.xyz·3d·
Discuss: Hacker News
🧮Programming Language Theory
Enterprises Are Struggling to Make Generative AI Work. That's Great News for IBM.
fool.com·23h
🤖Sci-Fi
Natural Language → SQL with Reinforcement Fine Tuning (RFT)
docs.fireworks.ai·3d·
Discuss: Hacker News
🎲Probabilistic Programming
A Conjure Piglet Client
lambdaisland.com·2d
📝Lisp
If You Care, Don't Guess
ignacyr.bearblog.dev·3d
🔧Compiler Design
GPT-5 goes hard on real-world programming
omerba.dev·3d·
Discuss: Lobsters, Hacker News
🔗Parser Combinators
Show HN: I'm building a "work visa" API for AI agents
agentvisa.dev·2d·
Discuss: Hacker News
🧭SMT Solvers
AI makes me feel like an impostor
reddit.com·1d·
Discuss: r/webdev
🔗Parser Combinators
pyghidra-mcp: Headless Ghidra MCP Server for Project-Wide, Multi-Binary Analysis
medium.com·2d
🔍Static Analysis
Open Protocols for Agent Interoperability Part 4: Inter-Agent Communication on A2A
aws.amazon.com·15h
🤝Protocol Design
See Beyond a Single View: Multi-Attribution Learning Leads to Better Conversion Rate Prediction
arxiv.org·5h
🎲Probabilistic Programming
Rust-Vibe-Container recs?
reddit.com·15h·
Discuss: r/rust_gamedev
🦀Rust
Anyone well versed in CS and IT I Need Help and Advice With a Project to locally host notes
reddit.com·17h·
Discuss: r/ObsidianMD
🔌Network Programming
Creating My Own AI OS Via Linux From Scratch
dev.to·2d·
Discuss: DEV
🔧Compiler Design
[R] How to prime oneself for ML research coming from industry
reddit.com·1d·
Discuss: r/MachineLearning
🔧Compiler Design
The Constraint Satisfaction Problem Over Multisorted Cores
arxiv.org·4d
🎯Constraint Programming
Don’t Just Build AI. Own It. 🚀
dev.to·1d·
Discuss: DEV
🤖Sci-Fi
Using a local LLM AI agent to solve the N puzzle
dev.to·3d·
Discuss: DEV
🧫Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap