Hackernews posts about Dave Mills

1. ΛProlog: Logic programming in higher-order logic (www.lix.polytechnique.fr)
   2 points by ux266478 about 14 hours ago | discuss
2. Ask HN: Ergo wireless keyboard with mouse for coding?
   5 points by MarcelOlsz 22 days ago | 6 comments
3. Show HN: A native macOS client for Hacker News, built with SwiftUI (github.com)
   224 points by IronsideXXVI about 23 hours ago | 152 comments
4. Show HN: Rover – Embeddable web agent (www.rtrvr.ai)
   32 points by arjunchint 8 days ago | 18 comments
5. Dave Plummer: The man who scammed millions in 2006 [video] (www.youtube.com)
   1 points by jesprenj over 1 year ago | discuss
6. 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
7. Show HN: Rivet Actors – Durable Objects built with Rust, FoundationDB, Isolates (github.com)
   133 points by NathanFlurry about 1 year ago | 26 comments
8. 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
9. Carolina Cloud – One third the cost of AWS for data science workloads (carolinacloud.io)
   142 points by bojangleslover 2 months ago | 76 comments