182
30
The extended predicative Mahlo universe in Martin-Löf type theory (2023)
15
Tesla's 4680 battery cells are underperforming and frustrating buyers
570
New statue in London, attributed to Banksy, of a suited man, blinded by a flag
11
Grok Imagine Quality Mode API
41
Visualize Any Hugging Face Model
161
GLM-5V-Turbo: Toward a Native Foundation Model for Multimodal Agents
225
The 'Hidden' Costs of Great Abstractions
221
Securing a DoD contractor: Finding a multi-tenant authorization vulnerability
376
Using “underdrawings” for accurate text and numbers
521
US healthcare marketplaces shared citizenship and race data with ad tech giants
10
Understanding AI
60
Collaborative Editing in CodeMirror (2020)
9
America's Math Crisis
11
Writers Are Going to Extremes to Prove They Didn't Use AI
75
The Visible Zorker: Zork 3
31
Feds Fine Durham Energy Efficiency Co $722M
23
Show HN: I made a vertical-pedalling bike with a novel drivetrain [video]
42
The Frog for Whom the Bell Tolls
245
Kids can bypass some age checks with a drawn-on mustache
306
Stop big tech from making users behave in ways they don't want to
47
ADT says customer data stolen in cyber intrusion
137
Introduction to Atom
69
The Upper Middle Class Trap
205
Security through obscurity is not bad
16
Taphouse – A Native macOS GUI for Homebrew
72
pgxbackup: Continuity Support for pgBackRest
135
I recreated the Apple Lisa computer inside an FPGA [video]
7
AWS gives AI agents wallets to pay for APIs and web content
616
Dav2d