Security Affairs newsletter Round 535 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·1h
🛡Cybersecurity
2025.07.DisappearingMoment
newsletter.disappearingmoment.com·2d
🎯Gradual Typing
GHC Developer Blog: GHC 9.10.3-rc1 is now available
haskell.org·6d
🔬Refinement Types
Changing of the guard: Anthropic new AI market leader among US companies
heise.de·1d
🔄Language Evolution
Cycles of Elliptic Curves
johndcook.com·10h
🔱Galois Cryptography
Spiral Matrix: Another Matrix Layer Problem
mmhaskell.com·6d
🔗Combinatory Logic
Interacting With Text Adventures Through Perl
entropicthoughts.com·5d·
Discuss: Lobsters, Hacker News
📟Terminals
Maybe the Fastest Disk Usage Program on macOS
healeycodes.com·3d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Finally an easy syncing authenticator!
reddit.com·20h·
Discuss: r/linux
🛡️ARM TrustZone
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·4d·
Discuss: Hacker News
🧮Constraint SMT
Master TensorFlow Distributed Training: MirroredStrategy, TPUStrategy, and More
hackernoon.com·2d
⚙️Batch Processing
Where to show Demos in Your Prompt: A Positional Bias of In-Context Learning
arxiv.org·3d
💻Programming languages
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·3d
💻Local LLMs
PHAX: A Structured Argumentation Framework for User-Centered Explainable AI in Public Health and Biomedical Sciences
arxiv.org·4d
🔢Denotational Semantics
Explainable artificial intelligence model predicting the risk of all-cause mortality in patients with type 2 diabetes mellitus
arxiv.org·2d
🧮Kolmogorov Bounds
Investigating the Invertibility of Multimodal Latent Spaces: Limitations of Optimization-Based Methods
arxiv.org·2d
🧠Machine Learning
Coming back to defer in Go after using Zig/C/C++.. didn’t realize how spoiled I was
reddit.com·2d·
Discuss: r/golang
🔗Concatenative Programming
VibeTDD Lessons After 3 Phases: What Actually Works with AI
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
How I Set Up Qwen3-Coder with Claude Code (and Why You Should Too)
dev.to·17h·
Discuss: DEV
🚀Indie Hacking
Jackdaw, a keyboard-focused Digital Audio Workstation
github.com·8h·
Discuss: Hacker News
📦MKV Containers