Feeds to Scour
SubscribedAll
Scoured 15592 posts in 423.5 ms
FEATURE - Building Frameworks for Long-Term Digital Preservation
infotoday.comยท1d
๐Ÿ›๏ธOAIS Implementation
Preview
Report Post
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.orgยท1d
โš–๏ธVerification Calculi
Preview
Report Post
Treat Data Like Hazardous Material: Risks of Over-Collection and Retention
lmgsecurity.comยท1h
๐Ÿ”—Data Provenance
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.netยท1dยท
Discuss: Hacker News
โš–๏ธVerification Calculi
Preview
Report Post
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.comยท14h
๐ŸงชArchive Fuzzing
Preview
Report Post
The challenges of soft delete
atlas9.devยท2dยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
Preview
Report Post
CodeSOD: Validation Trimmed Away
thedailywtf.comยท23h
โœ…Format Validation
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.comยท17h
๐Ÿ“ŠStatic Analysis
Preview
Report Post
Privacy-Preserving Active Learning for heritage language revitalization programs with zero-trust governance guarantees
dev.toยท20hยท
Discuss: DEV
๐Ÿ’ปLocal LLMs
Preview
Report Post
Klaraโ€™s Expert Perspective on OpenZFS in 2026 and What to Expect Next
klarasystems.comยท11h
๐Ÿ’ฟZFS Archaeology
Preview
Report Post
Hint-Based SMT Proof Reconstruction
arxiv.orgยท49m
๐ŸงฎSMT Solvers
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.ioยท1d
๐Ÿ›ก๏ธArchive Verification
Preview
Report Post
22.00.0177 Backups aren't enough: create 'restore points'
johnnydecimal.comยท14h
๐Ÿ’ฟBackup Strategies
Preview
Report Post
Enabling autonomous agents with environment virtualization
thenewstack.ioยท7h
๐Ÿค–Network Automation
Preview
Report Post
Nukeproof: Manifesto for European Data Sovereignty
nukeproof.orgยท18hยท
Discuss: Hacker News
๐Ÿท๏ธMetadata Standards
Preview
Report Post
Secret Management with SOPS
unixorn.github.ioยท2d
๐Ÿ”Archive Encryption
Preview
Report Post
Can AI help โ€˜fixโ€™ the patent system?
blogs.gnome.orgยท11h
โš™๏ธProof Engineering
Preview
Report Post
SLSA: Safeguarding artifact integrity across any software supply chain
sam.roque-worcel.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Supply Chain
Preview
Report Post
cognitect/transit-format: A data interchange format.
github.comยท17hยท
Discuss: Hacker News
๐Ÿ“‹Format Specification
Preview
Report Post
Filtering as domain logic
blog.ploeh.dkยท2dยท
Discuss: r/programming
๐Ÿ—„๏ธDatabase Internals
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