Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Model Theory
🔣 Model Theory
first-order logic, Tarski, structures, completeness
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
26
posts in
7.6
ms
The Modal
Logic
of Forcing and
Set-theoretic
Potentialism, Peking University lectures, June/July 2026
🔣
Category Theory
jdh.hamkins.org
·
2d
2 days ago
Actions for The Modal Logic of Forcing and Set-theoretic Potentialism, Peking University lectures, June/July 2026
News for May 2026 | Property Testing Review
📊
Conformal Prediction
ptreview.sublinear.info
·
3d
3 days ago
Actions for News for May 2026 | Property Testing Review
Mean-field
models
for morphogenetic processes in physiological contexts
🧬
Synthetic Biology
Content type:
Academic
arxiv.org
·
19h
19 hours ago
Actions for Mean-field models for morphogenetic processes in physiological contexts
Proof System Timelines
λ
Type Theory
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Samuel Mimram — CSC_51051_EP -- Computational
logic
: from Artificial intelligence to Zero bugs
λ
Type Theory
lix.polytechnique.fr
·
14h
14 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Deflationism About Truth
📝
Fitch Notation
Content type:
Academic
plato.stanford.edu
·
5d
5 days ago
Actions for Deflationism About Truth
5.15. Property Graphs
📐
E-graphs
postgresql.org
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for 5.15. Property Graphs
Daft Punk’s Thomas Bangalter Releases New Solo Album, ‘Mirage’
🎵
Generative Music
edm.com
·
5d
5 days ago
Actions for Daft Punk’s Thomas Bangalter Releases New Solo Album, ‘Mirage’
Less-relevant results
Gram Newton-Schulz: A Fast, Hardware-Aware Newton-Schulz Algorithm for Muon
⚡
SIMD Optimization
Content type:
Blog
tridao.me
·
1d
1 day ago
·
Hacker News
Actions for Gram Newton-Schulz: A Fast, Hardware-Aware Newton-Schulz Algorithm for Muon
book-assets/supplements/partial-orders.md
at master ·
logicforprogrammers/book-assets
🔷
Lattice Theory
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/partial-orders.md at master · logicforprogrammers/book-assets
Supabase raises $500M as AI coding tools drive ‘phenomenal’ growth
🧊
Iceberg
siliconangle.com
·
5d
5 days ago
Actions for Supabase raises $500M as AI coding tools drive ‘phenomenal’ growth
A century of coherent states
🤝
Paxos Consensus
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for A century of coherent states
The Floer Jungle
🔵
Topology
Content type:
Academic
math.columbia.edu
·
5d
5 days ago
·
Hacker News
Actions for The Floer Jungle
Preparing future
math
teachers to teach data science
🤖
Machine Learning
phys.org
·
5d
5 days ago
Actions for Preparing future math teachers to teach data science
The group
theory
of Raman effect in magnetic materials
✨
Shader Programming
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for The group theory of Raman effect in magnetic materials
book-assets/supplements/function-sets.md at master ·
logicforprogrammers/book-assets
🧮
Constraint Solvers
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
Symbolic and Abstractive Reasoning with
Complex
Visual Queries
🧮
Constraint Solvers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Symbolic and Abstractive Reasoning with Complex Visual Queries
Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
🤖
Machine Learning
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Public Machine Learning Solver Framework for Novices in the Machine Learning Domain
DIFFRACT: Neuralized Utility Maximization for Wireless Networks by Differentiable Programming
🤖
Machine Learning
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for DIFFRACT: Neuralized Utility Maximization for Wireless Networks by Differentiable Programming
SLUUG Talk: Demystifying Large Language
Models
on Linux
🤖
Machine Learning
Content type:
Code
github.com
·
3d
3 days ago
·
DEV
Actions for SLUUG Talk: Demystifying Large Language Models on Linux
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help