JPMorgan Chase becomes the new issuer of the Apple Card
Apple expects the transition to take 24 months
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.
Litter-Robot Promo Codes and Deals: Up to $150 Off
Get the latest Litter-Robot Discounts on Litter-Robot self-cleaning litter boxes, accessories, and more.
Covid-19 leaves a lasting mark on the human brain
Article URL: Comments URL: Points: 6 # Comments: 0
Project Patchouli: Open-source electromagnetic drawing tablet hardware
Article URL: Comments URL: Points: 6 # Comments: 0
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…