Monthly Highlights
15031.
15032.
15033.
15034.
PL Education in the Age of AI: Interview with Shriram Krishnamurthi
(typetheoryforall.com)
15035.
The Coming Merging of Mind and Machine (1999)
(thekurzweillibrary.com)
15036.
Everyone is right about AI
(formasimplex.com)
15037.
Army to spend $465M on 'Group 3 killer' anti-drone laser
(taskandpurpose.com)
15038.
15039.
15040.
When the Building Becomes the Computer
(medium.com)
15041.
Draw the Rest of the Owl
(luke.zip)
15042.
The 92-Year-Old Mathematician and the Teenage Apprentice
(nytimes.com)
15043.
Surplus Agriculture Equipment
(svdisposition.com)
15044.
Emma: The GP's AI Receptionist doesn't understand Yorkshire or security
(floorjellyboot.infinityfree.io)
15045.
Slop-Creep: When Building Gets Cheaper Than Thinking
(awaitinginput.substack.com)
15046.
Apple Just Fixed TestFlight
(macrumors.com)
15047.
[]
(treewhisper.app)
15048.
15049.
15050.
Internet2.edu
(internet2.edu)
15051.
See Windows CE Running on the N64
(retrododo.com)
15052.
Show HN: HexBOTs – a cellular automaton with robotic lawnmowers
(hexbot-genesis.netlify.app)
15053.
A directory of AI agents, MCP servers and agent skills, cross-linked
(aiagentslisting.com)
15054.
In Lesotho, the Mushroom Speaks
(unpublishablepapers.substack.com)
15055.
Souping Up My Blog
(qtea.me)
15056.
Agents need capitalism, people need socialism
(nonlineartransform.substack.com)
15057.
Data races and the limits of ThreadSanitizer in C and Go
(theconsensus.dev)
15058.
15059.
Where Alignment Becomes the Work
(medium.com)