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
🌊 Coalgebra
Coinduction, Bisimulation, Stream Calculus, Final Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8104
posts in
53.3
ms
Bounded
Modal
Logic
arxiv.org
·
2d
⏳
LTL
Generalized
Decidability
via
Brouwer
Trees
arxiv.org
·
1d
🔢
Computability Theory
The Engineering of the
Falkirk
Wheel
hackaday.com
·
56m
🔲
Cellular Automata
So we have any for
interface
{} and
nil
reddit.com
·
5d
·
Discuss:
r/golang
❓
Existential Types
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
3d
🌐
Network Protocols
Towards an objective test of
Compassion
- Turning an abstract test into a collection of
nuances
lesswrong.com
·
53m
⬜
Minimalism
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
λ
Functional Programming
A high-performance Go framework (
250k
+
req/sec
) with built-in batteries
go-kvolt.github.io
·
3d
🐫
Embedded OCaml
You're Already Building
Petri
Nets. You're Just Building Them
Badly
.
joshtuddenham.dev
·
10h
·
Discuss:
Hacker News
⚡
Process Calculi
OK, what's the difference between
coherence
and representation
theorems
?
lesswrong.com
·
3d
🔢
Philosophy of Mathematics
miniKanren.org
minikanren.org
·
4d
·
Discuss:
Lobsters
📦
Module Systems
Chris
Liddell
appointed
to Anthropic’s board of directors
anthropic.com
·
57m
·
Discuss:
Hacker News
🔧
ppx
Show HN: A
deterministic
adversarial
puzzle system
hashclue.com
·
21h
·
Discuss:
Hacker News
🔗
Curry-Howard
Show HN: 1MB iOS apps designed to
reduce
mental open
loops
news.ycombinator.com
·
56m
·
Discuss:
Hacker News
📵
Digital Minimalism
Show HN:
Libgd-GIS
– Render maps and GIS data directly in Ruby (
GeoJSON
→ Image)
ggerman.github.io
·
28m
·
Discuss:
Hacker News
🔲
Cellular Automata
We still can't design credit card
machines
attainablefelicity.mattkirkland.com
·
28m
·
Discuss:
Hacker News
🔧
Microcontrollers
Building
Chess
in about 350 lines of
Clojure
sammystraus.com
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
Struggling
Towards an
Algebraic
Theory of Music
reasonablypolymorphic.com
·
3d
·
Discuss:
Hacker News
➡️
Category Theory
Making
Waffles
with Group Theory
hmpcabral.com
·
4d
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Expectation
and
Copysets
buttondown.com
·
3d
·
Discuss:
Hacker News
,
Hacker News
🔢
Algebraic Data Types
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