• 1.

  SeL4 security proofs now complete on AArch64(proofcraft.systems)

  102 pointsby snvzz20 days ago25 commentsTrend history
• 2.

  From iPods to wired headphones: Why more Gen Zers are picking retro tech(euronews.com)

  1 pointsby Markoff20 days ago0 commentsTrend history
• 3.

  The Accidental Application Runtime(adventures.michaelfbryan.com)

  Repost1 prior post2 pointsby MichaelFBryan20 days ago3 commentsTrend history
• 4.

  I tested security across 4 AI app builders (Lovable, Bolt, v0, Replit)(battletester.app)

  1 pointsby yovelOvadia20 days ago0 commentsTrend history
• 5.

  Airborne Wind Energy: How China's S4000 Is Taking Wind Power to New Heights(intelligentliving.co)

  2 pointsby joak20 days ago2 commentsTrend history
• 6.

  Show HN: Kudzu – A TSX compiler that outputs HTML and minimal client JavaScript(github.com)

  1 pointsby briggs_song20 days ago0 commentsTrend history
• 7.

  New Zealand to introduce Bill banning social media for children under 16(channelnewsasia.com)

  3 pointsby Markoff20 days ago0 commentsTrend history
• 8.

  Bioenergetics and Cover Loss: Modeling Seasonal Shifts in Predator-Prey Dynamics(bassfinity.com)

  1 pointsby jequals520 days ago0 commentsTrend history
• 9.

  The asteroid currently hitting front end web development(nolanlawson.com)

  Repost1 prior post1 pointsby g4k20 days ago0 commentsTrend history
• 10.

  Grip: An open protocol for authorised, bounded and attributable agent execution(zenodo.org)

  4 pointsby madhavdutt20 days ago11 commentsTrend history
• 11.

  IBM and Arm: Expanding Arm ecosystem for the next era of enterprise computing(newsroom.arm.com)

  2 pointsby rbanffy20 days ago0 commentsTrend history
• 12.

  Is AI Hiding Its Full Power? With Geoffrey Hinton [video](youtube.com)

  Repost2 prior posts1 pointsby binyu20 days ago0 commentsTrend history
• 13.

  Why older tech is sometimes safer from hackers(bbc.com)

  53 pointsby tchalla20 days ago34 commentsTrend history
• 14.

  Agno is a Python SDK for building agent platforms(docs.agno.com)

  1 pointsby Bluestein20 days ago0 commentsTrend history
• 15.

  Agent Is Not the Model(code.joejag.com)

  48 pointsby joejag20 days ago19 commentsTrend history
• 16.

  ModernBERT(answer.ai)

  Repost1 prior post1 pointsby tosh20 days ago0 commentsTrend history
• 17.

  Pokémon's Battle System May Not Be Turn-Based for Much Longer(kotaku.com)

  2 pointsby akyuu20 days ago0 commentsTrend history
• 18.

  Giving a text-to-SQL agent our schema docs made errors harder to spot, not rarer(quaesitor.eu)

  1 pointsby sandovabarb20 days ago0 commentsTrend history
• 19.

  Omakase Computing(learn.omacom.io)

  48 pointsby Bluestein20 days ago64 commentsTrend history
• 20.

  IBM Unveils Next Generation Dual-Architecture Processor for IBM Z and LinuxONE(newsroom.ibm.com)

  4 pointsby rbanffy20 days ago0 commentsTrend history
• 21.

  Omarchy is an omakase Linux distribution based on Arch(omarchy.org)

  2 pointsby Bluestein20 days ago0 commentsTrend history
• 22.

  Debates that have a fair verdict(apps.apple.com)

  1 pointsby angryteacher20 days ago0 commentsTrend history
• 23.

  Omacom Foundation funding hits $10M(omarchy.org)

  52 pointsby tosh20 days ago89 commentsTrend history
• 24.

  Kids outlearn AI–and we still don't know why(technologyreview.com)

  3 pointsby joozio20 days ago0 commentsTrend history
• 25.

  Marin 535B-A23B started training this week(twitter.com)

  Repost1 prior post2 pointsby tosh20 days ago1 commentsTrend history
• 26.

  In LA Ordinance means you can *never* make them leave(twitter.com)

  1 pointsby bilsbie20 days ago0 commentsTrend history
• 27.

  Show HN: Vigilance – catch supply-chain attacks by diffing what a file can do(vigihq.com)

  2 pointsby fathermarz20 days ago0 commentsTrend history
• 28.

  Phosphor – free, open-source iOS device manager(moamenbasel.com)

  2 pointsby lode20 days ago0 commentsTrend history
• 29.

  Fixes to Windows Phone(101fixes.blogspot.com)

  1 pointsby robertlagrant20 days ago1 commentsTrend history
• 30.

  The treasury bond mess: is this the demise of the US as a safe haven?(theguardian.com)

  96 pointsby fittingopposite20 days ago110 commentsTrend history

Operational status: system stale