Feeds to Scour
SubscribedAll
Scoured 23823 posts in 889.5 ms
(a → a) → a
kivikakk.ee·3d
🌳Context free grammars
The Return of Algol 68
jxself.org·3d
🦀Rust Borrowing
Building Scalable AI Applications: Architecture Patterns That Actually Work
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework
dev.to·4d·
Discuss: DEV
⚡Proof Automation
ABC-Bench and the Real Test for AI Engineers: Can It Run End-to-End?
hackernoon.com·3d
🔍Concolic Testing
Building a Dynamic Multilanguage System Without Rebuilds
kuldeepmodi.vercel.app·3d·
Discuss: DEV
🔄Language Evolution
ESTAR: Early-Stopping Token-Aware Reasoning For Efficient Inference
arxiv.org·23h
🛡️Proof-Carrying Data
Build a Compiler in Five Projects
kmicinski.com·4d
🔨Compilers
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·1d
🎯Performance Proofs
Controlled Cot: A SystemLevel Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com·5d·
Discuss: Substack
📏Linear Logic
Autonomous PRD Agent
minicodemonkey.github.io·3d·
Discuss: Hacker News
⚡Proof Automation
Railway Oriented Programming
fsharpforfunandprofit.com·5d·
Discuss: Hacker News
🐚Shell Monads
an early-stage experimental programming language
solnix-lang.org·3d·
Discuss: DEV, Hacker News
💻Programming languages
Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.
gist.github.com·4d·
Discuss: Hacker News
✨Effect Handlers
The control layer for AI
blog.dottxt.ai·5d·
Discuss: Hacker News
🔒WASM Capabilities
My Experience at the North American Haskell Hackathon AmeriHac
thedeveloper101.github.io·3d·
Discuss: Hacker News
🔗Functional Compilers
Writing a To-Do App in 2027
iamvishnu.com·3d·
Discuss: Hacker News
🔌Interface Evolution
AI Orchestrators Decision Table
gist.github.com·3d·
Discuss: Hacker News
⚡Proof Automation
Code only says what it does
brooker.co.za·4d·
Discuss: Hacker News
📜Proof Carrying Code
The Future of Software Engineering
poberezkin.com·3d·
Discuss: Hacker News
💻Programming languages

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