Feeds to Scour
SubscribedAll
Scoured 22940 posts in 1.30 s
[$] Evolving Git for the next decade
lwn.net·20h
🌳Git Internals
The Machine Learning Practitioner’s Guide to Speculative Decoding
machinelearningmastery.com·1d
💻Local LLMs
OpenClaw🦞 (ex-Moltbot (ex-Clawdbot)): The AI Butler With Its Claws On The Keys To Your Kingdom
bitsight.com·16h
🎯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·18h
🌐WASI
C-- Home
cs.tufts.edu·2d·
Discuss: Lobsters
🔗Concatenative Programming
Scary Agent Skills: Hidden Unicode Instructions in Skills ...And How To Catch Them
embracethered.com·23h·
Discuss: Lobsters
⚡Proof Automation
Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML
hackernoon.com·21h
🌀Differential Geometry
Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries
hackernoon.com·23h
⚡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
six thoughts on generating c
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Show HN: Solving Sudoku reasoning via Energy Geometric models
davisgeometric.com·3h·
Discuss: Hacker News
🌀Differential Geometry
The Many Flavors of Ignore Files
nesbitt.io·2h·
Discuss: Hacker News
🌿git
Oatmeal - Constraint propagation for fun
eli.li·4d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
An attempt at a First-Proof AI challenge
abhvio.us·4d·
Discuss: Hacker News
🎯Performance Proofs
Outcome Engineering
o16g.com·18h·
Discuss: Hacker News
⚙️Proof Engineering
Announcing TypeScript 6.0 Beta
devblogs.microsoft.com·18h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🎯Gradual Typing
Software Is User Action
software-action.hyperclay.com·7h·
Discuss: Hacker News
🔐Capability Systems
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