Feeds to Scour
SubscribedAll
Scoured 8196 posts in 66.1 ms
Bounded Modal Logic
arxiv.orgยท2d
โณLTL
Generalized Decidability via Brouwer Trees
arxiv.orgยท1d
๐Ÿ”ขComputability Theory
So we have any for interface{} and nil
reddit.comยท5dยท
Discuss: r/golang
โ“Existential Types
A practical systems engineering guide: Architecting AI-ready infrastructure for the agentic era
thenewstack.ioยท3d
๐ŸŒNetwork Protocols
OK, what's the difference between coherence and representation theorems?
lesswrong.comยท3d
๐Ÿ”ขPhilosophy of Mathematics
A high-performance Go framework (250k+ req/sec) with built-in batteries
go-kvolt.github.ioยท2d
๐ŸซEmbedded OCaml
Show HN: A deterministic adversarial puzzle system
hashclue.comยท14hยท
Discuss: Hacker News
๐Ÿ”—Curry-Howard
It's with much sadness that we announce the passing of our friend and colleague Ralph Giles, or rillian as he was known on IRC. Ralph began contributing to Xiph.org in 2000 and became a coreโ€ฆ
linkedin.comยท1h
๐Ÿ”งDarwin Internals
miniKanren.org
minikanren.orgยท4dยท
Discuss: Lobsters
๐Ÿ“ฆModule Systems
Building Chess in about 350 lines of Clojure
sammystraus.comยท1dยท
Discuss: Hacker News
๐ŸŽฎVerification Games
Nick Bostrom: Optimal Timing for Superintelligence
lesswrong.comยท1h
โฐTimed Automata
How I Built My Project in Haskell
dev.toยท5dยท
Discuss: DEV
ฮปFunctional Programming
Microgpt.py
gist.github.comยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿ”€Brzozowski Derivatives
Show HN: Temp Mail โ€“ Fastest temporary email generator for iOS/macOS
tempmail.jamcry.appยท1hยท
Discuss: Hacker News
๐ŸŽApple
Ask HN: Why is my Claude experience so bad? What am I doing wrong?
news.ycombinator.comยท36mยท
Discuss: Hacker News
๐Ÿ“บVintage Apple
turn messy CSV exports into shareable dashboards (no signup)
introspectdigital.comยท1hยท
Discuss: Hacker News
๐ŸŒStatic Sites
Call for Founders
twinlabs.notion.siteยท1hยท
Discuss: Hacker News
๐Ÿ”งMicroservices
Changelog & Version History
goaccess.ioยท26mยท
Discuss: Hacker News
๐Ÿ“ฆOpam
<css-doodle />
css-doodle.comยท42mยท
Discuss: Hacker News
๐Ÿ”คTypography
Show HN: Connect Slack to Your OpenClaw
openclaw-setup.meยท1hยท
Discuss: Hacker News
๐ŸŒActivityPub

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