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
115838
posts in
3.22
s
Impredicativity
in Linear
Dependent
Type Theory
arxiv.org
·
1d
∀
Quantified Types
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
⚖️
Inference Rules
is the trivial
quotient
trivially
trivial?
bsky.app
·
1d
·
Discuss:
Bluesky
⚡
Partial Evaluation
intersection
type in
nLab
ncatlab.org
·
19h
✅
Type Checking
🌌Beginner-Friendly Guide 'Longest Balanced
Subarray
II' -
Leetcode
3721 (C++, Python, JavaScript)
dev.to
·
4h
·
Discuss:
DEV
🪢
Rope Data Structures
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
1d
·
Discuss:
Hacker News
⚡
functional programming
Definability
and
Interpolation
in Philosophy
arxiv.org
·
1d
🔗
Category Theory
Graph
algebra
en.wikipedia.org
·
1d
🔗
Category Theory
Differential
Logic
• 5
inquiryintoinquiry.com
·
1d
∫
Mathematical DSLs
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
3h
·
Discuss:
Hacker News
🦀
Rust Macros
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🚂
Error Monads
Generative
Type
experiments
brendandawes.com
·
1d
🤖
Code Generation
Mathematicians
disagree
on the essential structure of the complex numbers
infinitelymore.xyz
·
15h
·
Discuss:
Hacker News
📐
Mathematical Computing
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
📜
Proof Languages
Expectation
and
Copysets
buttondown.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
🔢
Algebraic Datatypes
what is the vertical
categorification
of inverse
semigroups
bsky.app
·
1d
·
Discuss:
Bluesky
🔗
Category Theory
pythological/kanren
: An extensible, lightweight relational/logic programming DSL written in pure Python
github.com
·
1d
📋
Datalog
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
16h
·
Discuss:
Hacker News
🌈
Gradual Languages
Learning Coupled Actions of Lie Groups:
Kuramoto
Models for Robotics and
Hyperbolic
Data
hackernoon.com
·
1d
🌊
Loop Invariant Motion
Witness-or-Wager
: Incentive Layers for Epistemic
Honesty
lesswrong.com
·
9h
⚖️
Inference Rules
Loading...
Loading more...
Page 2 »
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