Digital Evidence

Feeds to Scour
SubscribedAll
Scoured 20 posts in 23.1 ms

Learning Admissible Heuristics via Cost Partitioning

 🧠Learned Indexing  Content type: Academic
arxiv.org·

Somali World Cup referee Omar Artan denied entry into the United States

 📻Homebrew Protocols  Content type: News
the-independent.com·
Less-relevant results

The contract that could get you FIRED (lexploit)

 🛡Cybersecurity  Content type: Blog
legalquants.com··Hacker News

NEWS ROUNDUP – 8th June 2026

 🔐Archive Encryption  Content type: News
digitalforensicsmagazine.com·

I Finished My Thesis Defense — A Journey to Mobile Forensic

 🔍Digital Forensics
infosecwriteups.com
·

Somali football referee denied US entry will miss World Cup debut

 🇸Sweden  Content type: News
rfi.fr·

Secret scoring: Join the CRIF class action now!

 ⚖️Legal Compliance
noyb.eu··Hacker News

Video Timing In Amped FIVE

 🔍Digital Forensics
forensicfocus.com·

The mayor of the sports world

 💻Local first  Content type: News
politico.eu·

World Cup 2026: Referee from Somalia denied entry to the US was about to make history

 📻Homebrew Protocols  Content type: News
the-independent.com·

Value-Refined Modal Fixed-Point Semantics with Certified Choice and Public Share-Alike Certificates

 🛡️Proof-Carrying Data  Content type: Academic
arxiv.org·

World Cup 2026: African referee denied entry into the United States by border control

 📻Homebrew Protocols  Content type: News
the-independent.com·

Output Type Before Quality: A Standards-Derived XAI Admissibility Rubric for Autonomous-Driving Safety

 ⚖️Hoare Logic  Content type: Academic
arxiv.org·

CTI as a Code: Complete Step-by-Step Methodology

 🌿git
infosecwriteups.com
·

Learning Empirically Admissible Neural Heuristics for Combinatorial Search

 🧠Learned Indexing  Content type: Academic
arxiv.org·

RAILS: Verification-Native Clearing For Agentic Commerce

 🎯Gradual Typing  Content type: Academic
arxiv.org·

Quotient Admission Algorithms for Witness-Supported Graph Windows

 🌸Bloom Variants  Content type: Academic
arxiv.org·

Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems

 🔒WASM Capabilities  Content type: Academic
arxiv.org·

Decision-Aware Evaluation of Physics-Informed Surrogates

 🎯Emulation Accuracy  Content type: Academic
arxiv.org·

Conditional Random Ordered Transport Spaces

 🌀Differential Geometry  Content type: Academic
arxiv.org·

No more posts from matmat's subscribed feeds.

Scour all 25255 feedsLearn more about Feeds

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
Save / unsave
s

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