Project Patchouli: Open-source electromagnetic drawing tablet hardware
Article URL: Comments URL: Points: 6 # Comments: 0
Technology
Discover the latest breakthroughs in technology, from innovative startups to major industry shifts. CurioAtlas curates articles on gadgets, software, hardware, and digital culture to keep you ahead of the curve.
Show HN: Lean4 proof that SSOT requires definition-time hooks and introspection
I formalized the Single Source of Truth (SSOT) principle in Lean 4 (~2.1k LOC, zero sorry) and proved two core results: Structural SSOT is achievable only when a language provides definition-time hooks and runtime introspection. Macros/codegen (before definition) and reflection…
go.sum Is Not a Lockfile
Article URL: Comments URL: Points: 9 # Comments: 3
Open Infrastructure Map
Article URL: Comments URL: Points: 6 # Comments: 1
Chase to become new issuer of Apple Card
Article URL: Comments URL: Points: 7 # Comments: 0
Waymo is rebranding its Zeekr robotaxi
It sounds like “Oh hi.”
MiroMind’s MiroThinker 1.5 delivers trillion-parameter performance from a 30B model — at 1/20th the cost
Joining the ranks of a growing number of smaller, powerful reasoning models is MiroThinker 1.5 from MiroMind, with just 30 billion parameters, compared to the hundreds of billions or trillions used by leading foundation large language models (LLMs). But MiroThinker…
Kernel bugs hide for 2 years on average. Some hide for 20
Article URL: Comments URL: Points: 5 # Comments: 0
A crew member’s “medical concern” foils a planned spacewalk outside the ISS
A planned spacewalk outside the International Space Station has been postponed due to a “medical concern” with one of the crew members aboard the orbital complex, NASA announced Wednesday. The excursion was set to begin Thursday morning. Astronauts Mike Fincke…
Google and Character.AI negotiate first major settlements in teen chatbot death cases
The settlements are among the first tied to lawsuits accusing AI companies of harming users.