(Weak) Factorization Systems
bartoszmilewski.com·20h·
Discuss: Hacker News
✅Formal Methods
Uncertain⟨T⟩
nshipster.com·1d·
Discuss: Hacker News
✅Formal Methods
Cross-Device Session Fixation and How the DC API Solves It
danielfett.de·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
10 Myths of Scalable Parallel Languages, Part 4: Syntax Matters
chapel-lang.org·1d·
Discuss: Hacker News
✅Formal Methods
Ethical imperatives in the commercialization of brain-computer interfaces
papers.ssrn.com·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Cabal 3.16 Release
blog.haskell.org·1d·
Discuss: Hacker News
✅Formal Methods
Global patterns in elites' quest for confidentiality in offshore finance
journals.plos.org·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
XMPP: When a 25-Year-Old Protocol Becomes Strategic Again
process-one.net·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Implementing Bloom Filters in C (2022)
andreinc.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Physicists Create First-Ever Antimatter Qubit, Making the Quantum World Even Weirder
gizmodo.com·1d·
Discuss: Hacker News, r/technews
🔐Zero-Knowledge Proofs
Torqued Accelerator Using Radiation from the Sun (Tars) for Interstellar Payload
arxiv.org·10h·
Discuss: Hacker News
🎨Rendering
Rules for AI coding assistants working with the Linux kernel codebase
lore.kernel.org·17h·
Discuss: Hacker News
🦀Rust
An AI-Generated Protein Helps T Cells Kill Cancer
the-scientist.com·22h·
Discuss: Hacker News
🦀Rust
A Framework for Witness Encryption from Linearly Verifiable SNARKs and Applications
eprint.iacr.org·1d
🔐Zero-Knowledge Proofs
InNative – Run WebAssembly Outside the Sandbox at 95% Native Speed
innative.dev·9h·
Discuss: Hacker News
🦀Rust
Lying Increases Trust in Science
link.springer.com·16h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
How Solid Protocol Restores Digital Agency
schneier.com·2d·
Discuss: Hacker News, Hacker News
🔐Zero-Knowledge Proofs
I am a SOTA 0-shot classifier of your slop
christopherkrapu.com·19h·
Discuss: Hacker News
🦀Rust
Show HN: I made a full Ethereum account-proof circuit in Circom
github.com·19h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
I Made Doom Run Inside a QR Code and Wrote a Custom Compression Algorithm for It
old.reddit.com·17h·
Discuss: r/computerscience
⚡CUDA