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
115884
posts in
2.61
s
Wheeler
Bisimulations
arxiv.org
·
1d
🔍
Type Inference
Pep Guardiola drops John
Stones
selection hint for
Fulham
clash amid exit talk
sports.yahoo.com
·
27m
🔍
Fuzzy Matching
Tropical Cyclone
Gezani
hits
Madagascar
and kills at least 9 on the Indian Ocean island
sootoday.com
·
26m
📈
Earley Parsing
Private
capex
needs to increase to help India reach its
Viksit
Bharat goal, says former RBI Gov
thehindubusinessline.com
·
44m
💾
IoT Allocators
On Generation in
Metric
Spaces
arxiv.org
·
1d
🔍
Type Inference
SJVN
Q3 earnings: Net profit up 50%, interim dividend,
fundraising
and more
businesstoday.in
·
54m
📚
Forth
From Google
founders
to Meta chief: Which top tech
executives
left California over billionaire tax?
livemint.com
·
14m
🧱
First Principles
Sensex
, Nifty settle mixed; is this
indication
of a consolidation phase?
businesstoday.in
·
41m
🔗
Unification
I got
bored
and had Claude design and
implement
a programming language
github.com
·
1d
·
Discuss:
Hacker News
✅
Type Checking
An
attempt
at a
First-Proof
AI challenge
abhvio.us
·
2d
·
Discuss:
Hacker News
λ
Lambda Calculus
February 11th Weather
Discussion
sootoday.com
·
20m
🔗
Lexical Scoping
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
Nearly a third of Indian fish catch lost
post-harvest
as govt eyes
circular
marine economy
thehindubusinessline.com
·
24m
🔌
Microcontrollers
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
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