1 Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com) by yamafaktory • 3 minutes ago
1 Show HN: ApplePy – Embed and Call Swift from Python (Like PyO3, but for Swift) (github.com) by sheepscreek • 6 minutes ago • 1 comments
1 Show HN: PrepLists – a directory of 500 prep centers and 3PLs for sellers (preplists.com) by devequijo • 6 minutes ago
1 Show HN: Telegram feed reader using DNS TXT records for Iran's Internet shutdown (github.com) by znano • 8 minutes ago
1 Ask HN: What is the best way to get your first users? by Mohd_Umar • 10 minutes ago • 4 comments
2 158-year-old home distilling ban ruled unconstitutional (reuters.com) by PessimalDecimal • 13 minutes ago • 1 comments
1 Show HN: Kafkaesque – a wire-compatible mock Kafka (github.com) by dcminter • 16 minutes ago • 1 comments
1 LRTS – Regression testing for LLM prompts (open source, local-first) (github.com) by arthur-G • 27 minutes ago
2 Metallic θ-phase tantalum nitride has thermal conductivity triple that of copper (science.org) by bookofjoe • 27 minutes ago • 1 comments
8 Seven countries now generate 100% of their electricity from renewable energy (the-independent.com) by mpweiher • 28 minutes ago
16 Tell HN: OpenAI silently removed Study Mode from ChatGPT by smokel • 29 minutes ago • 4 comments
1 Malvertising and the trend of curl – sh install on macOS (pgaleone.eu) by me2too • 29 minutes ago
1 Apple Is Launching an 'Ultra' Line of Products with New Capabilitie (entrepreneur.com) by f1shy • 33 minutes ago
103 Pro Max 5x Quota Exhausted in 1.5 Hours Despite Moderate Usage (github.com) by cmaster11 • 34 minutes ago • 35 comments
2 The physics behind Flow Matching models [video] (youtube.com) by kburman • 38 minutes ago • 1 comments
1 Replacing Lenovo's WWAN Unlock Blob with a 100-Line Bash Script (blog.hofstede.it) by birdculture • 40 minutes ago
3 Show HN: Homebutler – Verify your backups restore, automatically (github.com) by swq115 • 40 minutes ago • 1 comments
2 AI builds anything. I Claude-coded tasteID so every AI tool just knows (tasteid.xyz) by kev_earth • 42 minutes ago
2 Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card) (github.com) by Rochus • 43 minutes ago
1 Show HN: Ghapin – Tool to pin GitHub Actions to SHAs for supply-chain security (github.com) by theden • about 1 hour ago
1 Over 4,732 Messages, He Fell in Love with an AI Chatbot. Now He's Dead (wsj.com) by Brajeshwar • about 1 hour ago • 1 comments
1 Firms Promised HighTech Ransomware Solutions;They Usually Just Pay Hackers(2019) (features.propublica.org) by bookofjoe • about 1 hour ago
2 Show HN: SpecSource – AI That Writes Linear Specs from Sentry, GitHub, & Slack (specsource.ai) by bring-shrubbery • about 1 hour ago • 2 comments
2 Touch some grass or how to survive during AI times (mcbaguetti.xyz) by mcbaguetti • about 1 hour ago
4 OpenAI's vision for AI economy: public wealth funds, robot taxes, 4-day workweek (techcrunch.com) by genphy1976 • about 1 hour ago • 2 comments
1 Glass – a replay-first bounded investigation surface for runtime activity (github.com) by stealtheyellc • about 1 hour ago
1 Agentsview: A local-first desktop and web app for browsing AI agent sessions (github.com) by ayhanfuat • about 1 hour ago
2 Stonks-CLI – track your investment portfolio from the terminal (github.com) by friedchocolate • about 1 hour ago
15 We have a 99% email reputation. Gmail disagrees (blogfontawesome.wpcomstaging.com) by em-bee • about 1 hour ago • 4 comments
1 Pact: Protocol for Agent Coordination and Transfer (Draft RFC) (github.com) by legax • about 1 hour ago
2 Show HN: Chunk – macOS menu bar time-blocking app with Claude AI integration (chunkapp.net) by dudleyspence • about 1 hour ago
1 Show HN: OIFI Databook: An intelligence database of Iran's power structure (databook.oifi.org) by ksajadi • about 1 hour ago
2 One Vendor. 80% of Dutch Hospitals. Ransomware (stateofsurveillance.org) by Ey7NFZ3P0nzAe • about 1 hour ago
5 Windows debloating tools are basically useless (pcmag.com) by dryadin • about 1 hour ago • 4 comments