• 108 Dafny: Verification-Aware Programming Language (dafny.org)
  by handfuloflight 5 days ago | 33 comments
• 242 Wall Street ruined the Roomba and then blamed Lina Khan (thebignewsletter.com)
  by connor11528 2 days ago | 196 comments
• 8 C-reactive protein outpaced 'bad' cholester as leading heart disease risk marker (theconversation.com)
  by bikenaga 17 hours ago | 1 comments
• 136 Writing a blatant Telegram clone using Qt, QML and Rust. And C++ (kemble.net)
  by tempodox 5 days ago | 90 comments
• 7 Why tech billionaires are quietly bankrolling Europe's far-right [video] (youtube.com)
  by baobun 7 hours ago | discuss
• 89 Canada's Carney called out for 'utilizing' British spelling (bbc.com)
  by haunter 6 days ago | 234 comments
• 509 SHARP, an approach to photorealistic view synthesis from a single image (apple.github.io)
  by dvrp 5 days ago | 108 comments
• 197 Judge hints Vizio TV buyers may have rights to source code licensed under GPL (theregister.com)
  by pabs3 3 days ago | 33 comments
• 13 Google killed the 25-year-old Sega Dreamcast PlanetWeb 3.0 web browser this week (tomshardware.com)
  by mmcclure 12 hours ago | 2 comments
• 17 Man Made Troubles (1953) [video] (youtube.com)
  by CaliforniaKarl 6 days ago | 4 comments
• 166 ArkhamMirror: Airgapped investigation platform with CIA-style hypothesis testing (github.com)
  by ArkhamMirror 5 days ago | 56 comments
• 18 Top Open Source Authorization Libraries (2024) (permify.co)
  by mooreds 6 days ago | 6 comments
• 50 Online Textbook for Braid groups and knots and tangles (matthematics.com)
  by marysminefnuf 3 days ago | 5 comments
• 27 Local WYSIWYG Markdown, mockup, data model editor powered by Claude Code (nimbalyst.com)
  by wek 3 days ago | 5 comments
• 34 Zed Moves Toward Secure-by-Default: Introducing Worktree Trust (zed.dev)
  by recov 3 days ago | 1 comments
• 274 I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours (simonwillison.net)
  by pbowyer 5 days ago | 142 comments
• 103 Chat-tails: Throwback terminal chat, built on Tailscale (tailscale.com)
  by nulbyte 5 days ago | 22 comments
• 111 It's all about momentum (combo.cc)
  by sph 3 days ago | 34 comments
• 141 Overconsumption is a spiritual problem (sherryning.com)
  by speckx 5 days ago | 103 comments
• 62 AI's Unpaid Debt: How LLM Scrapers Destroy the Social Contract of Open Source (quippd.com)
  by birdculture 2 days ago | 17 comments
• 150 PBS News Hour West to go dark after ASU discontinues contract (statepress.com)
  by heavyset_go 2 days ago | 75 comments
• 33 Interactive Fluid Typography (electricmagicfactory.com)
  by list 3 days ago | 7 comments
• 220 Umbrel – Personal Cloud (umbrel.com)
  by oldfuture 6 days ago | 122 comments
• 50 AI capability isn't humanness (research.roundtable.ai)
  by mdahardy 4 days ago | 53 comments
• 124 A brief history of Times New Roman (typographyforlawyers.com)
  by tosh 5 days ago | 69 comments
• 8 Everyone should be using Claude Code more (lennysnewsletter.com)
  by bilsbie 17 hours ago | 4 comments
• 10 PowerShell's curl runs JavaScript code with system access (support.microsoft.com)
  by goldsteinq 19 hours ago | 8 comments
• 118 A linear-time alternative for Dimensionality Reduction and fast visualisation (medium.com)
  by romanfll 5 days ago | 36 comments
• 467 Quill OS: An open-source OS for Kobo's eReaders (quill-os.org)
  by Curiositry 6 days ago | 148 comments
• 163 We are discontinuing the dark web report (support.google.com)
  by satertek 6 days ago | 56 comments