matmat's Top Finds
Feeds to Scour
SubscribedAll
Scoured 13172 posts in 376.5 ms
Loading...
Automated Theorem Proving for Prolog Verification
arxiv.org·15h
🧮Theorem Proving
Preview
Report Post
**Multimodal Text Analysis of Medieval Illuminated Manuscrip
dev.to·22h·
Discuss: DEV
📜Palimpsest Analysis
Preview
Report Post
Rust is perfectly imperfect
0x80.pl·9h
🦀Embedded Rust
Preview
Report Post
Targeted automation for pre-ingest workflows at the UAL Archives and Special Collections Centre
dpconline.org·13h
📄Document Digitization
Preview
Report Post
Checksumming in filesystems, and why ZFS is doing it right
oshogbo.com·3d
🛡️ZFS Checksums
Preview
Report Post
Hardening eBPF for runtime security: Lessons from Datadog Workload Protection
datadoghq.com·1d·
Discuss: Hacker News
🔍eBPF
Preview
Report Post
Noise-Agnostic Unbiased Quantum Error Mitigation for Logical Qubits
link.aps.org·11h
⚛️Quantum Error Correction
Preview
Report Post
What Happened To WebAssembly
emnudge.dev·7h·
Discuss: Lobsters
🕸️WebAssembly
Preview
Report Post
Semantic Search Without Embeddings
softwaredoug.com·20h
🔍Semantic Search
Preview
Report Post
BGP in 2025
blog.apnic.net·13h
📡BGP Archaeology
Preview
Report Post
Introduction to SIMD programming in pure Rust
kerkour.com·1d·
Discuss: Lobsters, Hacker News
🦀Embedded Rust
Preview
Report Post
From Theory to Tiny: Implementing Compression Dictionaries
calendar.perfplanet.com·2d
🌪️Brotli
Preview
Report Post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Acceleration of Complex RISC-V Processor Verification Using Test Generation Integrated with Hardware Emulation
semiwiki.com·2d
🔧RISC-V Emulation
Preview
Report Post
Digitoxin1/DiskImageTool: A powerful floppy disk image manager with built-in bitstream analysis and optional Greaseweazle and Kryoflux integration
github.com·2d·
Discuss: Hacker News
🔬Floppy imaging
Preview
Report Post
Issue 506
haskellweekly.news·11h
🔗Functional Compilers
Preview
Report Post
Multivariate information decomposition
danmackinlay.name·2d
📐Information Geometry
Preview
Report Post
Solving quantum computing's longstanding 'no cloning' problem with an encryption workaround
phys.org·2d
🔐Quantum Security
Preview
Report Post
The Cloud Gap: Forensic Triage vs. Disk Imaging in the Age of On-Demand Sync
blog.elcomsoft.com·6h
🔬Archive Forensics
Preview
Report Post
The Hazy Haskell Compiler
discourse.haskell.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Creating new types of feeds
andysylvester.com·19h
📡RSS Syndication
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