- 2Add age verification to accounts service (gitlab.freedesktop.org)
- 1Israeli startup Thermagix harvesting low grade heat (calcalistech.com)
- 1Writing a Verified Postfix Expression Calculator in Ada/Spark (pyjarrett.github.io)
- 1Re:Do Workouts (redoworkouts.com)
- 1Ask ChatGPT to pick a number from 1-10000, it generally selects from 7200-7500 (old.reddit.com)
- 1World Cup Trophy Theft: Gangsters, Spies and the Dog That Found It (bloomberg.com)
- 3Google adds 24-hour wait and mandatory reboot to Android sideloading flow (android-developers.googleblog.com)
- 1BATorrent – Torrent client that streams video while downloading (github.com)
- 1DIY AI-powered robot arm (youtube.com)
- 1Show HN: Elastik – treating LLM as an HTTP client in less than 200 lines of code (github.com)
- 2Operation Cast Thy Bread (en.wikipedia.org)
- 1Oxford Time (en.wikipedia.org)
- 1Cursor's "in-house model" Composer 2 is Kimi K2.5 with RL on top (twitter.com)
- 1We Scaled Kimi K2.5 [video] (youtube.com)
- 1Physics-based validation for sensor data before ML training (github.com)
- 1CalMirror – Stop copy-pasting events across Google Calendars (apps.apple.com)
- 1Double-O, agent's best friend (github.com)
- 1We Trust Strangers More Than Brands – What Neuroscience Tells Us (proofgateway.com)
- 2Ask HN: Has anyone here lived in a war zone? ()
ask - 1KuraiMusik – A 24/7 AI Radio Orchestrated with AI, Python and Liquidsoap (music.kuraitachi.com)
- 1Why are we eating slop? [video] (youtube.com)
- 1Manifestation Machines (thefuturistsage.substack.com)
- 2Tangled: Tightly Knit Social Coding (tangled.org)
- 1Is AI Making Us Stupid? Cal Newport Is Worried (chronicle.com)
- 1I tested every "lifetime" Mac app posted on R/macapps for 7 weeks (old.reddit.com)
- 2Cal Newport is Worried (put down the ChatGPT) (chronicle.com)
- 1Show HN: I created a free LLMs.txt generator (kitful.ai)
- 2Trivy Under Attack Again: Widespread GitHub Actions Tag Compromise Exposes (socket.dev)
- 1Declaration of Emil Michael: Anthropic poses security risks (courtlistener.com)
- 1Show HN: Use AI to find customers who have intent to buy your product (outhop.ai)