Feeds to Scour
SubscribedAll
Scoured 9655 posts in 386.9 ms
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
arxiv.org·2h
💎Refinement Types
Preview
Report Post
Automatic programming
antirez.com·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
Preview
Report Post
Professional Guide to Effective AI-Assisted Coding
dev.to·16h·
Discuss: DEV
🧠Automated Reasoning
Preview
Report Post
Mekara: Workflows as Code Proof-of-Concept
meksys-dev.github.io·3h·
Discuss: Hacker News
🔄Reproducible Builds
Preview
Report Post
CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems
arxiv.org·1d
🔲Cellular Automata
Preview
Report Post
Beyond Giant Models: Why AI Orchestration Is the New Architecture
kdnuggets.com·14h
🧠Automated Reasoning
Preview
Report Post
Why AI Demands New Engineering Ratios
jsrowe.com·5h·
Discuss: r/programming
🔧DevOps
Preview
Report Post
Verifying coding AIs for LLM powered software
aunhumano.com·11h·
Discuss: Hacker News
🔍Formal Verification
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·12h·
Discuss: Lobsters, Hacker News, r/golang
🐫Embedded OCaml
Preview
Report Post
AI for Human Reasoning for Rationalists
lesswrong.com·18h
🧠Automated Reasoning
Preview
Report Post
clojure.spec - Rationale and Overview
clojure.org·1d·
Discuss: Hacker News
📦Module Systems
Preview
Report Post
CI/CD Pipeline Best PracticesCI/CD Pipeline Best Practices for 2025: Building Resilient, Secure…
blog.devops.dev
·20h
🔧DevOps
Preview
Report Post
LLMs as the new high level language
federicopereiro.com·1d·
Discuss: Lobsters, Hacker News
📦Module Systems
Preview
Report Post
DEVASC 200-901: Leading Network Programmability
dev.to·1d·
Discuss: DEV
📡Network Protocol Design
Preview
Report Post
Manual Programming
illegalcode.net·3d·
Discuss: Lobsters, Hacker News
💻CLI Tools
Preview
Report Post
Show HN: Build a coding agent in 500 lines (Pure Python, No Vector DBs)
news.ycombinator.com·16h·
Discuss: Hacker News
🔧ppx
Preview
Report Post
Where the Work Goes When Agents Arrive
dreamiurg.net·1d·
Discuss: Hacker News
🔧DevOps
Preview
Report Post
Coding Agents Need More Than Examples. They Need Guardrails.
medium.com·14h·
Discuss: Hacker News
🏃Escape Analysis
Preview
Report Post
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
λFunctional Programming
Preview
Report Post
Formally Verifying PBS Kids with Lean4
shadaj.me·1d·
Discuss: Hacker News
🎮Verification Games
Preview
Report Post

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