Feeds to Scour
SubscribedAll
Scoured 24267 posts in 499.7 ms
Generative Type experiments
brendandawes.com·1d
✨Effect Handlers
Trisecting an Angle, an Interesting Historical Comparison and a Mystery
pballew.blogspot.com·22h·
Discuss: Blogger
🔐Cryptographic Archaeology
Claude Code: swarm mode (agent teams)
perrotta.dev·1d
⚡Proof Automation
ABC-Bench and the Real Test for AI Engineers: Can It Run End-to-End?
hackernoon.com·2d
🔍Concolic Testing
Show HN: LocalGPT – A local-first AI assistant in Rust with persistent memory
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Craig Interpolation in Program Verification
arxiv.org·1d
⚖️Verification Calculi
Profinite trees, through Lawvere theories and the lambda-calculus
arxiv.org·1d
λLambda Encodings
Building Reliable AI Applications: A Validation Strategy
dev.to·2d·
Discuss: DEV
✅Format Verification
Technical Details of My LLM-Generated Book
mattbruenig.com·17h·
Discuss: Hacker News
📝Concrete Syntax
Show HN: ContinualCode – a coding agent that updates its weights from feedback
sdan.github.io·1d·
Discuss: Hacker News
✨Effect Handlers
The Potential of RLMs
dbreunig.com·1d·
Discuss: Hacker News
📏Linear Logic
Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval
dev.thelastrag.de·2d·
Discuss: Hacker News
🔍BitFunnel
LLMs Are Prediction Machines
kaelandt.github.io·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: Molinar – Open-source alternative to ai.com (AGPL-3.0)
business.molinar.ai·1d·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Find automation ideas and creators by sharing your business problem
humation.ai·1d·
Discuss: Hacker News
📡RSS Automation
A Language For Agents
lucumr.pocoo.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
🗣️Domain-Specific Languages
I Let AI Agents Train Their Own Models. Here's What Actually Happened.
hamzamostafa.com·2d·
Discuss: Hacker News
⚡Proof Automation
Togelius: Math and me
togelius.blogspot.com·1d·
Discuss: Hacker News
📐Mathematical Art
Railway Oriented Programming
fsharpforfunandprofit.com·4d·
Discuss: Hacker News
🐚Shell Monads
AI Workflows with human-in-the-loop
weavemind.ai·2d·
Discuss: Hacker News
⚡Incremental Computation

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