newest
Games of Incomplete Information(2002) [pdf]
2 pointsposted 6 hours ago
by nill0AIs-welcome Lean library downstream of Mathlib
2 pointsposted 6 hours ago
by MADEinPARISQuil – a reboot-proof terminal multiplexer that resumes AI sessions
5 pointsposted 7 hours ago
by artyomsvThe math of traffic jams and how to avoid them
2 pointsposted 7 hours ago
by beardywJensen Huang's $75M gift to Vanderbilt argues art decides what technology is for
2 pointsposted 7 hours ago
by theanonymousoneWhy Would Meta Download So Much Porn?
20 pointsposted 7 hours ago
by hebelehubeleA New Approach to Nuclear Warhead Verification Using a Zero-Knowledge Protocol(2012) [pdf]
2 pointsposted 7 hours ago
by nill0Why My Open-Source Project Hasn't Done Better
4 pointsposted 7 hours ago
by yohji1984CP/M-68K and Motorola 68000 Emulator
5 pointsposted 7 hours ago
by AlexeyBrinType checker may be wrong – Lean and the Curry-Howard correspondence
2 pointsposted 7 hours ago
by max-ambShow HN: Cygnus – A fast, lightweight self-hostable serverless runtime and PaaS
7 pointsposted 7 hours ago
by ccheshirecatPersonal context data isn't a moat, tacit knowledge is
2 pointsposted 7 hours ago
by hyeongjunShow HN: I made an algorithmic arena game with physics in 3D
3 pointsposted 7 hours ago
by VibrGit rebase -I is not that scary
2 pointsposted 7 hours ago
by birdcultureShow HN: An industrial designer's take on a portfolio tracker
2 pointsposted 7 hours ago
by khorsusTrajectory: A Standard Format for Agent Experience Data
2 pointsposted 7 hours ago
by wertykShow HN: Tawrida – Global Trade Export Documents Generator Tool
3 pointsposted 7 hours ago
by Mohamed_zakaryaWhat if the RAM/GPU shortage is deliberate?
9 pointsposted 7 hours ago
by theoneoneTrump announces 2028 presidential bid
6 pointsposted 7 hours ago
by wahnfriedenScientist with 1k Patents Fueling a Drug Powerhouse
3 pointsposted 7 hours ago
by bookofjoeFrontAlign – A CSS Framework with Semantic Utilities and Vanilla JavaScript
3 pointsposted 7 hours ago
by eyruzHow we pushed CDC into Postgres, and turned replication into clockwork
3 pointsposted 7 hours ago
by plaur782The University After AI
4 pointsposted 7 hours ago
by Michelangelo11Things I wish Datomic had: Map values
4 pointsposted 7 hours ago
by nathellSaga: Source Attribution of Generative AI Videos (identifies the model used)
4 pointsposted 7 hours ago
by giuliomagnificoWhat's horned, fluffy, and ethically dubious? Yak clones
4 pointsposted 7 hours ago
by breveThe Rise of Anti-Flock Influencers Who Make Things Up for Clout
7 pointsposted 7 hours ago
by Cider9986Epistemic Engine – verify AI-generated code and forecast what will break
5 pointsposted 7 hours ago
by aswinsasi123