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
📐 Quotient Types
Setoids, Observational Equality, Dependent Types, Cubical
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115771
posts in
1.99
s
On Generation in
Metric
Spaces
arxiv.org
·
1d
🔍
Type Inference
In-demand defender
prefers
Real Madrid switch if he
decides
to leave in the summer
sports.yahoo.com
·
29m
📐
Standard ML
Commerce Secy
Rajesh
Agrawal
Highlights Massive Opportunity In India-EU FTA
businesstoday.in
·
11m
📚
Forth
The Ideal
Membership
Problem and
Abelian
Groups
arxiv.org
·
1d
🎨
Graph Coloring
Silver
rebounds
, gold firms as
softer
US data fuels expectations of deeper Fed rate cuts
businesstoday.in
·
34m
🔢
Algebraic Datatypes
Farke
deserves credit for
fightback
sports.yahoo.com
·
37m
🧵
Forth Threading
London’s
Seamflow
lands $4.5M to fix EU’s 20-month med device
crunch
techfundingnews.com
·
14m
📡
Async Channels
theHigherGeometer
thehighergeometer.wordpress.com
·
5d
🔗
Category Theory
Tip of the Week #59:
Joining
Tuples
abseil.io
·
3d
📝
String Interning
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
∫
Mathematical DSLs
Puzzle
Potential
jhyde.itch.io
·
2d
🤐
Zipper Structures
Deep dive into
Hierarchical
Navigable
Small Worlds
amandeepsp.github.io
·
3d
·
Discuss:
Hacker News
,
r/Zig
,
r/programming
🤐
Zipper Structures
To Be
Determined
anekstein.com
·
2d
·
Discuss:
Hacker News
📋
Copy GC
A Neighborhood of Infinity: You Could Have
Invented
Monads
! (And Maybe You Already Have.)
blog.sigfpe.com
·
4d
🧩
Monadic Parsing
Dependency
Resolution
Methods
nesbitt.io
·
4d
·
Discuss:
Hacker News
📦
Package Managers
8-piece
tablebase
development on Lichess (
op1
partial)
lichess.org
·
4d
·
Discuss:
Hacker News
🔀
SSA Construction
Weeknotes
2026-W06
› Project
Pterodactyl
: incremental architecture
jonmsterling.com
·
3d
·
Discuss:
Hacker News
,
r/Compilers
🔬
Nanopasses
Eshaancoding/ad
:
Autodiff
created in Python. Full ahead-of-time compiler. Reduces to ~12 simple operations. Multiple IRs (Graph IR --> Procedural IR). Kernel Fusion, Memory/Computation Optimization
github.com
·
2d
·
Discuss:
Hacker News
🔄
Subinterpreters
On the Use of
Atkin
and Weber Modular Polynomials in
Isogeny
Proofs of Knowledge
eprint.iacr.org
·
5d
🧮
Combinator Calculus
Tip
of the Week #177:
Assignability
vs. Data Member Types
abseil.io
·
3d
📏
Linear Types
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