Feeds to Scour
SubscribedAll
Scoured 123445 posts in 1.38 s
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·12h·
Discuss: Hacker News
🤖AI
Nation-State Actors Exploit Notepad++ Supply Chain
unit42.paloaltonetworks.com·3h
🔍Static Analysis
Mastra: Build AI agents with a modern TypeScript stack
producthunt.com·1d
🤖AI
When the Matrix Breaks: Failure Modes of Early Matching Systems
linkedin.com·11h·
Discuss: DEV
🔍Symbolic Execution
A Note on Flat Abstract Syntax Trees
gist.github.com·2d·
Discuss: Hacker News
🔧PLT
AGI v1.0 Will Be Harness and Skills
languageops.com·14h·
Discuss: Hacker News
🤖AI
A team of agents (PM, Eng, QA) tackles my Linear tickets while I'm driving
agent-army.ai·9h·
Discuss: Hacker News
🤖AI
wordchipper - my next-gen LLM tokenizer; looking for LTR release help
docs.rs·2d·
Discuss: r/rust
🔎Semantic Analysis
Measure Twice, Prompt Once
ignasibosch.com·1d·
Discuss: DEV
🔍Symbolic Execution
Securing GenAI: Vol 4 — Fundamentals of AI model security
pub.towardsai.net·1d
🔍Refinement Types
Your LLM-as-a-Judge is Asking the Wrong Question
veris.ai·1d·
Discuss: Hacker News
🔍Static Analysis
zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof
eprint.iacr.org·4d
🔍Symbolic Execution
The Secure Force: Building an End-to-End SDLC Without Breaking the Bank
hackernoon.com·20h
🔍Refinement Types
The Agents Are Here and They Want to Transact: Powering the AI Economy with Lightning
lightning.engineering·9h
🔍Symbolic Execution
Vibe Coding for Scientists
vibe-coding-101-iota.vercel.app·1d
🔍Symbolic Execution
The Death of Traditional Testing: Agentic Development Broke a 50-Year-Old Field, JiTTesting Can Revive It
engineering.fb.com·9h·
Discuss: Hacker News
🔍Static Analysis
Why Spec-Driven Development Breaks at Scale (and How to Fix It)
arcturus-labs.com·2d·
Discuss: Hacker News
🔍Static Analysis
Microsoft unveils first preview of .NET 11
infoworld.com·37m
🔍Static Analysis
Gemini writes, Claude polishes, JetBrains rests: an agent development pipeline
ginkida.dev·1d·
Discuss: Hacker News
🤖AI
2025 Q4 and 2026 Q1 Newsletter
odin-lang.org·1d
🔍Refinement Types

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