Feeds to Scour
SubscribedAll
Scoured 7668 posts in 90.9 ms
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🔗Dependent Types
Preview
Report Post
The Cost of Convenience: Identifying, Analyzing, and Mitigating Predatory Loan Applications on Android
arxiv.org·1d
🛡️Privacy Engineering
Preview
Report Post
#1 - Spot Problems Before Reading Any Code
dev.to·12h·
Discuss: DEV
🔍Static Analysis
Preview
Report Post
understanding LSM trees via read, write, and space amplification
bitsxpages.com·9h
🧠Memory Models
Preview
Report Post
Complexity of ArenaAllocator
ziggit.dev·2d
⚡Incremental Computation
Preview
Report Post
Don't Trip[wire] Yourself: Testing Error Recovery in Zig
mitchellh.com·1d·
Discuss: Lobsters, Hacker News
⚙️Zig
Preview
Report Post
Without benchmarking LLMs, you're likely overpaying 5-10x
karllorey.com·1d·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Stop Overusing Interfaces (2017)
blog.hovland.xyz·18h·
Discuss: Hacker News
λFunctional Programming
Preview
Report Post
Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings
arxiv.org·1d
⚙️Concurrency Models
Preview
Report Post
Getting Rounding Right in DeFi
seceureka.com·21h·
Discuss: Hacker News
🔓Binary Exploitation
Preview
Report Post
Understanding C++ Ownership System
blog.aiono.dev·2d·
Discuss: Lobsters, Hacker News
⚠️Unsafe Rust
Preview
Report Post
I built a tool that checks invoices against your contracts automatically
concilely.com·3d·
Discuss: Hacker News, r/SideProject
🤖AI Coding Tools
Preview
Report Post
Tips for Using GitHub Copilot's Agent Mode
incrementsofincrements.bearblog.dev·15h
🤖AI agents
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·23h·
Discuss: r/golang
🔍Static Analysis
Preview
Report Post
Implementing Dino from Scratch
logits.bearblog.dev·1d·
Discuss: Hacker News
🔍Reverse Engineering
Preview
Report Post
But You Knew That Already
dataharness.org·1d·
Discuss: Hacker News
🔧Database Engines
Preview
Report Post
How to find things (an intro to binary search)
drmaciver.substack.com·2d·
Discuss: Substack
🌳B-Trees
Preview
Report Post
Making an LSP for great good
thunderseethe.dev·1d·
Discuss: Lobsters, Hacker News
🔍Query Compilers
Preview
Report Post
Heaps do lie: debugging a memory leak in vLLM.
mistral.ai·17h·
Discuss: Hacker News
🧠Memory Models
Preview
Report Post
Kafka Dead Letter Queue Triage: Debugging 25,000 Failed Messages
skey.uk·14h·
Discuss: Hacker News
📬Apache Kafka
Preview
Report Post

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