Feeds to Scour
SubscribedAll
Scoured 81860 posts in 280.7 ms
Structure groupoids of quiver-theoretic Yang-Baxter maps
arxiv.org·18h
🔐Cryptography
Categorical systems theory
danmackinlay.name·5d
🔐Cryptography
Lean 4 and the Curry–Howard correspondence
wildonblog.wordpress.com·4h
🔐Cryptography
Weisfeiler and Lehman Go Categorical
arxiv.org·18h
🔐Cryptography
Understanding the Archetypes involving the eight functions of type (Beebe model)
personalitycafe.com·17h
🔐Cryptography
Togelius: Math and me
togelius.blogspot.com·5h
🔐Cryptography
Design and missing categories
jamesg.blog·1d
🦀Rust
About the Information System on Graph Classes and their Inclusions
graphclasses.org·10h
🔐Cryptography
plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol
github.com·3h
🔐Cryptography
string theory - spqr
archiveofourown.org·21h
🔐Cryptography
Differential Logic • 4
inquiryintoinquiry.com·1d
🔐Cryptography
Fragments: February 9
martinfowler.com·4h
🔐Cryptography
I don't like imports
kevincox.ca·5h·
Discuss: Hacker News
🦀Rust
A Note on Flat Abstract Syntax Trees
gist.github.com·5h·
Discuss: Hacker News
🦀Rust
Main Content || Math ∩ Programming
jeremykun.com·1d
🔐Cryptography
Learn Weird Programming Languages
okienko.day·10h·
Discuss: Hacker News
🔐Cryptography
Autobiolocation
autobiolocation.is·22h·
Discuss: Hacker News
🔐Cryptography
Pluribus
unwinnable.com·18h
🔐Cryptography
Simplifying assertions with lenses
blog.ploeh.dk·9h
⚗️Elixir
Making Waffles with Group Theory
hmpcabral.com·8h·
Discuss: Hacker News
🔐Cryptography

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help