Security Affairs newsletter Round 545 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·2h
🔓Hacking
Coffee Break: Genes and Disease, Workslop Passing for Science, Nobel News, a Labor Party in the US, and Our Sick Politics
nakedcapitalism.com·1d
📡Information theory
Inside the belly of the beast: A technical walk through Intel's 18A production facility at Fab52
theregister.com·7h·
Discuss: Hacker News
🖥️Terminal Renaissance
A New Algorithm Makes It Faster to Find the Shortest Paths
wired.com·4h·
Discuss: Hacker News
🕸️Network Topology
Experiments With Sonnet 4.5's Fiction
lesswrong.com·23h·
Discuss: Hacker News
🔗Concatenative Languages
Show HN: GitHub-native prediction markets using Issues (no DB)
news.ycombinator.com·13m·
Discuss: Hacker News
🌊Apache Kafka
Doing Math with Embeddings for Better AI Ad Targeting
ethicalads.io·3d·
Discuss: Hacker News
📊Feed Optimization
You can't find meaning in the past
medium.com·9m·
Discuss: Hacker News
⬜Minimalism
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
The worst research papers I’ve ever published
statmodeling.stat.columbia.edu·3d
🧮Kolmogorov Bounds
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·1d·
Discuss: Hacker News
🔗Concatenative Languages
Show HN: I built a LSP with its own parser to learn Rust
github.com·1d·
Discuss: Hacker News
⚡Dependent Rust
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·2d
🌀Differential Geometry
Physics-informed AI excels at large-scale discovery of new materials
phys.org·2d
🧠Machine Learning
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·4d
🎯Performance Proofs
Randomized and quantum approximate matrix multiplication
arxiv.org·2d
🔐Quantum Cryptography
How Machine Learning is Reshaping Financial Markets
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·2d
💻Local LLMs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering