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

The Cure for Racial Discrimination in Medical Education
nationalreview.com·8h
⚖Algorithmic Game Theory
Counting Org mode headlines
mbork.pl·2d
📝Lisp
Phone Addiction: Warning Signs and Treatment
hardestfocusapp.com·8h·
Discuss: Hacker News
📊Information Theory
When the government can see everything: How one company – Palantir – is mapping the nation’s data
theconversation.com·6h
🌍Distributed Systems
Currys has 30% off gaming accessories sitewide and these are two of the deals I'd pick
pcgamer.com·4h
💾Retrocomputing
Log Detective: GSoC 2025 (part 2)
danigm.net·14h
👐Open Source Software
Scientists find a way to potentially reach terabit speeds wirelessly around obstacles using machine learning, AI - and yes, metasurfaces
techradar.com·18h
📊Information Theory
The latest 10 hour podcast from Lex Summarized to 18 bullets
andrewarrow.dev·3d·
Discuss: Hacker News
🧫Cellular Automata
It’s a Night Light. It’s a Plant. It’s a Glowing Succulent. - The New York Times
news.google.com·4h
🧮Programming Language Theory
Vanity Fair Staff Shocked by Proposed Melania Cover
newrepublic.com·22h
🔌Network Programming
The Role of Human Feedback in Agentic AI Tool Validation
analyticsvidhya.com·4d
🧩Theorem Proving
How the Japanese concept of "ikigai" was appropriated by the West
chiefwordofficer.substack.com·2h·
Discuss: Substack
🤖Sci-Fi
Pretty proud of my progress
reddit.com·4h·
Discuss: r/godot
🧩Theorem Proving
Comparing Six Deep Learning Feature Extractors for CBIR Tasks
hackernoon.com·12h
🎲Probabilistic Programming
With state-of-the-art image capabilities, Gemini makes it easier to create and edit images like never before.
threadreaderapp.com·20h
🧭SMT Solvers
From Vibe Coding to Professional AI-Powered Development: A Practical Handbook
dev.to·2h·
Discuss: DEV
🧩Theorem Proving
Alternating Training-based Label Smoothing Enhances Prompt Generalization
arxiv.org·1d
🔗Parser Combinators
An Efficient Dual-Line Decoder Network with Multi-Scale Convolutional Attention for Multi-organ Segmentation
arxiv.org·1d
🔗Parser Combinators
Show HN: An AI "senior engineer" that crafts specs before vibe coding
github.com·1d·
Discuss: Hacker News
🔧Compiler Design
Quantum Markovian master equation in the high-temperature limit
arxiv.org·15h
🔐Cryptography
Loading...Loading more...
AboutBlogChangelogRoadmap