1. 961.
   The category of propositional deductive systems

   arxiv.org · /rss/math.LO

   ▲ 0 · Jul 22
2. 962.
   Multi-Timescale Latent-Action DRL for Joint Optimization in Edge-Cloud Networks

   arxiv.org · /rss/cs.LG

   ▲ 0 · Jul 22
3. 963.
   CryptanalysisBench: Can LLMs do Cryptanalysis?

   arxiv.org · /rss/cs.CR

   ▲ 0 · Jul 22
4. 964.
   Dark matter searches with a 13 meV threshold superconducting sensor array

   arxiv.org · /rss/astro-ph.IM

   ▲ 0 · Jul 22
5. 965.
   Search-on-Graph-R1: Training Large Language Models to Search Knowledge Graphs with Reinforcement Learning

   arxiv.org · /rss/cs.CL

   ▲ 0 · Jul 22
6. 966.
   DiffAxE: Diffusion-driven Hardware Accelerator Generation and Design Space Exploration

   arxiv.org · /rss/cs.AR

   ▲ 0 · Jul 22
7. 967.
   Concurrency Testing in the Linux Kernel via eBPF

   arxiv.org · /rss/cs.OS

   ▲ 0 · Jul 22
8. 968.
   Watching a language model think before it speaks

   blog.nathanlangley.dev

   ▲ 24 · Jul 22 · 4 comments on HN
9. 969.
   v2.0.0-rc9

   github.com · /jacobobryant/biff/releases.atom

   ▲ 0 · Jul 22
10. 970.
    Matt Mullenweg Responds to Active Install Growth Data Ticket for First Time in Four Years, Cites “Competing Interests”

    therepository.email · /rss

    ▲ 0 · Jul 22
11. 971.
    examples/ferry/v0.6.0: v0.6.0: Mobile Platform Support (iOS/Android)

    github.com · /hasenj/go-shirei/releases.atom

    ▲ 0 · Jul 22
12. 972.
    Please hold off on signing the VSRF Petition to Repeal the 1986 vaccine law

    kirschsubstack.com · /feed

    ▲ 0 · Jul 22
13. 973.
    A simple API for offering your coding agent a smoke break

    smoke-break.pineapplefreefall.com

    ▲ 15 · Jul 22 · 3 comments on HN
14. 974.
    Turnkey kit converts commercial ships into drone carriers

    newatlas.com · /engineering/index.rss

    ▲ 0 · Jul 22
15. 975.
    Heat, hardware and high stakes at China’s World Artificial Intelligence Conference

    scmp.com · /rss/320663/feed

    ▲ 0 · Jul 22
16. 976.
    The Kale Salad I Eat Almost Every Night

    theartofdoingstuff.com · /feed

    ▲ 0 · Jul 22
17. 977.
    [AINews] AI Cybersecurity becomes top of mind

    latent.space · /feed

    ▲ 0 · Jul 22
18. 978.
    Samsung Display to Showcase OLED Innovations Spanning Next-Generation Form Factors, Future Mobility, AI and Gaming

    en.ubiresearchnet.com · /feed

    ▲ 0 · Jul 22
19. 979.
    US renews strikes on Iran as Trump threatens to attack Pickaxe Mountain

    bbc.com · /

    ▲ 0 · Jul 22
20. 980.
    v0.2.18

    github.com · /bkuan001/halo-record/releases.atom

    ▲ 0 · Jul 22
21. 981.
    You Don’t Need $200 Million To Make A Blockbuster Film Any More

    techdirt.com · /feed

    ▲ 0 · Jul 22
22. 982.
    Elmer’s Bottle Tree Ranch – A Father and Son Story

    dustbowlhighway.com · /feed

    ▲ 0 · Jul 22
23. 983.
    Meta’s Infrastructure Team Needs A Culture Reset

    newsletter.semianalysis.com · /feed

    ▲ 0 · Jul 22
24. 984.
    Massachusetts Lawmakers Have Stalled On Missing Children Protections For Decades

    binj.news · /feed

    ▲ 0 · Jul 22
25. 985.
    Mastercard Patented A Tool That Could Have Cracked This Summer's Cyclospora Outbreak. It Was Never Deployed

    forbes.com · /sites/johndrake/feed

    ▲ 0 · Jul 22
26. 986.
    OOMWOO Headless Sim for LLM Agents

    makerspet.com · /feed

    ▲ 0 · Jul 22
27. 987.
    @runtypelabs/persona@4.9.0

    github.com · /runtypelabs/persona/releases.atom

    ▲ 0 · Jul 22
28. 988.
    v1.0.140

    github.com · /iOfficeAI/OfficeCLI/releases.atom

    ▲ 0 · Jul 22
29. 989.
    Flight From Police, Prohibited Driving, and How BC Courts Sentence a High-Speed Spree

    kylaleelawyer.substack.com · /feed

    ▲ 0 · Jul 22
30. 990.
    Okinawa Cellular Telephone (9436.T): The Cash-Printing Tropical Monopoly

    konichivalue.com · /feed

    ▲ 0 · Jul 22