Feeds to Scour
SubscribedAll
Scoured 14 posts in 9.0 ms
Binary Lambda Calculus  ✅Formal Verification
esolangs.org·5d·Hacker News
Two-Level Type Theory and Applications  ✅Formal Verification
arxiv.org·2d
Molecular design for high-performance organic photosensitizers  💻Programming
nature.com
·8h
A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more!  ✅Formal Verification
federicobruzzone.github.io·1d·Hacker News
higher dimensional automaton in nLab  ✅Formal Verification
ncatlab.org·3d
Less-relevant results
Social Animus  🕸️IndieWeb
justine.lol·21h·Hacker News
heikowagner/nela-lang: NELA: Net-based Executable Logic Automaton — a programming language designed for LLMs, built on Interaction Net theory  ✅Formal Verification
github.com·3d·Hacker News
Ask HN: Did forums solve what Discord and Reddit still don't?  🌐Open Web
news.ycombinator.com·1d·Hacker News
languagedesignnotes  ⚙️Compilers
cs.lmu.edu·6d
Monads Are Easy  ✅Formal Verification
krishna.github.io·4d·Hacker News, r/programming
Busy beaver  🧮Algorithms
en.wikipedia.org·4d·r/compsci
All Lean Books and Where to Find Them  ⚙️Compilers
lakesare.brick.do·5d·Hacker News
Announcing Isabelle support for SAW  ✅Formal Verification
galois.com·6d·Lobsters
Hica for beginners  ✅Formal Verification
cladam.github.io·1h·r/learnprogramming

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
Save / unsave
s

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