• 1.

  Why Don't People Use Formal Methods? (2019)(hillelwayne.com)

  Repost3 prior posts79 pointsby Thom250318 days ago57 commentsTrend history
• 2.

  Register deprivation: spills and runtime under forced register scarcity(rjp.io)

  2 pointsby surprisetalk18 days ago0 commentsTrend history
• 3.

  Show HN: Edgemetry – self-hosted web analytics on Cloudflare's free tier(github.com)

  4 pointsby theone18 days ago0 commentsTrend history
• 4.

  Building secure Uniswap v4 hooks(blog.trailofbits.com)

  3 pointsby ErenayDev18 days ago0 commentsTrend history
• 5.

  Israel defender Bret Stephens calls out 'Jewish terrorists' in West Bank(timesofisrael.com)

  4 pointsby tcp_handshaker18 days ago0 commentsTrend history
• 6.

  Superrationality(en.wikipedia.org)

  Repost2 prior posts2 pointsby kibwen18 days ago0 commentsTrend history
• 7.

  US FCC approves giant space mirror to deliver 'sunlight on demand'(cbc.ca)

  3 pointsby throw0101d18 days ago1 commentsTrend history
• 8.

  Is open-weight AI banned yet?(isopenweightaibannedyet.com)

  Repost2 prior posts6 pointsby imtany18 days ago2 commentsTrend history
• 9.

  Why every Wikimedian should be a toolmaker(haykranen.nl)

  2 pointsby janvdberg18 days ago0 commentsTrend history
• 10.

  Show HN: A browser extension that flags GitHub repos with suspicious star growth(ayoublidjici-dotcom.github.io)

  4 pointsby KageFX18 days ago0 commentsTrend history
• 11.

  How Old Is Ann?(quuxplusone.github.io)

  42 pointsby ibobev18 days ago47 commentsTrend history
• 12.

  Wallpets: Expressive animal companions that live in your Mac wallpaper(wall-pets.com)

  2 pointsby mihau18 days ago0 commentsTrend history
• 13.

  What it means for an API to be RESTful(en.andros.dev)

  26 pointsby ibobev18 days ago37 commentsTrend history
• 14.

  CosmosEscape: Taking over Every Database in Azure Cosmos DB(wiz.io)

  35 pointsby uvuv18 days ago8 commentsTrend history
• 15.

  Fixing long-standing shader issues and "Device Removed" crashes in Path of Exile(twitter.com)

  2 pointsby Sverigevader18 days ago1 commentsTrend history
• 16.

  Parsers don't have to be complicated(bkaradzic.github.io)

  Repost2 prior posts2 pointsby ibobev18 days ago0 commentsTrend history
• 17.

  Poland blames Russia for firing missile into its territory(cnn.com)

  3 pointsby tcp_handshaker18 days ago0 commentsTrend history
• 18.

  Steam Client Adds HDR Streaming on Steam Deck OLED, AV1 Video Streaming(phoronix.com)

  18 pointsby DemiGuru18 days ago0 commentsTrend history
• 19.

  EU Icons for labelling AI-generated content(digital-strategy.ec.europa.eu)

  Repost1 prior post6 pointsby pekko18 days ago0 commentsTrend history
• 20.

  design of Plan 9 and how I use it (2022)(hackerpublicradio.org)

  Repost1 prior post3 pointsby bmacho18 days ago1 commentsTrend history
• 21.

  Collusion with Competitive Marginals: Price-Level Audits Are Blind(arxiv.org)

  2 pointsby sbulaev18 days ago0 commentsTrend history
• 22.

  UK on track for record heat-related deaths this year, UKHSA estimates(bbc.co.uk)

  5 pointsby ljf18 days ago0 commentsTrend history
• 23.

  Show HN: HuPow – Proof-of-Work to stop AI bots in your inbox(hupow.app)

  3 pointsby cmbza18 days ago0 commentsTrend history
• 24.

  The Cities That Said Yes to Drugs(theatlantic.com)

  5 pointsby SanjayMehta18 days ago0 commentsTrend history
• 25.

  Self-Hosting Agent-Built Apps on a Mac Mini: My Personal Software Journey(metedata.substack.com)

  Repost2 prior posts2 pointsby young_mete18 days ago0 commentsTrend history
• 26.

  Show HN: Formae 0.88.0 Released(docs.formae.io)

  4 pointsby discountelf18 days ago0 commentsTrend history
• 27.

  Sandboxing Claude CLI with Tart on Apple Silicon(mrafayaleem.com)

  2 pointsby iamspoilt18 days ago0 commentsTrend history
• 28.

  Postgres rewritten in Rust v0.2, now faster than Postgres and ClickHouse(pgrust.com)

  Repost1 prior post2 pointsby booksock18 days ago0 commentsTrend history
• 29.

  Copyright Was Never Your Friend(mkultra.monster)

  4 pointsby surprisetalk18 days ago1 commentsTrend history
• 30.

  Show HN: Tinbase – OSS Supabase-compatible back end in TypeScript(tinbase.dev)

  9 pointsby sanketsahu18 days ago4 commentsTrend history

Operational status: system stale