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
81134
posts in
313.7
ms
Do It for HER: First-Order Temporal Logic
Reward
Specification
in Reinforcement Learning (Extended Version)
arxiv.org
·
8h
📏
Linear Logic
Structure
groupoids
of
quiver-theoretic
Yang-Baxter maps
arxiv.org
·
8h
🔗
Category Theory
An Analysis of
Poptropica
’s
Mancala
farlow.dev
·
1d
·
Discuss:
Hacker News
🌊
Effect Rows
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
3d
·
Discuss:
Hacker News
🌳
Tree Walking
Implementing an
Idempotent
Delete
in Django
dev.to
·
14h
·
Discuss:
DEV
⚡
Effect Handlers
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
📏
Linear Memory
Classes
of
Originality
jacquesmattheij.com
·
1d
🔗
Concatenative Theory
The Future of Software Engineering
poberezkin.com
·
17h
·
Discuss:
Hacker News
🎭
Program Synthesis
My Most Important C++
Aha
!
Moments
...Ever
artima.com
·
1d
🔬
Nanopasses
Tip of the Week #144: Heterogeneous
Lookup
in
Associative
Containers
abseil.io
·
1d
📋
Row Typing
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🚂
Error Propagation
Build a
Compiler
in Five Projects
kmicinski.com
·
2d
🎭
Racket Modules
ERC-8004
: A
Trustless
Agent Standard for On-Chain AI in Avalanche C-Chain
medium.com
·
1d
📡
Erlang
Early History of a Perfect Join
Algorithm
remy.wang
·
1d
📈
Query Optimization
Data-Oriented
Programming for
Java
: Beyond Records
openjdk.org
·
3d
📊
Row Polymorphism
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
1d
🔧
Scheme Macros
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
2d
🔧
API Design
Four
Godot
+Rust
tricks
blog.lokkij.com
·
1d
🔒
Rust Borrowing
Why are Neural Networks
architected
that way in the first place?
threads.championswimmer.in
·
1d
🗺️
Region Inference
Ese
atharvaraykar.com
·
1d
📚
Factor
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