Feeds to Scour
SubscribedAll
Scoured 23127 posts in 1.16 s
New Project: Cursor creates a Playwright + C-Sharp test framework
tjmaher.com·4h·
Discuss: Blogger
⚡Proof Automation
[$] Evolving Git for the next decade
lwn.net·16h
🌳Git Internals
#0183: RLWRAP and Elixir: A Pragmatic Approach to CLI Readline Support
matthewsinclair.medium.com·18h
🐚Bash Monads
OpenClaw🦞 (ex-Moltbot (ex-Clawdbot)): The AI Butler With Its Claws On The Keys To Your Kingdom
bitsight.com·11h
🎯Gradual Typing
When is a bug not a bug?
blog.zarfhome.com·1d
🧪Binary Fuzzing
Unveiling Bagel: Why Your Developer's Laptop is the Softest Target in Your Supply Chain
boostsecurity.io·13h
🌐WASI
C-- Home
cs.tufts.edu·2d·
Discuss: Lobsters
🔗Concatenative Programming
Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML
hackernoon.com·16h
🌀Differential Geometry
Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries
hackernoon.com·18h
⚡Proof Automation
Stop Testing Attacks, Start Diagnosing Defenses: The Four-Checkpoint Framework Reveals Where LLM Safety Breaks
arxiv.org·1d
🛡️Error Boundaries
Static Analysis Under Non-Deterministic Program Assumptions
arxiv.org·2d
🧪Property-Based Testing
Oatmeal - Constraint propagation for fun
eli.li·4d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
First Proof | Research-Level Math for AI Evaluation
1stproof.org·5d·
Discuss: Hacker News
🎯Performance Proofs
Testing software in the era of coding agents
garymm.org·2d·
Discuss: Hacker News
🧪Property-Based Testing
Outcome Engineering
o16g.com·13h·
Discuss: Hacker News
⚙️Proof Engineering
Announcing TypeScript 6.0 Beta
devblogs.microsoft.com·13h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🎯Gradual Typing
An attempt at a First-Proof AI challenge
abhvio.us·3d·
Discuss: Hacker News
🎯Performance Proofs
Software Is User Action
software-action.hyperclay.com·2h·
Discuss: Hacker News
🔐Capability Systems
A Language For Agents
lucumr.pocoo.org·3d·
Discuss: Lobsters, Hacker News, Hacker News
🗣️Domain-Specific Languages
DFlash: Block Diffusion for Flash Speculative Decoding
z-lab.ai·2d·
Discuss: Hacker News
⚡LZ4 Streaming

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