- 1Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny (arxiv.org)
- 1The Thing That Changes Everything (abermoo.wordpress.com)
- 1Show HN: Usage4Claude – Monitor Claude AI usage from macOS menu bar (github.com)
- 1Does anyone know about Full-Genome testing? ()
- 7Ask HN: A service for dating through escape rooms with strangers? ()
ask - 5YouTube TV's Disney blackout reminds users that they dont own what they stream (arstechnica.com)
- 54Refund requests flood Microsoft after tricking users into AI upgrades (afr.com)
- 1Cameras, Cameras Everywhere (xn--gckvb8fzb.com)
- 44Say Hi to Kit (firefox.com)
- 1Incremental Data Processing in PostgreSQL (github.com)
- 2OpenAI Seeks Government Backing to Boost AI Investments (barrons.com)
- 2Developing a 80000x40000 linear scanning medium format camera [video] (youtube.com)
- 4China bans foreign AI chips from state-funded data centres (reuters.com)
- 1Material for MkDocs Is No More Long Live Zensical (duerrenberger.dev)
- 25Meta is earning a fortune on a deluge of fraudulent ads (reuters.com)
- 1Iowa loses DNC seat, loses Midwest influence over pres. primary (2025) (cbs2iowa.com)
- 1DJI Confirms November 18 Osmo Action 6 Launch with US Market Access (dronexl.co)
- 3Jujutsu (jj) v0.35.0 Released (github.com)
- 1Storybook 10 (storybook.js.org)
- 2St. Louis County Republicans stick with Trump despite debate no-show (2023) (spectrumlocalnews.com)
- 1Sequential Scaling Beats Majority Voting at Matched Compute (arxiv.org)
- 1Show HN: Elden Stack – A mini game where your stack overflows in glorious combat (github.com)
- 1Show HN: Convert ONNX Files to OpenVINO and/or TensorflowJS (conversion.visagetechnologies.com)
- 6Feds seize $15B from alleged forced labor scam built on "human suffering" (arstechnica.com)
- 1Central Bank fines Coinbase Europe €21.5M for anti-money laundering breaches (rte.ie)
- 1Buzzwords for the Busy: LLMs (dvsj.in)
- 1Mental Health Crisis (rodgercuddington.substack.com)
- 1TabTune: An OSS for working with tabular foundation models(TFMs) (github.com)
- 2AI smart ring lets you record voice notes with a whisper (theverge.com)
- 1Stream Ring: Voice-Activated Ring (sandbar.com)