Signal secures its chats against quantum computers
heise.de·14h
🔐Quantum Security
Abracadabra Money Hack Analysis
blog.verichains.io·1d
🎫Kerberos Attacks
What are PolyForm licenses?
polyformproject.org·14h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
When ChatGPT Turns Informant
futureofbeinghuman.com·12h·
Discuss: Hacker News
🔓Hacking
Why do LLMs freak out over the seahorse emoji?
vgel.me·1d·
Discuss: Lobsters, Hacker News
🗜️LZW Variants
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·2d·
Discuss: Hacker News
📐Arithmetic Precision
Embracing the parallel coding agent lifestyle
simonw.substack.com·1d·
Discuss: Substack
🌳Incremental Parsing
Detecting Semantic Clones of Unseen Functionality
arxiv.org·1h
🔗Binary Similarity
Cooperation in public goods game on regular lattices with agents changing interaction groups
arxiv.org·1h
🔲Cellular Automata
Optimized Minimal 4D Gaussian Splatting
arxiv.org·1h
📐Projective Geometry
Keep It on a Leash: Controllable Pseudo-label Generation Towards Realistic Long-Tailed Semi-Supervised Learning
arxiv.org·1h
🧠Machine Learning
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Speak, Edit, Repeat: High-Fidelity Voice Editing and Zero-Shot TTS with Cross-Attentive Mamba
arxiv.org·1h
🗣️CMU Pronouncing
ESLint plugin for React Compiler users to flag manual memoization
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🧮Kolmogorov Complexity
Cost Efficient Fairness Audit Under Partial Feedback
arxiv.org·1h
🌸Bloom Variants
Compressed Convolutional Attention: Efficient Attention in a Compressed Latent Space
arxiv.org·1h
⧗Information Bottleneck
Characteristic Learning for Provable One Step Generation
arxiv.org·1h
🤖Grammar Induction
Feasibility-Aware Decision-Focused Learning for Predicting Parameters in the Constraints
arxiv.org·1h
🧠Machine Learning
Components of JWTs Explained
fusionauth.io·2d·
Discuss: Hacker News
🌐Network Protocols