• 1.

  High-Throughput Lean 4 Autoformalization Model for Local Inference(meshapplied.com)

  2 pointsby matteohorvath28 days ago0 commentsTrend history
• 2.

  How to Fingerprint AI Models When Prompts Lie(openrating.io)

  2 pointsby m00dy28 days ago0 commentsTrend history
• 3.

  Why trauma changes how our memory engages with our conscious experience(scientificamerican.com)

  2 pointsby beardyw28 days ago0 commentsTrend history
• 4.

  Rich User Experience, UX and Desktopization of War(contemporary-home-computing.org)

  1 pointsby matheusmoreira28 days ago0 commentsTrend history
• 5.

  The faces behind the feeds: Gen Z's private lives and public posts – in pictures(theguardian.com)

  3 pointsby mellosouls28 days ago0 commentsTrend history
• 6.

  A map of individual trees in NYC at the genus level(nyctreegenusmap.com)

  2 pointsby geox28 days ago0 commentsTrend history
• 7.

  A Step by Step Backpropagation Example(mattmazur.com)

  Repost2 prior posts2 pointsby Bluestein28 days ago0 commentsTrend history
• 8.

  Claude Code Adds Concise Output Style Option(digg.com)

  1 pointsby hmokiguess28 days ago0 commentsTrend history
• 9.

  Apexyx Mesh: offline agent mesh for Termux/Android with 421 hermetic self-tests(github.com)

  1 pointsby xhallbeep28 days ago0 commentsTrend history
• 10.

  The spelled-out intro to NNs and backpropagation: building micrograd [video](youtube.com)

  Repost1 prior post1 pointsby Bluestein28 days ago0 commentsTrend history
• 11.

  What Shape Is a Bubble?(negroniventurestudios.com)

  3 pointsby oumua_don1728 days ago0 commentsTrend history
• 12.

  Hook, hold, harvest and hide: Meta's alleged strategy laid out in first week(theguardian.com)

  165 pointsby sbulaev28 days ago124 commentsTrend history
• 13.

  Construction Physics: Los Angeles' ADUs, electrical transformer manufacturing(construction-physics.com)

  1 pointsby juliangamble28 days ago0 commentsTrend history
• 14.

  Show HN: Mread – Read Paid Medium Article For Free in Terminal(github.com)

  3 pointsby mukundzha628 days ago0 commentsTrend history
• 15.

  Software You Can Love(softwareyoucan.love)

  Repost1 prior post2 pointsby Bluestein28 days ago0 commentsTrend history
• 16.

  Apple Papercuts Summer Edition(taoofmac.com)

  1 pointsby rcarmo28 days ago0 commentsTrend history
• 17.

  Agent memory and state patterns for loops(swapniltalekar.substack.com)

  1 pointsby swapnilt28 days ago0 commentsTrend history
• 18.

  A coding agent on a 1987 Commodore Amiga 500 with a 7MHz CPU and 1 MB of RAM(twitter.com)

  5 pointsby sdoiewo28 days ago2 commentsTrend history
• 19.

  The AI boom: rational enthusiasm or the next dot-com bubble?(ecb.europa.eu)

  Repost1 prior post1 pointsby doener28 days ago0 commentsTrend history
• 20.

  21-Year-Old Reveals Himself as Author of Widely Reported Fake Election Polls(mediaite.com)

  2 pointsby greenchair28 days ago0 commentsTrend history
• 21.

  How Claude's Text Watermarking Works [video](youtube.com)

  Repost1 prior post2 pointsby Anon8428 days ago0 commentsTrend history
• 22.

  Mango AI: image/video generation with Nano Banana 2, GPT Image 2, Seedance 2(trymangoai.com)

  2 pointsby nexad_william28 days ago0 commentsTrend history
• 23.

  Compile-time improvements in LLVM 23(aengelke.net)

  2 pointsby fanf228 days ago0 commentsTrend history
• 24.

  A formal degree and algorithmic problem-solving is the answer. Always has been(zaksa.zip)

  34 pointsby zaksa28 days ago55 commentsTrend history
• 25.

  Dashboard Touch, a build-your-own version of Touch ID(anildash.com)

  Repost2 prior posts1 pointsby throw0101a28 days ago0 commentsTrend history
• 26.

  PRóspera, the libertarian utopia off the coast of Honduras(abc.net.au)

  Repost1 prior post3 pointsby phs318u28 days ago0 commentsTrend history
• 27.

  Show HN: Git-reattribute – interactively rewrite Git commit attribution(github.com)

  3 pointsby drk1rd28 days ago2 commentsTrend history
• 28.

  Show HN: 2 Weeks 1-on-1 Web Design Mentorship Program (Registration Open)(web-studio-mentorship.vercel.app)

  2 pointsby AbenezerDaniel28 days ago0 commentsTrend history
• 29.

  Meteoric – Drones that clear clouds over solar farms(meteoric.earth)

  7 pointsby porridgeraisin28 days ago3 commentsTrend history
• 30.

  The Evolution of the Agent Harness(latent.space)

  1 pointsby glhaynes28 days ago0 commentsTrend history

Operational status: system stale