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

GTM Leadership Awards Launch to Honor the Top 40 GTM Leaders Driving Operational Excellence
prweb.com·3h
⚖Algorithmic Game Theory
Chancery Decision Doubles Down on Due Diligence
corpgov.law.harvard.edu·3h
👐Open Source Software
compose.yml - having a hard time
reddit.com·1h·
Discuss: r/selfhosted
🦀Rust
Valve Just Made Another 'Can't Count To Three' Joke, And Everyone Is Convinced It's A Half-Life 3 Tease - OpenCritic
news.google.com·5h
👐Open Source Software
Sorry I need to rant here a bit about documentation in tech world.
reddit.com·1h·
Discuss: r/webdev
🔧Compiler Design
Commanders, Terry McLaurin agree to three-year, $96 million contract extension
nytimes.com·23h
🔌Network Programming
Nascent liver proteome reveals enzymes and transcription regulators under physiological and alcohol exposure conditions
nature.com·2h
🔧Compiler Design
The Enemy from Within: A Study of Political Delegitimization Discourse in Israeli Political Speech
arxiv.org·4d
🔗Parser Combinators
Postit 2025-03-26 11:02:36
dinandmentink.nl·3d
🧫Cellular Automata
Postit 2025-02-22 20:42:11
dinandmentink.nl·3d
🧫Cellular Automata
Notes on cooperating with unaligned AIs
lesswrong.com·2d
🧩Theorem Proving
Linear Power System Modeling and Analysis Across Wide Operating Ranges: A Hierarchical Neural State-Space Equation Approach
arxiv.org·11h
🎲Probabilistic Programming
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·14h·
Discuss: Hacker News
🧠Memory Management
Deep Dive: OpenAI's GPT-OSS
dev.to·3d·
Discuss: DEV
🔗Parser Combinators
On the Function of Faith in A Probably-Simulated Universe
lesswrong.com·2d
🧫Cellular Automata
College football Week 1 best bets: Taking a side in Ohio State-Texas
nytimes.com·21h
💻Operating Systems
Feudalism grew directly out of the fall of Rome. We are reliving that event as science, the rule of law, logic, reason and civilization itself slowly die. Tucke...
threadreaderapp.com·23h
🧫Cellular Automata
Contributions to Label-Efficient Learning in Computer Vision and Remote Sensing
arxiv.org·1d
🔗Parser Combinators
PlantVillageVQA: A Visual Question Answering Dataset for Benchmarking Vision-Language Models in Plant Science
arxiv.org·11h
🔗Parser Combinators
What is "Meaningness"
lesswrong.com·5d
🧮Programming Language Theory
Loading...Loading more...
AboutBlogChangelogRoadmap