Articles by zvr
50

Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)

2

Michael Twyman, 1934–2025 (gerryleonidas.substack.com)

1

The Controllability Trap: A Governance Framework for Military AI Agents (arxiv.org)

2

Categorical Foundations for Cute Layouts (arxiv.org)

2

Stanford's LLM Course CME295 (2025) [video] (youtube.com)

2

TSMC sues former executive over defection to Intel (tomshardware.com)

2

Zero-Wind Kites (horvath.ch)

1

Evaluating in Silico Creativity: An Expert Review of AI Chess Compositions (arxiv.org)

3

Python 3.14.0 is now available (python.org)

1

Superintelligence Strategy: Expert Version (arxiv.org)

4

Free Lunch Is over for the AI That Broke the Web (gizmodo.com)

1

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths (arxiv.org)

2

Reconstructing the Antikythera Mechanism's Central Front Dial Parts (arxiv.org)

2

GNU Screen v5.0.1 is released (savannah.gnu.org)

6

Ask HN: Static Site (not blog) Generator?

2

CNCF and Synadia Align on Nats.io (cncf.io)

3

The new directors of OSI board (opensource.org)

3

Things we think will happen in 2025 (vox.com)

1

Visualizing All ISBNs – And win USD10K by 2025-01-31 (annas-archive.org)

2

Steve Bellovin Retirement Lecture (lawprofs.org)

1

Gnuplot Version 6.0 Release Notes (sourceforge.net)

47

Compiler Options Hardening Guide for C and C++ (openssf.org)

1

SigOpt Is Now Open Source (sigopt.com)

16

Self-Service SBOMs (github.blog)

11

Zlib Critical Vulnerability (nist.gov)