-
2
Games of Incomplete Information(2002) [pdf]
(web.stanford.edu)
-
2
AIs-welcome Lean library downstream of Mathlib
(github.com)
-
5
Quil – a reboot-proof terminal multiplexer that resumes AI sessions
(github.com)
-
2
The math of traffic jams and how to avoid them
(theconversation.com)
-
2
Jensen Huang's $75M gift to Vanderbilt argues art decides what technology is for
(fortune.com)
-
20
Why Would Meta Download So Much Porn?
(theatlantic.com)
-
2
A New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]
(boazbarak.org)
-
4
Why My Open-Source Project Hasn't Done Better
-
5
CP/M-68K and Motorola 68000 Emulator
(kobolt.github.io)
-
2
Type checker may be wrong – Lean and the Curry-Howard correspondence
(max-amb.github.io)
-
7
Show HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS
(cygnus.run)
-
2
Personal context data isn't a moat, tacit knowledge is
(cse.ac)
-
3
Show HN: I made an algorithmic arena game with physics in 3D
(algohol.net)
-
2
Git rebase -I is not that scary
(cachebag.sh)
-
2
Show HN: An industrial designer's take on a portfolio tracker
(stockfly.app)
-
2
Trajectory: A Standard Format for Agent Experience Data
(letta.com)
-
3
Systems and Delays
(martin.janiczek.cz)
-
3
Show HN: Tawrida – Global Trade Export Documents Generator Tool
(tawrida.xyz)
-
9
What if the RAM/GPU shortage is deliberate?
(xn--vk5b17r.online)
-
2
Copyfarleft
(wiki.p2pfoundation.net)
-
6
Trump announces 2028 presidential bid
(smh.com.au)
-
3
Scientist with 1k Patents Fueling a Drug Powerhouse
(wsj.com)
-
3
FrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript
(frontalign.dev)
-
3
How we pushed CDC into Postgres, and turned replication into clockwork
(snowflake.com)
-
4
The University After AI
(chronicle.com)
-
4
Things I wish Datomic had: Map values
(blog.danieljanus.pl)
-
4
Saga: Source Attribution of Generative AI Videos (identifies the model used)
(arxiv.org)
-
4
What's horned, fluffy, and ethically dubious? Yak clones
(cnn.com)
-
7
The Rise of Anti-Flock Influencers Who Make Things Up for Clout
(404media.co)
-
5
Epistemic Engine – verify AI-generated code and forecast what will break
(github.com)