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
♾️ Codata Types
Infinite Structures, Observation, Dual Types, Coinduction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
81539
posts in
584.3
ms
DCP-o-matic • Re: CPL as
compositions
and multiple
CPLs
dcpomatic.com
·
2d
🔗
Concatenative Theory
Structure
groupoids
of
quiver-theoretic
Yang-Baxter maps
arxiv.org
·
13h
🔗
Category Theory
Multi-Way
Representation
Alignment
arxiv.org
·
13h
📊
LR Parsing
B+-Tree
Structure
: How Order Is
Maintained
at Scale
dev.to
·
23h
·
Discuss:
DEV
🌳
B+ Trees
Categorical
systems
theory
danmackinlay.name
·
5d
🔗
Category Theory
(50)
Set-Roster
vs Set-Builder
notation
youtube.com
·
2d
🎭
Racket
Rob
Pike
's Simple Regular
Expressions
bruceediger.com
·
1d
🔤
Regex Engines
The
Quest
for Knowledge in The
Witness
superjumpmagazine.com
·
1d
🔗
Concatenative Theory
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
1d
·
Discuss:
DEV
💬
Smalltalk VMs
Tip
of the Week #177:
Assignability
vs. Data Member Types
abseil.io
·
1d
📏
Linear Types
Implementing an
Idempotent
Delete
in Django
dev.to
·
19h
·
Discuss:
DEV
⚡
Effect Handlers
Can AI Rely on the
Systematicity
of Truth? The Challenge of Modelling
Normative
Domains
link.springer.com
·
2d
·
Discuss:
Hacker News
⚖️
Inference Rules
Oatmeal
-
Constraint
propagation for fun
eli.li
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧩
Constraint Solvers
An Introduction to
XML
Data
Binding
in C++
artima.com
·
1d
📋
Template Compilers
Raw
or
typed
ziggit.dev
·
2d
📝
Rope Editors
Classes
of
Originality
jacquesmattheij.com
·
1d
🔗
Concatenative Theory
Weekly
Bookmarks
inkdroid.org
·
1d
🏠
indieweb
Four
Godot
+Rust
tricks
blog.lokkij.com
·
1d
🔒
Rust Borrowing
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
📏
Linear Memory
My Most Important C++
Aha
!
Moments
...Ever
artima.com
·
1d
🔬
Nanopasses
Loading...
Loading more...
« Page 3
•
Page 5 »
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