1. Lean4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
    6 points by salkahfi about 23 hours | 1 comments
  2. Questions for Cloudflare (entropicthoughts.com)
    cloudflare toolswebsite securitycontent delivery network
    75 points by todsacerdoti 5 days | 66 comments
  3. Iran president says capital move now a necessity as water crisis deepens (www.iranintl.com)
    iran politicsiranian governmentmiddle east news
    28 points by DrierCycle 2 days | 23 comments
  4. Ring Cache for High-Frequency Trading in Go: Microsecond-Level Data Access (skoredin.pro)
    8 points by ibobev 3 days | discuss
  5. Auditing JDBC Drivers at Scale with AI led to 85000 bounty (www.hacktron.ai)
    4 points by Mohansrk 2 days | discuss
  6. The Algorithm That Detected a $610B Fraud (substack.com)
    machine learningartificial intelligencefinancial analytics
    37 points by coloneltcb 2 days | 8 comments
  7. ArkA – A minimal open video protocol (first MVP demo) (baconpantsuppercut.github.io)
    video protocolsopen sourcearka
    19 points by moshebenpeshe 3 days | 3 comments
  8. 'If I had colon cancer, I could grow my own tumor, and see which drug kills it' (english.elpais.com)
    13 points by PaulHoule 1 day | 3 comments
  9. Inflatable Space Stations (worksinprogress.co)
    13 points by bensouthwood 3 days | discuss
  10. Lawmakers Are Rolling Back Food Safety Rules (jacobin.com)
    food safety regulationsgovernment oversightconsumer protection
    38 points by wahnfrieden 2 days | 1 comments
  11. YouTube Is Awful. I'm Not Posting There Anymore (joshgriffiths.site)
    social media platformsonline creatorsdigital marketing strategy
    66 points by speckx 5 days | 40 comments
  12. In a U.S. First, New Mexico Opens Doors to Free Child Care for All (www.wsj.com)
    child care policyus state initiativesearly childhood education
    312 points by nairteashop 1 day | 505 comments
  13. How do the pros get someone to leave a cult? (www.theguardian.com)
    cult deprogrammingexit counselingpsychological manipulation
    138 points by n1b0m 5 days | 124 comments
  14. Björk Guðmundsdóttir (en.wikipedia.org)
    icelandic musiciansfemale singer-songwriterselectronic music artists
    21 points by weinzierl 1 day | 6 comments
  15. Ask HN: How do you balance creativity, love for the craft, and money?
    12 points by introvertmac 1 day | 9 comments
  16. Cloudflare Dashboard and Cloudflare API service issues (www.cloudflarestatus.com)
    cloudflare dashboard issuescloudflare api problemsweb performance monitoring
    24 points by testplzignore 3 days | 2 comments
  17. Brazil's ex-president Bolsonaro arrested to prevent 'escape' court says (www.cnn.com)
    bolsonaro arrestbrazil politicsjair bolsonaro news
    29 points by marcodiego 2 days | 20 comments
  18. Cocoa's Flavanols Protect Blood Vessels From Uninterrupted Sitting (www.birmingham.ac.uk)
    8 points by giardini 1 day | 4 comments
  19. Using an Array of Needles to Create Solid Knitted Shapes (dl.acm.org)
    6 points by PaulHoule 2 days | discuss
  20. Mind-altering 'brain weapons' no longer only science fiction, say researchers (www.theguardian.com)
    mind-alteringbrain-weaponsneuroscience
    16 points by ifh-hn 2 days | 8 comments
  21. Apple shows how much faster the M5 runs local LLMs compared to the M4 (9to5mac.com)
    machine learning modelsartificial intelligence processorsapple silicon comparisons
    28 points by geoffbp 2 days | 2 comments
  22. Researchers discover security vulnerability in WhatsApp (www.univie.ac.at)
    whatsapp security vulnerabilitycybersecurity threatsmobile messaging
    309 points by KingNoLimit 4 days | 137 comments
  23. Olmo 3: Charting a path through the model flow to lead open-source AI (allenai.org)
    model flowopen-source aiartificial intelligence
    20 points by jeffreysmith 4 days | 3 comments
  24. FEX: A fast usermode x86 and x86-64 emulator for ARM64 Linux (github.com)
    7 points by doener 2 days | discuss
  25. Over-Regulation Is Doubling the Cost (rein.pk)
    14 points by gdeglin 4 days | discuss
  26. Understanding QCOW2 Risks with QEMU Cache=None in Proxmox (kb.blockbridge.com)
    6 points by todsacerdoti 2 days | 1 comments
  27. Tailscale Down (status.tailscale.com)
    vpncloud networkingnetwork reliability
    100 points by fasz 4 days | 59 comments
  28. Pimped Amiga 500 (www.pimyretro.org)
    amiga retroretro gamingclassic computer
    97 points by onename 5 days | 43 comments
  29. A day at Hetzner Online in the Falkenstein data center (www.igorslab.de)
    data center tourcolocation servicescloud infrastructure
    181 points by speckx 6 days | 81 comments
  30. Palo Alto Networks to Acquire Chronosphere (www.paloaltonetworks.com)
    cloud securitycybersecurity m&anetwork monitoring
    18 points by rchandna 4 days | discuss
More