Feeds to Scour
SubscribedAll
Scoured 8562 posts in 240.1 ms
Agentic Coding and the Problem of Oracles
epkconsulting.substack.com·4d·
Discuss: r/programming
📐Hoare Logic
It Is Reasonable To Research How To Use Model Internals In Training
lesswrong.com·4d
🔬Static Analysis
The Machine Learned Our Language
medium.com·5d·
Discuss: r/programming
📚Automata Learning
ReAct Pattern
dev.to·4d·
Discuss: DEV
🌐Network Protocols
The Importance of Prompts in the AI Era (and Why Prompt Sharing Platforms Matter)
dev.to·4d·
Discuss: DEV
🔲Cellular Automata
TamperBench: Systematically Stress-Testing LLM Safety Under Fine-Tuning and Tampering
arxiv.org·3d
🔍Formal Verification
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·1d
🎯GADT
A/B test yourself vs code agent | Artur Kęsik
arturkesik.com·6d·
Discuss: Hacker News
🤖Program Synthesis
Controlled Cot: A SystemLevel Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com·5d·
Discuss: Substack
🧠Automated Reasoning
Building the Future with AI That Acts
devxt.com·4d·
Discuss: Hacker News
🧠Automated Reasoning
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·4d·
Discuss: Hacker News
⚙️Compiler Design
ahead-of-time wasm gc in wastrel
wingolog.org·5d·
Discuss: Lobsters, Hacker News
📊Runtime Verification
Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)
linuxjournal.com·4d·
Discuss: Hacker News
🔀OCaml Multicore
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·5d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Spike from July 2025: Creating a Programming Language using Coding Agents on GitHub
dsyme.net·3d·
Discuss: Hacker News
🔧DevOps
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·4d·
Discuss: Lobsters, Hacker News
⚙Operational Semantics
Show HN: The Control and Memory Layer for AI Agents
news.ycombinator.com·2d·
Discuss: Hacker News
🔲Cellular Automata
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·4d·
Discuss: Hacker News
📐Hoare Logic
Show HN: Skill Lab – CLI tool for testing and quality scoring agent skills
github.com·4d·
Discuss: Hacker News
🎮Verification Games
StellarSk8board/bardacle: A metacognitive layer for AI agents - short-term memory that survives context loss
github.com·1d·
Discuss: Hacker News
🛡️seL4

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