Hackernews posts about VAE

  1. Generating Human Faces with VAEs (mayberay.bearblog.dev)
    2 points by mugamuga about 7 hours ago | discuss
  2. Show HN: Moozix – AI for Musicians (moozix.com)
    2 points by jbswift85 about 13 hours ago | discuss
  3. We pwned X, Vercel, Cursor, and Discord through a supply-chain attack (gist.github.com)
    1167 points by hackermondev 14 days ago | 434 comments
  4. AI will make formal verification go mainstream (martin.kleppmann.com)
    827 points by evakhoury 16 days ago | 434 comments
  5. Stardew Valley developer made a $125k donation to the FOSS C# framework MonoGame (monogame.net)
    556 points by haunter about 21 hours ago | 235 comments
  6. Avoid UUID Version 4 Primary Keys in Postgres (andyatkinson.com)
    377 points by pil0u 17 days ago | 449 comments
  7. EFF launches Age Verification Hub (www.eff.org)
    375 points by iamnothere 22 days ago | 355 comments
  8. Over 40% of deceased drivers in vehicle crashes test positive for THC: Study (www.facs.org)
    345 points by bookofjoe 12 days ago | 501 comments
  9. Texas app store age verification law blocked by federal judge (www.macrumors.com)
    322 points by danso 9 days ago | 249 comments
  10. Test, don't just verify (alperenkeles.com)
    198 points by alpaylan 9 days ago | 140 comments
  11. Project Vend: Phase Two (www.anthropic.com)
    197 points by kubami 10 days ago | 91 comments
  12. How to hack Discord, Vercel and more with one easy trick (kibty.town)
    178 points by todsacerdoti 14 days ago | 35 comments
  13. Young journalists expose Russian-linked vessels off the Dutch and German coast (www.digitaldigging.org)
    149 points by harshreality 20 days ago | 138 comments
  14. Quality of drinking water varies significantly by airline (foodmedcenter.org)
    148 points by azinman2 1 day ago | 135 comments
  15. AI vending machine was tricked into giving away everything (kottke.org)
    145 points by duggan 14 days ago | 13 comments
  16. Using Vectorize to build an unreasonably good search engine in 160 lines of code (blog.partykit.io)
    143 points by ColinWright 11 days ago | 41 comments
  17. We Let AI Run Our Office Vending Machine. It Lost Hundreds of Dollars (www.wsj.com)
    125 points by lukaspetersson 14 days ago | 86 comments
  18. Dafny: Verification-Aware Programming Language (dafny.org)
    110 points by handfuloflight 16 days ago | 33 comments
  19. Mazda suitcase car, a portable three-wheeled vehicle that fits in the luggage (www.designboom.com)
    103 points by tlyleung 23 days ago | 53 comments
  20. We built a resource hub to fight back against age verification (www.eff.org)
    102 points by heavyset_go 21 days ago | 3 comments
  21. Indexing 100M vectors in 20 minutes on PostgreSQL with 12GB RAM (blog.vectorchord.ai)
    92 points by gaocegege 24 days ago | 25 comments
  22. US seizes oil tanker off coast of Venezuela (www.usatoday.com)
    86 points by geox 22 days ago | 130 comments
  23. Why isn't online age verification just like showing your ID in person? (www.eff.org)
    85 points by hn_acker 20 days ago | 116 comments
  24. Venezuela's Navy Begins Escorting Ships as U.S. Threatens Blockade (www.nytimes.com)
    75 points by belter 15 days ago | 87 comments
  25. Qualcomm acquires RISC-V focused Ventana Micro Systems (www.qualcomm.com)
    75 points by fork-bomber 22 days ago | 78 comments
  26. Hammersmith Bridge – Where did 25k vehicles go? (nickmaini.substack.com)
    63 points by tobr 28 days ago | 50 comments
  27. SIMD City: Auto-Vectorisation (xania.org)
    62 points by brewmarche 12 days ago | 19 comments
  28. Venezuela explained in 10 maps and charts (www.aljazeera.com)
    60 points by Anon84 19 days ago | 86 comments
  29. Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    59 points by PaulHoule 4 days ago | 12 comments
  30. Formally verifying Advent of Code using Dijkstra's program construction (haripm.com)
    57 points by seafoamteal 29 days ago | 8 comments
More