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
115759
posts in
3.60
s
Russia turns to Asia to solve
employment
crisis
worsened
by war
the-independent.com
·
19m
⚙️
Assembly
Envision
Energy Supports Sri Lanka's Energy Transition as 50MW
Mannar
Wind Project Breaks Ground
prnewswire.com
·
27m
📡
Erlang BEAM
A Day, and a
Nation
, at the
Kennedy
Center
thebulwark.com
·
19m
🔗
Concatenative
Kohrra 2 Review: Mona
Singh-Barun
Sobti
Make A Dream Team
rediff.com
·
28m
⚡
Algebraic Effects
Chemical-Free
Processing
for a Sustainable Blue Economy in India
orfonline.org
·
26m
🌲
Deforestation
How one small Super Bowl halftime
cameo
sparked
betting chaos
the-independent.com
·
17m
🔄
Tail Call Analysis
Notice to the Annual General Meeting of
Kojamo
plc
prnewswire.com
·
28m
🔀
SSA Form
Why War Still
Surprises
thebulwark.com
·
30m
🔐
Capability Protocols
Coke
,
Pepsi
, Dr Pepper revive classics and launch new flavors
finance.yahoo.com
·
26m
🔢
Algebraic Datatypes
🥐 White conspiracy,
Araújo
,
Samu
... 5️⃣ stories to start your Wednesday
sports.yahoo.com
·
26m
⚡
Effect Handlers
State launches $14,000
incentive
program for residents to upgrade their
HVACs
: 'Designed to make ... [it] more affordable'
thecooldown.com
·
17m
🎯
Ring Buffers
'
Overloading
' may have led to deadly Philippine
ferry
sinking
channelnewsasia.com
·
33m
🗑️
Dead Code
Nadella's
Mindless
PR Spam Ahead of the Layoffs 'Snowball' (Adding Up
Batches
) Turning Into an Avalanche (updated)
techrights.org
·
47m
🛡️
Stack Safety
Mathematical Resolution of P vs NP through
Informational
Noise
Subtraction
and Linear O(n) Mapping
zenodo.org
·
3d
·
Discuss:
Hacker News
🧩
SAT Solvers
Which of the 5
philosophical
archetypes
best describes you?
bigthink.com
·
5d
∀
Quantified Types
Al
Carns
en.wikipedia.org
·
1m
🌱
Forth Kernels
Let
Lambda
Come Over
yamlscript.org
·
4d
λ
Lambda Calculus
Grouped
Blockscaled
Gemm
veitner.bearblog.dev
·
3d
🗺️
Region Polymorphism
Hansi
Flick
rewards 20-year-old Barcelona gem with first-team training call
sports.yahoo.com
·
22m
🎭
Racket
Show HN: Engineering Perception with
Combinatorial
Memetics
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🗺️
Region Polymorphism
Loading...
Loading more...
« Page 8
•
Page 10 »
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