Feeds to Scour
SubscribedAll
Scoured 23903 posts in 1.15 s
Claude Code: Production ready code in a two-week sprint
thoughtbot.com·2d
⚡Proof Automation
Matchlock: Linux-based sandboxing for AI agents
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️WASM Sandboxing
The Secret Life of Python: The Safety Net ('try' and 'except')
dev.to·4d·
Discuss: DEV
🧪Binary Fuzzing
A Simple Method for Commonsense Reasoning
dev.to·3d·
Discuss: DEV
🌳Context free grammars
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·4d
📝Concrete Syntax
🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
gavinhoward.com·6d
🦀Rust Verification
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
arxiv.org·17h
🎯Performance Proofs
JMigBench: A Benchmark for Evaluating LLMs on Source Code Migration (Java 8 to Java 11)
arxiv.org·17h
⚙️PL Implementation
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·3d·
Discuss: Hacker News
💻Programming languages
Sid Meier's System for Real-Time Music Composition and Synthesis
patents.google.com·4d·
Discuss: Hacker News
🎛️Audio Synthesis
Building the Future with AI That Acts
devxt.com·3d·
Discuss: Hacker News
🏠Homelab Orchestration
Mathematical Resolution of P vs NP through Informational Noise Subtraction and Linear O(n) Mapping
zenodo.org·4d·
Discuss: Hacker News
🎯Performance Proofs
Spike from July 2025: Creating a Programming Language using Coding Agents on GitHub
dsyme.net·3d·
Discuss: Hacker News
🦀Rust Macros
AI Agents are shipping code faster than we can test
christopherhwood.com·2d·
Discuss: Hacker News
⚡Proof Automation
CSCI 49201 - Functional Programming in OCaml
a-nikolaev.github.io·6d·
Discuss: Hacker News
🧬Functional Programming
Software Factories and the Agentic Moment
factory.strongdm.ai·4d·
Discuss: Hacker News
🔐Capability Systems
Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]
sjalander.com·2d·
Discuss: Hacker News
🗜️LZSS Variants
A one-prompt attack that breaks LLM safety alignment
microsoft.com·2d·
Discuss: Hacker News
🌐DNS Security
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·2d·
Discuss: Hacker News
🔗Constraint Handling
Circumstantial Complexity, LLMs and Large Scale Architecture
datagubbe.se·3d·
Discuss: Lobsters, Hacker News
⚙️Proof Engineering

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