Feeds to Scour
SubscribedAll
Scoured 171807 posts in 25.3 ms
Generative Specification: A Pragmatic Programming Paradigm for the Stateless Reader
zenodo.org·1d·
Discuss: DEV
🧮Lean
Specification-Driven Development: The Four Pillars
dev.to·1d·
Discuss: DEV
✅Formal Verification
Spec-driven code generation with LLMs
ossature.dev·1d·
Discuss: Hacker News
⚙️Compilers
Bootstrapping Coding Agents: The Specification Is the Program
arxiv.org·1d
🔍Abstract Interpretation
Precise AI Control: How XML Structured Prompting Revolutionizes Code Generation
faun.pub
·2d
🌀Idris
The 4 Code Generation Capabilities: How AI Became Your Programming Partner
pub.towardsai.net
·3d
🧮Lean
Execution-Grounded Credit Assignment for GRPO in Code Generation
arxiv.org·2d
📐PLT
AI-Assisted Development for Experienced Engineers
faster.dev·1d
🧮Lean
yoshiakist/specre: Atomic, living specification cards for AI-agent-friendly development. Minimal, agnostic, and traceable.
github.com·1d
✅Formal Verification
GuiMiran/spectra: The agentic specification framework. Domain-first specs that AI can consume directly.
github.com·3d·
Discuss: Hacker News
🧮Lean
Less-relevant results
What to use agentic code generation for?
orbific.com·3d
🌀Idris
Conversational Software Engineering: Compiling Intent
robenglander.com·2d·
Discuss: r/compsci
🧮Lean
From SAST to “Shift Everywhere”: Rethinking Code Security in 2026
dzone.com·3d
🔍Abstract Interpretation
Architectures of Error: A Philosophical Inquiry into Human and AI Code
link.springer.com·6d·
Discuss: Hacker News
🔤Type Systems
Programming
mason.bearblog.dev·10h
💻Programming
BYD’s bet on EVs is paying off as drivers ditch gas amid rising oil prices
electrek.co·26m
🔥FIRE
Indian Teen Tanvi Sharma Advances to Orleans Masters Semifinals with Upset Win
rediff.com·27m
🌺Telugu
Longtime ally cuts off military sales to US over Trump’s war
alternet.org·28m
⚙️c++
Mother’s campaign for menB jab catch-up programme gains renewed momentum
the-independent.com·28m
🌍Third Culture Kids
WWE Hall of Fame: Legendary NBA champion Dennis Rodman announced as part of 2026 class
cbssports.com·29m
🌺Telugu

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