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

Touchscreen Surface Treatments: Why They Matter for Industrial and Outdoor Applications
rocktech.com.hk·15h·
Discuss: DEV
💻Operating Systems
Eufy’s video doorbell smart lock combo is back to its all-time low price
theverge.com·7h
⚖Algorithmic Game Theory
7 Business Storytelling Techniques to Captivate Your Audience
smallbiztrends.com·5h
📊Information Theory
Best-Yet Measurement of Merging Black Holes Confirms Einstein, Hawking and the ‘No Hair’ Theorem
scientificamerican.com·7h
📊Information Theory
Watch: Mandelson says he regrets falling for Epstein's lies
bbc.com·13h
📊Information Theory
In the reading of the reader al-ʾAʿmaš (d. 148) already on verse 5 of al-Fātiḥah he recites something that no canonical reader does: he reads nistaʿīnu rather t...
threadreaderapp.com·7h
🧮Programming Language Theory
Dear Abby: Boyfriend has personal relationship with his needy boss
chicago.suntimes.com·11h
🤝Protocol Design
FBI Director Kash Patel to testify before Senate Judiciary
politico.com·23h
🧮Programming Language Theory
Rand Paul Forced to Explain to JD Vance Randomly Killing People Is Bad
newrepublic.com·7h
🧫Cellular Automata
Great Fantasy Books With Unlikely Heroes
nytimes.com·13h
🧮Programming Language Theory
Getting Started with HTTP/3 in Python
dev.to·11h·
Discuss: DEV
🤝Protocol Design
The Great Reckoning
dev.to·11h·
Discuss: DEV
🔌Network Programming
On the Conservatism of Contemporary Literary Fiction
lithub.com·13h
🔄Category Theory
Looking for one or many people for regular meetings discussing SYSTEM SOFTWARE from an EMBEDDED perspective. Mainly design of RTOS, operating system internals, ...
reddit.com·17h·
Discuss: r/embedded
💻Operating Systems
GitHub Coding Agent the Magical Autonomous AI: The Prequel
dev.to·10h·
Discuss: DEV
🧩Theorem Proving
How to watch Cubs at Braves: TV channel and streaming options for September 8
nytimes.com·2d
🧫Cellular Automata
Dynamic Spectrum Allocation via Reinforcement Learning for Flexible Optical Network Management
dev.to·2d·
Discuss: DEV
🎲Probabilistic Programming
SEA: Supervised Embedding Alignment for Token-Level Visual-Textual Integration in MLLMs
arxiv.org·2d
🔗Parser Combinators
A Narrative-Driven Computational Framework for Clinician Burnout Surveillance
arxiv.org·2d
🧮Programming Language Theory
Angular Signals: The Future of Reactivity in Angular
dev.to·5h·
Discuss: DEV
🔌Network Programming
Loading...Loading more...
AboutBlogChangelogRoadmap