Hackernews posts about vPro

  1. The Vampire Theorem Prover (github.com)
    1 points by modinfo 13 days ago | discuss
  2. Crystal Wars – turn-based strategy on a fresh Voronoi map every match (play.crystalwars.io)
    10 points by VertexNoord 20 days ago | 2 comments
  3. Vero: Can AI Agents Build Formally Verified Software Repositories? (arxiv.org)
    2 points by ninadwrites 5 days ago | discuss
  4. VPhone Workstation – create and use virtual iPhones on Mac (github.com)
    2 points by 71bw 16 days ago | discuss
  5. Show HN: Vqrotate – Drop-in rotation trick for VQ-VAEs (github.com)
    1 points by develepo 8 days ago | discuss
  6. Show HN: Guide AI coding agents on how to use libraries securely (github.com)
    3 points by hajipour 17 days ago | 2 comments
  7. Show HN: I Made Shadertoy 2.0 (www.fibertoy.dev)
    2 points by NabilNYMansour 30 days ago | discuss
  8. The Marxist Case for the Technofeudal Hypothesis (jacobin.com)
    29 points by aleksjess 4 days ago | 5 comments
  9. Dark mode toggles: two states are enough (lea.verou.me)
    6 points by JeremyTheo 11 days ago | 4 comments
  10. A perfect example of concept entanglement in generative AI (martinanderson.ai)
    3 points by 50kIters about 23 hours ago | discuss
  11. Dark mode toggles: two states are enough (lea.verou.me)
    3 points by nikolay 10 days ago | discuss
  12. I host my own AIM server (veronicaexplains.net)
    3 points by speckx 29 days ago | discuss
  13. Today's JavaScript, from an outsider's perspective (2020) (lea.verou.me)
    2 points by downbad_ 25 days ago | 1 comments
  14. Dark mode toggles: two states are enough (lea.verou.me)
    2 points by aratahikaru5 14 days ago | discuss
  15. Dark mode toggles: two states are enough (lea.verou.me)
    1 points by birdculture 9 days ago | discuss
  16. Dark mode toggles: two states are enough (lea.verou.me)
    1 points by meetpateltech 15 days ago | discuss
  17. JsxCore – A TSX/JSX View Engine for Asp.net Core (github.com)
    1 points by vyrotek 17 days ago | discuss
  18. Ask HN: What's the endgame of the AI comments buried in every post?
    14 points by elar_verole 1 day ago | 13 comments
  19. Don't be a meat proxy (gruhn.me)
    1849 points by ngruhn 18 days ago | 742 comments
  20. Aaron Swartz was prosecuted for scraping, while Meta does it without consequence (blog.curiousquail.com)
    1398 points by speckx about 11 hours ago | 304 comments
  21. DeepSeek V4 Pro 0813 (openrouter.ai)
    1041 points by explosion-s 9 days ago | 453 comments
  22. “Code was never the hard part” is an insult to all programmers (blog.senko.net)
    945 points by senko 13 days ago | 590 comments
  23. US strikes $1.2B deal to pay German firm to halt offshore wind projects (www.bbc.com)
    910 points by defrost 14 days ago | 887 comments
  24. The coolest use for the Vision Pro (christianselig.com)
    849 points by robbiet480 22 days ago | 321 comments
  25. Claude: System Prompts (platform.claude.com)
    758 points by tosh 5 days ago | 285 comments
  26. Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
    697 points by quantumgarbage 10 days ago | 308 comments
  27. Geolocating a random island using geometry and CUDA programming (yassa9.github.io)
    519 points by yassa9 2 days ago | 86 comments
  28. I Inspected My Take-Home Interview Project. It Was a Whole Operation (citizendot.github.io)
    482 points by CITIZENDOT 29 days ago | 126 comments
  29. Controversial creators are benefiting from monetization programs run by Meta (www.abc.net.au)
    479 points by robtherobber 9 days ago | 338 comments
  30. How does IKEA come up with names for its products? (www.ikea.com)
    460 points by NaOH 3 days ago | 325 comments
More