1. Can LLM Agents Infer World Models? Evidence from Agentic Automata Learning (arxiv.org)
    3 points by wslh about 3 hours | discuss
  2. Connecting the machines (herdr.dev)
    92 points by collinmanderson 1 day | 35 comments
  3. How well do agents use test/verification techniques? (danluu.com)
    187 points by vinhnx 2 days | 71 comments
  4. Animation in Bevy: The Big Picture (glocq.com)
    72 points by ibobev 1 day | 12 comments
  5. Large language models develop novel social biases through adaptive exploration (openreview.net)
    198 points by paimapi 1 day | 112 comments
  6. There's a new "Google Jail" for independent wikis (weirdgloop.org)
    564 points by pizzaiolo 2 days | 237 comments
  7. New results in square packing problem by a hobbyist (github.com)
    11 points by cheeseblubber about 15 hours | 3 comments
  8. OpenAI's rogue agents used at least 10 more sites (www.reuters.com)
    50 points by Betelbuddy about 13 hours | 13 comments
  9. Benchmarking Qwen3.8 27B quantizations: 4-bit holds up, 1-bit collapses (quesma.com)
    283 points by stared 1 day | 132 comments
  10. C*: Unifying Programming and Verification in C (2025) (arxiv.org)
    81 points by rramadass 1 day | 53 comments
  11. GrapheneOS on AI Usage (grapheneos.social)
    52 points by garo-pro 1 day | 1 comments
  12. I've factored the RSA keys of a Certificate Authority from the 90s (mcpherrin.ca)
    509 points by ahlCVA 2 days | 129 comments
  13. On the Navier–Stokes Millennium Prize Problem (openai.com)
    1327 points by tedsanders 1 day | 1115 comments
  14. Playing mario 64 using a fly's brain (twitter.com)
    3 points by rguiscard about 3 hours | 2 comments
  15. Surplus Agriculture Equipment (svdisposition.com)
    12 points by Bluestein 3 days | 4 comments
  16. Paramount Caught Using 'Astroturf' Group to Drum Up Fake Support for Merger (www.techdirt.com)
    384 points by hn_acker 1 day | 123 comments
  17. The origins of Partner’s computer case (www.racunalniski-muzej.si)
    40 points by markostamcar 3 days | 4 comments
  18. Getting phpBB 1.4.4 working in Docker (www.thran.uk)
    53 points by HeckFeck 3 days | 36 comments
  19. 216M Spy TVs – The LG Smart TV Problem [video] (www.youtube.com)
    910 points by treve 3 days | 1007 comments
  20. Emacs Bedrock 2.0 (lambdaland.org)
    190 points by ashton314 2 days | 55 comments
  21. The Nonfiction Book Market is Collapsing? (dearheadofmine.substack.com)
    48 points by samclemens 1 day | 59 comments
  22. Anthropic discloses fourth AI hacking incident missed in earlier review (www.reuters.com)
    11 points by accountinhn about 5 hours | 6 comments
  23. iTerm2 3.7.0 (iterm2.com)
    10 points by ahamez about 16 hours | discuss
  24. Ganon's Mysterious Origins (Revisited) (www.thrillingtalesofoldvideogames.com)
    39 points by tobr 4 days | 20 comments
  25. Neural Texture Compression for Three.js (three-ntc.ben3d.ca)
    4 points by bhouston about 10 hours | discuss
  26. I Came, I Prompted, I Left Part 1: Building a Hypervisor for the MacBook Neo (codyho.dev)
    7 points by ADevWithAnIdea about 10 hours | 5 comments
  27. One woman's Tesla was remotely controlled by an abusive ex-partner (www.theguardian.com)
    70 points by gradschool about 16 hours | 32 comments
  28. Procedural Graphs: Self-Evolving Execution Structures for LLM Agents (arxiv.org)
    4 points by xnx about 10 hours | discuss
  29. Reverse Engineering an ASIC (kjartanvandriel.github.io)
    63 points by burekqueen 3 days | 8 comments
  30. Arm Mali G2-Ultra NX GPU: desktop-class mobile gameplay with AI-native graphics (newsroom.arm.com)
    84 points by Re-Tails 2 days | 64 comments
More