WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·15h
📡Bluetooth Archaeology
2011 N1 = 2024 A2
blog.evanchen.cc·11h
🔬Lean
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·14h
📊Vector Quantization
Good binding data is all you need
leashbio.substack.com·5h·
Discuss: Substack
🗂️Vector Databases
Show HN: OrioleDB Beta12 Features and Benchmarks
orioledb.com·1d·
Discuss: Hacker News
🗃️Database Storage
Dollars per token considered harmful
modal.com·17h·
Discuss: Hacker News
💻Local LLMs
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·1d
🧮Z3 Solver
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·16h·
Discuss: DEV
📝Concrete Syntax
"high level" languages are easier to optimize
jyn.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔨Compilers
How AI Detects Cancer in Whole Slide Images
hackernoon.com·10h
🧠Machine Learning
How to generate a TypeScript SDK for your API spec
buildwithfern.com·11h·
Discuss: Hacker News
⚡gRPC
Diffusion Decoding for Peptide De Novo Sequencing
arxiv.org·1d
🧮Kolmogorov Complexity
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
The great misunderstanding of the DRY principle
pmatteo.com·2d·
Discuss: Hacker News
💧Liquid Types
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·1h
🤐Secure Multiparty
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·1h
🕸️Algebraic Topology
Kiro and the future of AI spec-driven software development
kiro.dev·14h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis