1. Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video] (www.youtube.com)
    7 points by matt_d about 6 hours | discuss
  2. Encrypted Spaces: An architecture for collaborative applications (encryptedspaces.org)
    81 points by _____k 2 days | 12 comments
  3. 5.3M-year-old deep-sea whale necropolis in the Diamantina Zone (www.nature.com)
    8 points by defrost about 7 hours | 1 comments
  4. CSS: Unavoidable Bad Parts (matklad.github.io)
    133 points by surprisetalk 5 days | 82 comments
  5. Law Enforcement's "Warrior" Problem (2015) (harvardlawreview.org)
    104 points by bookofjoe 1 day | 105 comments
  6. FDA OKs first new sunscreen ingredient in more than 25 years (apnews.com)
    19 points by marc__1 about 8 hours | 5 comments
  7. Making a vintage LLM from scratch (crlf.link)
    101 points by croqaz 3 days | 29 comments
  8. Google proposes Open Knowledge Format based on Markdown (cloud.google.com)
    63 points by itherseed about 18 hours | 8 comments
  9. Rust-like compiler pipeline to resolve Matlab language semantics (runmat.com)
    21 points by finbarr1987 3 days | 1 comments
  10. Pokémon Go Scans Trained the Navigation Tech for Military Drones (dronexl.co)
    714 points by vrganj 3 days | 316 comments
  11. Claude Fable is relentlessly proactive (simonwillison.net)
    762 points by lumpa 2 days | 656 comments
  12. Kimi K2.7-Code: open-source coding model with better token efficiency (huggingface.co)
    447 points by nekofneko 2 days | 235 comments
  13. Discovery of Cold War-era rare Eastern Bloc computers in a German hangar (computerhistory.org)
    124 points by andrewstuart 7 days | 30 comments
  14. You can power on a Mac remotely (www.jeffgeerling.com)
    60 points by speckx 1 day | 43 comments
  15. Anthropic apologizes for invisible Claude Fable guardrails (www.theverge.com)
    507 points by rarisma 3 days | 443 comments
  16. Show HN: StackScope – I crawled over 40k indie launches to see what they ship (stackscope.dev)
    63 points by datafreak_ 1 day | 17 comments
  17. Yoti does not report GrapheneOS users to the authorities (www.yoti.com)
    22 points by Cider9986 1 day | 8 comments
  18. MiMo Code is now released and open-source (mimo.xiaomi.com)
    551 points by apeters 3 days | 310 comments
  19. A greyscale iPhone setup that works in everyday life (www.fabianhemmert.com)
    139 points by hemmert 3 days | 73 comments
  20. Show HN: FablePool – pool money behind a prompt, and Fable builds it in public (fablepool.com)
    518 points by matthewbarras 2 days | 273 comments
  21. A Call to Action: Stop the FCC's KYC Regime (blog.lopp.net)
    329 points by FergusArgyll 2 days | 224 comments
  22. Show HN: Lightweight C++23 S3 client with no extra deps (just curl and OpenSSL) (github.com)
    5 points by ggcr about 16 hours | 4 comments
  23. Show HN: Skill for your agent to visualize your gbrain and Obsidian (github.com)
    20 points by v_ignatyev 1 day | 16 comments
  24. A new era for software testing (antirez.com)
    140 points by Chrisszz 7 days | 58 comments
  25. France's Own Hack Is the Best Argument Against Its War on Encryption (reclaimthenet.org)
    28 points by anonymousiam about 15 hours | 6 comments
  26. Switzerland to vote on plan to cap population at 10 million (www.bbc.com)
    6 points by breve about 7 hours | discuss
  27. macOS Container Machines (github.com)
    1259 points by timsneath 4 days | 430 comments
  28. WASI 0.3 (bytecodealliance.org)
    254 points by mavdol04 2 days | 96 comments
  29. SkillSpector (github.com)
    47 points by taubek 1 day | 4 comments
  30. OpenAI mulls slashing prices as it competes with Anthropic for users (www.cnbc.com)
    133 points by agentifysh 3 days | 142 comments
More