🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔢 Mathematical Logic

Model Theory, Proof Theory, Completeness, Decidability

‘Her kids will have no inheritance’: Will my friend lose her house to Medicaid if she goes into a nursing home?
marketwatch.com·4h
🎲Probabilistic Programming
Benchmarking compression programs
maskray.me·2d
👐Open Source Software
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·6d·
Discuss: Hacker News
🔐Cryptography
How Fear Killed Liberalism
foreignpolicy.com·13m
🧫Cellular Automata
Assembling Teenage Engineering’s computer-2
interfacinglinux.com·2h
🧩Theorem Proving
Left 4 Dead's lead designer is making another four-player co-op shooter that "expands" the formula
rockpapershotgun.com·4h
🧫Cellular Automata
experimental september
imperfect.bearblog.dev·2d
🔧Compiler Design
Apparently it's easy to detect LLM-generated text now
papers.ssrn.com·5d·
Discuss: Hacker News
🧮Programming Language Theory
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·2d·
Discuss: Hacker News
⚙Functional Programming
Elite Supplements Selects Coveo AI for Commerce
prnewswire.com·2h
⚖Algorithmic Game Theory
Why AI Psychosis Is Here to Stay
theinformation.com·34m
🧫Cellular Automata
A Comedy Writer Tries to Make Sense of Her Sex-Positive, Goofy, Sometimes Inappropriate Family
slate.com·6h
⚖️Logic Programming
Wikipedia, but written by AIs
lesswrong.com·3d
🧮Programming Language Theory
The AI Doomsday Machine Is Closer to Reality Than You Think - Politico
news.google.com·4h
🔗Parser Combinators
Assessing and improving multi-perspective redundancy at segment level in multimodal transportation networks
sciencedirect.com·2d
🕸️Graph Theory
🚨 USA and China aren’t just building robots…
threadreaderapp.com·2d
🧩Theorem Proving
How to Fine-Tune Your Data and Build Smarter RAG Apps with LangGraph
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
I built a free Structured Prompt Builder (with local library + Gemini optimization) because other tools are bloated & paywalled
reddit.com·7h·
Discuss: r/LocalLLaMA
🔧Compiler Design
Semantic HTML for SEO and Accessibility
dev.to·17h·
Discuss: DEV
🔗Parser Combinators
FedReFT: Federated Representation Fine-Tuning with All-But-Me Aggregation
arxiv.org·4d
🔗Parser Combinators
Loading...Loading more...
AboutBlogChangelogRoadmap