Feeds to Scour
SubscribedAll
Scoured 18985 posts in 226.9 ms
Learning to Inject: Automated Prompt Injection via Reinforcement Learning
arxiv.org·2d
⚔️Lean Tactics
SPELL: Synthesis of Programmatic Edits using LLMs
arxiv.org·5d
✨Effect Handlers
Code that fits in a context window
blog.ploeh.dk·6d
🔗Concatenative Programming
Fast FRR Container Configuration
blog.ipspace.net·6d
🤖Network Automation
Show HN: Prompt-injection‑resistant agent runtime that writes web apps
github.com·3d·
Discuss: Hacker News
🌐WASI
local-first context manager for AI coding workflows
contextpin.com·5d·
Discuss: Hacker News
⚡SMT Integration
How I'm writing code in 2026
coryzue.com·5d·
Discuss: Hacker News
⚡Proof Automation
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·5d·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
denysvitali/claude-code-patches: Make Claude Code fast again.
github.com·4d·
Discuss: Hacker News
🔩Systems Programming
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·6d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Coding Agents Need More Than Examples. They Need Guardrails.
medium.com·5d·
Discuss: Hacker News
🦋Format Evolution
Bjarne’s Last Stand: How the Father of C++ Is Fighting a Losing War Against Rust
lucisqr.substack.com
·6d·
Discuss: Substack, r/cpp
🦀Rust Borrowing
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
news.ycombinator.com·5d·
Discuss: Hacker News
⚔️Lean Tactics
An AI Workflow to Slow Down and Reflect in the Age of Inference-Speed
souravinsights.com·5d·
Discuss: Hacker News
⚡Proof Automation
java sucks (2000)
jwz.org·5d·
Discuss: Lobsters
🔗Concatenative Programming
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·5d·
Discuss: Substack
🦀Rust Borrowing
We built a web IDE where AI edits structured code instead of text
stellisoft.com·5d·
Discuss: Hacker News
🦀Rust Macros
Evaluating Large Language Models on Agentic Workspace Bootstrapping
nightshift.sh·6d·
Discuss: Hacker News
⚡Proof Automation
The Terminal: First Steps and Useful Commands for Python Developers
realpython.com·6d
📟Terminals
Functional Programming Bits in Python
martynassubonis.substack.com·6d·
Discuss: Substack, r/programming, r/webdev
🔗Functional Compilers

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