The App Store now has a pretty sweet solution for the web
sixcolors.comยท21h
๐ŸŒŠStreaming Systems
Flag this post
My Crystal Ball
dailynous.comยท9m
๐Ÿ›๏ธPhilosophy
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
Beyond Start and End: PostgreSQL Range Types
boringsql.comยท1dยท
Discuss: Hacker News
๐Ÿ“Range Queries
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
Enhanced Block Copolymer Lithography via Adaptive Stochastic Gradient Descent and Dynamic Mask Optimization
dev.toยท4hยท
Discuss: DEV
โšกIncremental Computation
Flag this post
Fabric.so Review 2025: The AI Workspace That Organizes Itself
dev.toยท21hยท
Discuss: DEV
๐Ÿ”„Document Workflows
Flag this post
A Comparative Study of Hybrid Post-Quantum Cryptographic X.509 Certificate Schemes
arxiv.orgยท12h
๐Ÿ”Quantum Security
Flag this post
Recording My Experiments in Spec-Driven Development
dev.toยท22hยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
Flag this post
Automating error analysis for AI agents โ€“ what works and doesn't
atla-ai.comยท6hยท
Discuss: Hacker News
๐Ÿค–Grammar Induction
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท12h
๐Ÿฆ€Rust Verification
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.orgยท12h
โœจEffect Handlers
Flag this post
Chain of Pattern: Rethink
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Flag this post
Anatomically Constrained Transformers for Echocardiogram Analysis
arxiv.orgยท12h
๐ŸŒ€Differential Geometry
Flag this post