Hackernews posts about Dave Mills

1. Proof Theory and Logic Programming (www.lix.polytechnique.fr)
   10 points by remywang 3 days ago | discuss
2. What would you do if you have AI software that may be transformers alternative?
   3 points by adinhitlore 3 days ago | 6 comments
3. I traced $2B in nonprofit grants for Meta and Age Verification lobbying
   98 points by theseusares 12 days ago | 20 comments
4. Launch HN: Voltair (YC W26) – Drone and charging network for power utilities
   85 points by wweissbluth 6 days ago | 28 comments
5. Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
   81 points by ymarkov 9 days ago | 60 comments
6. Tell HN: Llamacpp now supports unified system RAM offloading on Linux
   5 points by dabockster about 15 hours ago | discuss
7. Ask HN: How to Evaluate IP Dataset?
   1 points by punkpeye 7 days ago | 10 comments
8. Ask HN: Constrained LLM Games
   1 points by AymanJabr about 18 hours ago | 2 comments
9. I spent 2 months building a free AgTech app for my 5k-person hometown
   2 points by guardiasannio 1 day ago | discuss
10. Dave Plummer: The man who scammed millions in 2006 [video] (www.youtube.com)
    1 points by jesprenj over 1 year ago | discuss
11. Dave Calhoun could net $45M more from Boeing even after he leaves (fortune.com)
    2 points by pg_1234 almost 2 years ago | 1 comments
12. Show HN: Rivet Actors – Durable Objects built with Rust, FoundationDB, Isolates (github.com)
    133 points by NathanFlurry over 1 year ago | 26 comments
13. Show HN: The demo of my game that uses GOAP and Utility AI is out (store.steampowered.com)
    3 points by GSGBen almost 2 years ago | 1 comments