The App Store now has a pretty sweet solution for the web
sixcolors.comΒ·1d
🌊Streaming Systems
Flag this post
Asking Our Documents the Right Questions β€” Locally
manas.techΒ·1d
πŸ”„Archival Workflows
Flag this post
Moon Duchin on the Math of Gerrymandering
nytimes.comΒ·1dΒ·
Discuss: Hacker News
🀐Secure Multiparty
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.eduΒ·1dΒ·
Discuss: Hacker News
πŸ”¬Projection Optics
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.netΒ·1dΒ·
Discuss: Hacker News
πŸ§ͺProtocol Fuzzing
Flag this post
D.J. Bernstein: The Good News Archive
aaronsw.comΒ·2dΒ·
Discuss: Hacker News
πŸ”“Hacking
Flag this post
are-dependent-types-actually-erased
chadnauseam.comΒ·1dΒ·
Discuss: Hacker News
🎯Dependent Types
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comΒ·4dΒ·
Discuss: Hacker News
πŸ”¨Compilers
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.orgΒ·15h
πŸ”Quantum Security
Flag this post
Recording My Experiments in Spec-Driven Development
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Reproducible Builds
Flag this post
Automating error analysis for AI agents – what works and doesn't
atla-ai.comΒ·9hΒ·
Discuss: Hacker News
πŸ€–Grammar Induction
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgΒ·15h
πŸ¦€Rust Verification
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.orgΒ·15h
✨Effect Handlers
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
dev.toΒ·2hΒ·
Discuss: DEV
πŸ›‘οΈWASM Security
Flag this post
Chemists provide new 'atlas' for reliable experiments with polyoxometalates
phys.orgΒ·2h
πŸ•ΈοΈAlgebraic Topology
Flag this post
Chain of Pattern: Rethink
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Code Metrics
Flag this post
Anatomically Constrained Transformers for Echocardiogram Analysis
arxiv.orgΒ·15h
πŸŒ€Differential Geometry
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.orgΒ·15h
πŸ•ΈοΈGraph Embeddings
Flag this post
Patient-Centered Summarization Framework for AI Clinical Summarization: A Mixed-Methods Design
arxiv.orgΒ·1d
πŸŽ™οΈWhisper
Flag this post