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
🔀 Galois Connections
Order Theory, Adjunctions, Abstract Interpretation, Soundness
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8394
posts in
93.0
ms
Finite model theory for
pseudovarieties
and universal algebra: preservation,
definability
and complexity
arxiv.org
·
2d
🧮
Lambda Calculus
Compositionality
of Systems and
Partially
Ordered Runs
arxiv.org
·
1d
⚡
Process Calculi
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
1d
🎯
Hindley-Milner
Indie App Spotlight: ‘
Peaks
’ uses Apple Health data to help you
manage
your energy
9to5mac.com
·
43m
🍎
Apple
Vintage
Canadian Video Hardware Becomes
Homebrew
Computer
hackaday.com
·
12m
💾
Retro Computing
Childhood obesity causes early
vascular
damage: obesity promotes chronic, low-grade
inflammation
in adults and children that keeps the immune system on constant...
agencia.fapesp.br
·
59m
🏛️
CoreFoundation
(Re)
Discovering
Natural
Laws
lesswrong.com
·
1d
🎯
Hindley-Milner
Chained
Assignment in Python
Bytecode
loriculus.org
·
13h
·
Discuss:
Hacker News
⚙️
PL Implementation
A Note on Flat
Abstract
Syntax
Trees
gist.github.com
·
5d
·
Discuss:
Hacker News
🧩
Parser Combinators
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
·
4d
·
Discuss:
Hacker News
🔢
Philosophy of Mathematics
Discord
alternative
is here
echoed.gg
·
50m
·
Discuss:
Hacker News
🌐
ActivityPub
Show HN: A
Deployable
Cross-Platform SIMD RNG Library for C++ (With
Bnchmks
)
news.ycombinator.com
·
40m
·
Discuss:
Hacker News
🔀
OCaml Multicore
A Proof of the
Collatz
Conjecture
github.com
·
2d
·
Discuss:
Hacker News
🎯
Fixed Point Theory
Show HN: Free financial
calculators
built and
deployed
by an AI agent
smallbiz-finance.surge.sh
·
38m
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Run
Whisper
locally on macOS (offline
transcription
)
privatewhisper.app
·
52m
·
Discuss:
Hacker News
🔌
IOKit
Show HN:
PolyMCP
– A framework for building and
orchestrating
MCP agents
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🔍
CBMC
CVE-2026-2070
nvd.nist.gov
·
40m
·
Discuss:
Hacker News
🛡️
macOS Security
Compare
up to 5 LLMs side-by-side, then
fuse
the best answers
llmcode.ai
·
4d
·
Discuss:
Hacker News
🧩
SAT Solvers
FelPawns
: (Update) AI assisted world generation in
RimWorld
felpawns.com
·
41m
·
Discuss:
Hacker News
🔲
Cellular Automata
GLM-5
topped
the coding benchmarks. Then I actually used it.
charlesazam.com
·
51m
·
Discuss:
Hacker News
🔧
ppx
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