Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
∘ Category Theory
Functors, Monads, Morphisms, Abstract Algebra
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
101467
posts in
758.5
ms
[2602.07604] Free
fibrations
, lax
colimits
and Kan extensions for $(infty,2)$-categories
arxiv.org
·
2d
📐
Type Theory
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🧮
SMT Solvers
Like
Stories
? Love Python! 📖🐍
Ep.5
dev.to
·
1h
·
Discuss:
DEV
🦀
Rayon
Quantifying improvement of
psychotic
symptoms in
clozapine-treated
schizophrenia: clinical note analysis with large language models
nature.com
·
7h
📊
HyperLogLog
How to Be Less Wrong in a
Polycrisis
thoughtshrapnel.com
·
23h
💫
Effect Systems
"Am I the only one still
wondering
what is the deal with linear
types
?"
jonmsterling.com
·
3h
·
Discuss:
Hacker News
📏
Linear Types
AI-Powered Knowledge Graph Generator &
APTs
, (Thu,
Feb
12th)
isc.sans.edu
·
4h
🕸️
Knowledge Graphs
Finally out! Miriam's (@
miriamppol
) 1st, 1st author
article
!
threadreaderapp.com
·
1d
🧬
Computational Biology
A C implementation of the inference pipeline for the Mistral AI’s
Voxtral
Realtime
4B model
blog.adafruit.com
·
14h
🧮
Intel MKL-DNN
Endomorphisms
via
splittings
eprint.iacr.org
·
2d
🔀
Topological Sorting
(Re)
Discovering
Natural
Laws
lesswrong.com
·
9h
🎯
Hindley-Milner
LoganFlaherty/banish
: A repo for the
Banish
, a Rust embedded DSL that simplifies state machines and rule-based logic.
github.com
·
16h
·
Discuss:
r/rust
🦀
Rust
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
11h
·
Discuss:
Lobsters
⚙️
SWC
cleveref
post 2024 breaks references to
theorems/lemmas
etc
snips.bearblog.dev
·
2h
🔗
FFI
Lost
Proofs
, Found
Proofs
: How AI
Unearthed
Forgotten Solutions
hackernoon.com
·
1d
🧮
SMT Solvers
Carnegie
Mellon at
NeurIPS
2025
blog.ml.cmu.edu
·
1d
📐
Linear Algebra
The
Classifier
Layer: Spam, Safety, Intent, Trust Stand Between You And The Answer via @sejournal, @
DuaneForrester
searchenginejournal.com
·
16h
⚓
Anchors
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
3d
λ
Functional Programming
On This Day in
Math
pballew.blogspot.com
·
1h
·
Discuss:
Blogger
⏰
Lamport Clocks
Finally someone doing
actual
good work with LLMs instead of “Claude,
shit
me out...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🍱
Nom
Loading...
Loading more...
« Page 1
•
Page 3 »
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
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