Feeds to Scour
SubscribedAll
Scoured 23111 posts in 246.9 ms
When Execution is Cheap, Judgment becomes Scarce
brajeshwar.com·8h
🎯Proof Tactics
Agentic AI Engineering Workflows for iOS in 2026
blog.jacobstechtavern.com
·2d
⚡Incremental Computation
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
📝Concrete Syntax
Main Content || Math ∩ Programming
jeremykun.com·3d
🧮Kolmogorov Complexity
What's up with Haskell's do notation?
slightknack.dev·2d
🧬Functional Programming
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·2d
🧪Property-Based Testing
Dynamical sequences: closure properties and automatic identity proving
arxiv.org·2d
🎯Performance Proofs
You Don't Need It
moq.dev·12h·
Discuss: Hacker News
🌐Protocol Synthesis
How I Use ActivitySmith While Deploying ActivitySmith
activitysmith.com·1d·
Discuss: Hacker News
📦Package Managers
On the Incoming Slopocalypse and the Death(?) of Open Source
llamaindex.ai·14h·
Discuss: Hacker News
🔓Open Source Software
How Talking to a Rubber Duck Made Me a Better Developer
talkflow.substack.com·12h·
Discuss: Substack, r/programming
🔍Concolic Testing
Show HN: I built simple browser tools bcoz I'm tired of everything becoming SaaS
bitlist.io·16h·
Discuss: Hacker News
🔍BitFunnel
Reducing Attack Surface for AI Agents with Process-Scoped Credentials
dreamiurg.net·14h·
Discuss: Hacker News
🛡️CLI Security
Exploring Chess Positions and Counts
win-vector.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Three Conversations Worth Having with Your CTO
docs.eventsourcingdb.io·12h·
Discuss: Hacker News
🔗Data Provenance
an early-stage experimental programming language
solnix-lang.org·4d·
Discuss: DEV, Hacker News
💻Programming languages
The Quiet Surrender to AI
jcmartinez.dev·11h·
Discuss: Hacker News, r/webdev
🤖AI Curation
Spike from July 2025: Creating a Programming Language using Coding Agents on GitHub
dsyme.net·3d·
Discuss: Hacker News
🦀Rust Macros
Experiments in building bespoke tools with AI
knlb.dev·3d·
Discuss: Hacker News
⚡Incremental Computation
Hands-Free Claude Code with the Agent SDK
yberreby.com·1d·
Discuss: Hacker News
🎙️Whisper

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