Feeds to Scour
SubscribedAll
Scoured 8491 posts in 126.3 ms
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·16h
🛡️seL4
TreeTensor: Boost AI System on Nested Data with Constrained Tree-Like Tensor
arxiv.org·16h
🧩Parser Combinators
555-Based Square-Wave and Triangle-Wave Function Generator Build for Beginners
hackaday.com·2d
🎯GADT
A Software Engineer’s Wish List for CS Research
laser-coder.net·1d·
Discuss: Hacker News
🔤DSLs
Hello World: Algorithmic Trading & DeFi Logic
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·3d·
Discuss: Hacker News, r/Compilers
🔧ppx
Autobiolocation
autobiolocation.is·1d·
Discuss: Hacker News
🔲Cellular Automata
Migrational Thinking
productengineered.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
We recreated the Anthropic C compiler agent
vizops.ai·1d·
Discuss: Hacker News
🔧ppx
Show HN: Moltinder – A dating platform for AI agents with genetic reproduction
news.ycombinator.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Understanding the Go Runtime: The Bootstrap
internals-for-interns.com·1d·
Discuss: Hacker News, r/golang
🏃Escape Analysis
First Proof | Research-Level Math for AI Evaluation
1stproof.org·4d·
Discuss: Hacker News
✓Automated Theorem Proving
creact-labs/creact: CReact is a meta-runtime for building domain-specific, reactive execution engines.
github.com·2d·
Discuss: r/node, r/reactjs
🔧ppx
Designing a Cost-Efficient Agentic System
p.agnihotry.com·1d·
Discuss: Hacker News
🧠Automated Reasoning
Tutorial – What is a variational autoencoder?
jaan.io·1d·
Discuss: Hacker News
📚Automata Learning
I Wrote a Scheme in 2025
maplant.com·1d·
Discuss: Lobsters, Hacker News
🔤Language Design
LocalGPT: A local AI assistant with persistent memory in a single binary
localgpt.app·1d·
Discuss: Hacker News
🔬Unikernels
Vibe coding an RSS feed
blog.fortrabbit.com·1d·
Discuss: Hacker News
🌐Network Protocols
I don't like imports
kevincox.ca·1d·
Discuss: Hacker News
📦Module Systems
Domain Knowledge Is the New Syntax
blog.melashri.net·1d·
Discuss: Hacker News
🔤Language Design

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