Feeds to Scour
SubscribedAll
Scoured 15592 posts in 681.2 ms
Lessons from Formally Verified Deployed Software Systems (Extended version)
arxiv.org·1d
⚖️Verification Calculi
Preview
Report Post
cognitect/transit-format: A data interchange format.
github.com·17h·
Discuss: Hacker News
📋Format Specification
Preview
Report Post
Building Tamper-Evident Audit Trails for Algorithmic Trading: A Deep Dive into VCP v1.1
dev.to·2d·
Discuss: DEV
🌳Archive Merkle Trees
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·1d
🔬Binary Analysis
Preview
Report Post
Mandatory SBOMs: What CRA is — and why it matters
reversinglabs.com·1d
🔐CBOR
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·17h
📊Static Analysis
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.com·23h
✅Format Validation
Preview
Report Post
Architecting Cloud-Native Ambient Agents: Patterns for Scale and Control
next.redhat.com·15h
🏠Homelab Orchestration
Preview
Report Post
Show HN: MacShip – Licensing and distribution SDK/Boilerplate for non-MAS apps
news.ycombinator.com·14h·
Discuss: Hacker News
🖥️Vintage Macintosh
Preview
Report Post
The IRR Landscape: Data Quality - the Good, the Bad, and the Outdated
labs.ripe.net·1d
📡BGP Archaeology
Preview
Report Post
Treat Data Like Hazardous Material: Risks of Over-Collection and Retention
lmgsecurity.com·1h
🔗Data Provenance
Preview
Report Post
Filtering as domain logic
blog.ploeh.dk·2d·
Discuss: r/programming
🗄️Database Internals
Preview
Report Post
High-Availability Feature Flagging at Databricks
databricks.com·9h·
Discuss: Hacker News
🛡️Error Boundaries
Preview
Report Post
But You Knew That Already
dataharness.org·1d·
Discuss: Hacker News
🗄️Database Internals
Preview
Report Post
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.org·48m
🔓Decompilation
Preview
Report Post
Commit Boost
blog.lambdaclass.com·14h
🔐CBOR
Preview
Report Post
Exploring Crystal macros: Building file-based routing for Kemal
krthr.co·10h·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
Introducing FastMCP 3.0 🚀
jlowin.dev·1d·
Discuss: Hacker News
🔌Interface Evolution
Preview
Report Post
Graph-based refactor analysis for Go projects , Arbor v1.4
reddit.com·20h·
Discuss: r/golang
🔗Topological Sorting
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