Feeds to Scour
SubscribedAll
Scoured 23913 posts in 988.5 ms
[$] Evolving Git for the next decade
lwn.net·3h
🌳Git Internals
The Machine Learning Practitioner’s Guide to Speculative Decoding
machinelearningmastery.com·8h
💻Local LLMs
When is a bug not a bug?
blog.zarfhome.com·16h
🧪Binary Fuzzing
Can AI Code for Vintage?
sparcie.wordpress.com·6h
🏗️Compiler Archaeology
Deferred member initialization in C++
sandordargo.com·20h·
Discuss: Lobsters
🦀Rust Borrowing
Scary Agent Skills: Hidden Unicode Instructions in Skills ...And How To Catch Them
embracethered.com·6h·
Discuss: Lobsters
⚡Proof Automation
The Problem With LLMs
deobald.ca·19h·
Discuss: Lobsters
💻Local LLMs
Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML
hackernoon.com·3h
🌀Differential Geometry
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·14h
🔗Concatenative Programming
TDD Is Backwards: Why Assertions Should Come First in Disruptive Development
hackernoon.com·2d
🧪Property-Based Testing
Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
arxiv.org·1d
🔗Functional Compilers
Property-based testing as executable specs for agentic coding
kiro.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·5h·
Discuss: Hacker News
💻Local LLMs
Lessons learned building a Node.js malware scanner to 400 stars (Open Source)
news.ycombinator.com·3h·
Discuss: Hacker News
🌊BitTorrent
The Real Bottleneck: Why Faster Coding Doesn't Speed Up Projects
heise.de·5h·
Discuss: Hacker News
📏Code Metrics
Building a Slack Bot
siivikko.fi·1d·
Discuss: Hacker News
⚡Proof Automation
Property-based testing is about to rule the (software) world
tybug.dev·1h·
Discuss: Hacker News
🧪Property-Based Testing
We hid backdoors in binaries – Opus 4.6 found 49% of them
quesma.com·1d·
Discuss: Hacker News, Hacker News, r/ClaudeAI, r/programming
🦠Malware Analysis
An attempt at a First-Proof AI challenge
abhvio.us·3d·
Discuss: Hacker News
🎯Performance Proofs
six thoughts on generating c
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros

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