Hackernews posts about Pro

1. Google details new 24-hour process to sideload unverified Android apps (arstechnica.com)
   1196 points by 0xedb 17 days ago | 1262 comments
2. Rob Pike’s Rules of Programming (1989) (www.cs.unc.edu)
   1020 points by vismit2000 19 days ago | 449 comments
3. My astrophotography in the movie Project Hail Mary (rpastro.square.site)
   911 points by wallflower 14 days ago | 200 comments
4. Do Not Turn Child Protection into Internet Access Control (news.dyne.org)
   839 points by smartmic 15 days ago | 450 comments
5. How many products does Microsoft have named 'Copilot'? (teybannerman.com)
   786 points by gpi 1 day ago | 368 comments
6. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo 20 days ago | 192 comments
7. iPhone 17 Pro Demonstrated Running a 400B LLM (twitter.com)
   713 points by anemll 13 days ago | 327 comments
8. Apple discontinues the Mac Pro (9to5mac.com)
   665 points by bentocorp 10 days ago | 650 comments
9. Project Nomad – Knowledge That Never Goes Offline (www.projectnomad.us)
   610 points by jensgk 15 days ago | 223 comments
10. “Your frustration is the product” (daringfireball.net)
    606 points by llm_nerd 18 days ago | 333 comments
11. Building a Procedural Hex Map with Wave Function Collapse (felixturner.github.io)
    580 points by imadr 27 days ago | 86 comments
12. Epoch confirms GPT5.4 Pro solved a frontier math open problem (epoch.ai)
    480 points by in-silico 13 days ago | 706 comments
13. Get Shit Done: A meta-prompting, context engineering and spec-driven dev system (github.com)
    473 points by stefankuehnel 19 days ago | 254 comments
14. US and TotalEnergies reach 'nearly $1B' deal to end offshore wind projects (www.lemonde.fr)
    448 points by lode 13 days ago | 386 comments
15. Ask HN: How is AI-assisted coding going for you professionally?
    434 points by svara 21 days ago | 617 comments
16. Professional video editing, right in the browser with WebGPU and WASM (tooscut.app)
    367 points by mohebifar 15 days ago | 131 comments
17. Cherri – programming language that compiles to an Apple Shortuct (github.com)
    353 points by mihau 9 days ago | 72 comments
18. Dolphin Progress Release 2603 (dolphin-emu.org)
    338 points by BitPirate 25 days ago | 54 comments
19. If you thought code writing speed was your problem you have bigger problems (andrewmurphy.io)
    335 points by mooreds 19 days ago | 212 comments
20. Executing programs inside transformers with exponentially faster inference (www.percepta.ai)
    330 points by u1hcw9nx 25 days ago | 130 comments
21. We should revisit literate programming in the agent era (silly.business)
    292 points by horseradish 28 days ago | 252 comments
22. It Took Me 30 Years to Solve This VFX Problem – Green Screen Problem [video] (www.youtube.com)
    290 points by yincrash 23 days ago | 113 comments
23. Italian prosecutors seek trial for Amazon, 4 execs in alleged $1.4B tax evasion (www.reuters.com)
    287 points by amarcheschi 24 days ago | 71 comments
24. How I'm Productive with Claude Code (neilkakkar.com)
    281 points by neilkakkar 13 days ago | 167 comments
25. FFmpeg at Meta: Media Processing at Scale (engineering.fb.com)
    281 points by sudhakaran88 28 days ago | 100 comments
26. Jury says Meta knowingly harmed children for profit, awarding landmark verdict (www.latimes.com)
    277 points by 1vuio0pswjnm7 11 days ago | 2 comments
27. The pleasures of poor product design (www.inconspicuous.info)
    269 points by NaOH 19 days ago | 100 comments
28. U.S. exempts oil industry from protecting Gulf animals, for 'national security' (www.npr.org)
    263 points by Jimmc414 5 days ago | 112 comments
29. The 100 hour gap between a vibecoded prototype and a working product (kanfa.macbudkowski.com)
    262 points by kiwieater 22 days ago | 331 comments
30. Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (twitter.com)
    261 points by mean_mistreater 8 days ago | 184 comments