Feeds to Scour
SubscribedAll
Scoured 8068 posts in 119.7 ms
Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity
arxiv.org·1d
🔀Galois Connections
NUASM — Neuro‑Universal‑ASM: The World's First Native Multi‑Language Assembler
dev.to·5d·
Discuss: DEV
⚙️Compiler Design
Bounded Modal Logic
arxiv.org·2d
⏳LTL
OK, what's the difference between coherence and representation theorems?
lesswrong.com·3d
🔢Philosophy of Mathematics
models have some pretty funny attractor states
lesswrong.com·21h
🔲Cellular Automata
Olympic athletes push their bodies to the limit. Should we?
text.npr.org·13m·
Discuss: Hacker News
🏔️climbing
Apple's Next Two Products Are Coming Soon
macrumors.com·40m·
Discuss: Hacker News
🍎Apple
EloqDoc vs MongoDB - Part 2: Feature-by-Feature Comparison
devtoolsacademy.com·8m·
Discuss: Hacker News
🔢Algebraic Data Types
Regulation Is a Service Problem
non.io·42m·
Discuss: Hacker News
❄️NixOS
Show HN: Free OSS cold email bulk sender and management
news.ycombinator.com·52m·
Discuss: Hacker News
❄️NixOS
Generate PBR textures for 3D models in seconds
texturefast.com·34m·
Discuss: Hacker News
🔲Cellular Automata
Evolving Git for the next decade
lwn.net·12m·
Discuss: Lobsters, Hacker News
🔧DevOps
Using the Ralph Wiggum loop to execute Kiro specs
it20.info·48m·
Discuss: Hacker News
💻CLI Tools
Computing large Fibonacci numbers
johndcook.com·5d·
Discuss: Hacker News, Hacker News
λFunctional Programming
I Built You a Valentine’s App in 33 Minutes. This Post Took Longer.
karozieminski.substack.com·29m·
Discuss: Substack
🌐ActivityPub
the problem isn’t OpenClaw. it’s the architecture.
vulnu.com·41m·
Discuss: Hacker News
🛡️seL4
Heuristics for lab robotics, and where its future may go
owlposting.com·4d·
Discuss: Hacker News
🤖Robotics
Pattyboi101/LogicGate: AI-native Business Logic Vulnerability Scanner for JS/TS
github.com·15m·
Discuss: Hacker News
📊Runtime Verification
Opus 4.6: long haul breakthrough
nickheiner.substack.com·37m·
Discuss: Substack
🔄Reproducible Builds
Clawlet: Lightweight Alternative to OpenClaw, Nanobot
github.com·53m·
Discuss: Hacker News, Hacker News
🌐ActivityPub
Sign up or log in to see more results
Sign UpLogin

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