• 1User Guide to Model Checking for Industrial Programmers with TLA+ (github.com)
  by scrubs 9 hours ago | 1 comments
• 2Challenges for AI Misuse Prevention: Jurisdictions, Open Models, and Privacy (substack.norabble.com)
  by nedruod 9 hours ago | discuss
• 110Sonny Rollins, jazz saxophonist, has died (rollingstone.com)
  by boarsofcanada 9 hours ago | 15 comments
• 2Cursorfy – recursive Cursor SDK and FastAPI dashboard that sees itself (github.com)
  by jrai 9 hours ago | discuss
• 79AI tools are only as good as your judgment (theaileverageweekly.com)
  by talvardi7 9 hours ago | 22 comments
• 3Diary of a Disabled DJ (medium.com)
  by 6stringmerc 9 hours ago | 1 comments
• 5Ask HN: Are recent tech layoffs affecting mostly Sr and Jr devs? (‍)
  by bubbamack 9 hours ago | 4 commentsask
• 1Ask HN: What is your tips or wild usages on gcloud? (‍)
  by revv00 10 hours ago | discussask
• 25The OSS Sabotage Manual Became Corporate Best Practice (alephic.com)
  by cyb0rg0 10 hours ago | 10 comments
• 14ALPR Mission Creep: School Residency, Background Checks, and Noise Complaints (eff.org)
  by hn_acker 10 hours ago | 2 comments
• 1Show HN: Artifold – A local-first library for AI-generated HTML artifacts (github.com)
  by shubhamgoel27 10 hours ago | discuss
• 1Anthropic Appoints KiYoung Choi as Representative Director of Korea (anthropic.com)
  by surprisetalk 10 hours ago | discuss
• 3CodeAtlas – Google Maps for your codebase, with a live differential UML engine (codeatlas.live)
  by vamsikanneganti 10 hours ago | discuss
• 2Ecosystem for (Studying) Network Programming (docs.packetcord.io)
  by vmetodiev 10 hours ago | discuss
• 214Cloudflare Flagship (developers.cloudflare.com)
  by tjek 10 hours ago | 106 comments
• 1Unit cell designer for 2d wallpaper groups (nasqret.github.io)
  by mathgenius 10 hours ago | 1 comments
• 3The true reason C++ always wins [video] (youtube.com)
  by abhaynayar 10 hours ago | 1 comments
• 2You're about to feel the AI money squeeze (theverge.com)
  by 1vuio0pswjnm7 10 hours ago | 2 comments
• 2Qualcomm strikes AI chip deal with TikTok owner ByteDance (reuters.com)
  by Voblit 10 hours ago | discuss
• 22Grok Build (grok.com)
  by kristianpaul 10 hours ago | 5 comments
• 1Show HN: I made a simple Keyword Research tool for app devs (ezscreenshots.com)
  by abrowniejr 10 hours ago | discuss
• 2I Made a Journal for AI-Generated Papers (cesarhidalgo.com)
  by Anon84 10 hours ago | discuss
• 7Iran's access to global internet starts to resume after 88-day blackout (theguardian.com)
  by theali 10 hours ago | 2 comments
• 15A Luxury Survivalist Community Is Tearing Itself Apart (wsj.com)
  by impish9208 10 hours ago | 4 comments
• 3NASA Provides Update on Moon Base Rovers, Landers, Missions (nasa.gov)
  by Anon84 10 hours ago | discuss
• 3Starlink and Amazon may be able to buy into EU mobile satellite spectrum plan (reuters.com)
  by Voblit 10 hours ago | discuss
• 3Where are those goalposts? I'm sure I put them here somewhere (nickdrozd.github.io)
  by nickdrozd 10 hours ago | discuss
• 1The AI Token plumbing issue (getlago.com)
  by jdenquin 10 hours ago | discuss
• 4Magnifica Humanitas, LaTeX Version (github.com)
  by cucho 10 hours ago | discuss
• 3MySQL faithful launch OurSQL Foundation to keep Oracle honest (theregister.com)
  by thejerz 10 hours ago | discuss