matmat's Feed · Scour

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·2d

🦀Rust Verification

Weekly Bookmarks

inkdroid.org·2h

📚MARC Archaeology

The quantum era is coming. Are we ready to secure it?

blog.google·2d·

Discuss: r/programming

🔐Quantum Security

Theory-independent monitoring of the decoherence of a superconducting qubit with generalized contextuality

nature.com·20h

⚛️Quantum Channels

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🐚Shell Monads

The UK Web Archive: continuing our work behind the scenes

bl.uk·15h

🌐Web Archives

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·8h

🦀Rust Borrowing

AI Watermark & Stego Scanner (Text + Code)

ulrischa.github.io·12h·

Discuss: Hacker News

💧Digital Watermarking

Complex Heterodynes Explained

tomverbeure.github.io·21h·

Discuss: Hacker News

📊Frequency Analysis

Let Lambda Come Over

yamlscript.org·1d

⬆️Lambda Lifting

Artificial Intelligence and the Interpretation of the Past | Advances in Archaeological Practice

cambridge.org·16h

🏺Computational Archaeology

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·15h

🦀Rust Macros

OSINT-How Public Information Becomes Powerful Intelligence

medium.com·1d

🔎OSINT Techniques

The Optima-l Situation: A deep dive into the classic humanist sans-serif

micahblachman.beehiiv.com·9h·

Discuss: Hacker News

🔤Font Archaeology

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·2d·

Discuss: r/golang

🔍RegEx Engines

First Proof | Research-Level Math for AI Evaluation

1stproof.org·1d·

Discuss: Hacker News

🎯Performance Proofs

**Pulse‑Sequence Tuning for Fault‑Tolerant Exponentiation in Shor’s Algorithm on Transmon Qubits**

dev.to·8h·

Discuss: DEV

⚛️Quantum Error Correction

Sign up or login to customize your feed and get personalized topic recommendations

MS-DOS game copy protection and cracks

dosdays.co.uk·12h·

Discuss: Hacker News

🕹️Game Preservation

MicroBlaze MCS Seven-Segment Counter on Basys 3 FPGA

hackster.io·15h

⚡Homebrew CPUs

Vector Databases for Developers (With a Simple Python Example)

dev.to·2d·

Discuss: DEV

🗂️Vector Databases

Loading more...