Hackernews posts about MPA

1. Building a Rust-style static analyzer for C++ with AI (mpaxos.com)
   92 points by shuaimu 5 days ago | 58 comments
2. Pick a door. I'll judge you (nathanpmyoung.substack.com)
   5 points by mparramon 30 days ago | discuss
3. Beginning January 2026, all ACM publications will be made open access (dl.acm.org)
   2031 points by Kerrick 22 days ago | 239 comments
4. Trump says Venezuela’s Maduro captured after strikes (www.reuters.com)
   1770 points by jumpocelot 7 days ago | 4681 comments
5. Texas is suing all of the big TV makers for spying on what you watch (www.theverge.com)
   1268 points by tortilla 24 days ago | 642 comments
6. We invited a man into our home at Christmas and he stayed with us for 45 years (www.bbc.co.uk)
   1178 points by rajeshrajappan 16 days ago | 282 comments
7. Maybe the default settings are too high (www.raptitude.com)
   937 points by htk 15 days ago | 321 comments
8. AI will make formal verification go mainstream (martin.kleppmann.com)
   827 points by evakhoury 24 days ago | 434 comments
9. Package managers keep using Git as a database, it never works out (nesbitt.io)
   784 points by birdculture 15 days ago | 463 comments
10. Roomba maker goes bankrupt, Chinese owner emerges (news.bloomberglaw.com)
    670 points by nreece 26 days ago | 809 comments
11. I'm a developer for a major food delivery app (old.reddit.com)
    623 points by apayan 8 days ago | 298 comments
12. 1.5 TB of VRAM on Mac Studio – RDMA over Thunderbolt 5 (www.jeffgeerling.com)
    617 points by rbanffy 22 days ago | 228 comments
13. Stardew Valley developer made a $125k donation to the FOSS C# framework MonoGame (monogame.net)
    587 points by haunter 9 days ago | 251 comments
14. You can make up HTML tags (maurycyz.com)
    584 points by todsacerdoti 12 days ago | 190 comments
15. macOS 26.2 enables fast AI clusters with RDMA over Thunderbolt (developer.apple.com)
    540 points by guiand 28 days ago | 291 comments
16. Last Year on My Mac: Look Back in Disbelief (eclecticlight.co)
    511 points by vitosartori 13 days ago | 419 comments
17. VPN location claims don't match real traffic exits (ipinfo.io)
    490 points by mmaia 27 days ago | 321 comments
18. Ask HN: Those making $500/month on side projects in 2025 – Show and tell
    485 points by cvbox 23 days ago | 560 comments
19. How China built its ‘Manhattan Project’ to rival the West in AI chips (www.japantimes.co.jp)
    470 points by artninja1988 22 days ago | 607 comments
20. Open Infrastructure Map (openinframap.org)
    455 points by efskap 2 days ago | 92 comments
21. Show HN: I made a memory game to teach you to play piano by ear (lend-me-your-ears.specr.net)
    412 points by vunderba about 9 hours ago | 147 comments
22. What makes you senior (terriblesoftware.org)
    410 points by mooreds 21 days ago | 192 comments
23. Jimmy Lai Is a Martyr for Freedom (reason.com)
    386 points by mooreds 18 days ago | 239 comments
24. Mattermost restricted access to old messages after 10000 limit is reached (github.com)
    385 points by xvilka 16 days ago | 250 comments
25. Mathematics for Computer Science (2018) [pdf] (courses.csail.mit.edu)
    368 points by vismit2000 about 19 hours ago | 62 comments
26. Craft software that makes people feel something (rapha.land)
    344 points by lukeio 30 days ago | 183 comments
27. Meta made scam ads harder to find instead of removing them (sherwood.news)
    329 points by wtcactus 9 days ago | 111 comments
28. Disney making $1B investment in OpenAI, will allow characters on Sora AI (www.cnbc.com)
    327 points by tiahura 30 days ago | 2 comments
29. As AI gobbles up chips, prices for devices may rise (www.npr.org)
    321 points by geox 12 days ago | 513 comments
30. Fathers’ choices may be packaged and passed down in sperm RNA (www.quantamagazine.org)
    321 points by vismit2000 13 days ago | 187 comments