Stable ferroaxial states offer a new type of light-controlled non-volatile memory
phys.org·17h
⚛️Quantum Tape
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ing·1d
🏺ZIP Archaeology
Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🦀Rust Verification
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·3d
✅Format Validation
Test your Infrastructure with Game Days
blog.devops.dev·52m
👁️System Observability
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Proofs of quantum memory
arxiv.org·4d
⚛️Quantum Tape
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·15h·
Discuss: Hacker News
🛡️RISC-V Security
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·1d·
Discuss: Hacker News
📦Git LFS
Building Trust for AI Agents — ISM-X: A Privacy-Preserving Identity Layer (with demo)
dev.to·15h·
Discuss: DEV
🌳Archive Merkle Trees
SAT problems are kind of cool
blog.karanjanthe.me·2d·
Discuss: Hacker News
🧮SMT Solvers
Building the Reasoning Engine at Axiom
axiommath.ai·14h·
Discuss: Hacker News
⚔️Lean Tactics
SSH Security: Why You Should Touch to Verify
ubicloud.com·1d·
Discuss: Hacker News
🔒Hardware Attestation
The Linus Method: How we simiplifed RFC reviews
devashish.me·17h·
Discuss: Hacker News
⚙️Proof Engineering
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
Building Resilient AI Agents on Serverless | Restate
restate.dev·1d·
Discuss: Hacker News, r/programming
🧱Immutable Infrastructure
Sorting encrypted data without decryption: a practical trick
dev.to·18h·
Discuss: DEV
🔐Hash Functions
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·2d·
Discuss: Hacker News
🔓Reverse engineering