Hackernews posts about Corning

1. OpenCode – Open source AI coding agent (opencode.ai)
   1274 points by rbanffy 18 days ago | 619 comments
2. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
   783 points by Poudlardo 22 days ago | 191 comments
3. The cult of vibe coding is dogfooding run amok (bramcohen.com)
   576 points by drob518 about 19 hours ago | 469 comments
4. CodingFont: A game to help you pick a coding font (www.codingfont.com)
   497 points by nvahalik 8 days ago | 239 comments
5. $500 GPU outperforms Claude Sonnet on coding benchmarks (github.com)
   489 points by yogthos 12 days ago | 284 comments
6. Components of a Coding Agent (magazine.sebastianraschka.com)
   295 points by MindGods 3 days ago | 90 comments
7. Launch HN: Freestyle – Sandboxes for Coding Agents (www.freestyle.sh)
   294 points by benswerd about 21 hours ago | 151 comments
8. Coding agents could make free software matter again (www.gjlondon.com)
   270 points by rogueleaderr 9 days ago | 305 comments
9. In Japan, the robot isn't coming for your job; it's filling the one nobody wants (techcrunch.com)
   197 points by rbanffy 1 day ago | 238 comments
10. Musician says AI company is cloning her music, filing claims against her (twitter.com)
    120 points by lando2319 1 day ago | 19 comments
11. Nobody is coming to save your career (alifeengineered.substack.com)
    105 points by herbertl 7 days ago | 113 comments
12. Show HN: Optio – Orchestrate AI coding agents in K8s to go from ticket to PR (github.com)
    87 points by jawiggins 13 days ago | 61 comments
13. Does coding with LLMs mean more microservices? (ben.page)
    63 points by jer0me 1 day ago | 59 comments
14. Ask HN: Client took over development by vibe coding. What to do?
    63 points by piscator 6 days ago | 42 comments
15. Ask HN: Are you too getting addicted to the dev workflow of coding with agents?
    41 points by gchamonlive 8 days ago | 45 comments
16. Show HN: Paseo – Open-source coding agent interface (desktop, mobile, CLI) (github.com)
    14 points by boudra 12 days ago | discuss
17. Ask HN: How do you offload all coding to AI?
    13 points by makingstuffs 14 days ago | 12 comments
18. Ask HN: Is it actually possible to run multiple coding sessions in parallel?
    11 points by sukit 8 days ago | 15 comments
19. Onepilot – Deploy AI coding agents to remote servers from your iPhone (onepilotapp.com)
    9 points by elmlabs 2 days ago | 5 comments
20. Ask HN: How are you keeping AI coding agents from burning money?
    8 points by bhaviav100 10 days ago | 33 comments
21. Show HN: td – a CLI to manage tasks, sessions, and worktrees for agentic coding (github.com)
    5 points by rosgoo about 1 hour ago | discuss
22. Show HN: AgentLint – ESLint for your coding agents (github.com)
    4 points by onurkanbkrc 39 minutes ago | 2 comments
23. Show HN: Bx – macOS native sandbox for AI and coding tools (github.com)
    4 points by holtwick about 2 hours ago | discuss
24. OpenAI, Anthropic, Google unite to combat model copying in China (www.businesstimes.com.sg)
    4 points by doppp about 10 hours ago | discuss
25. OpenAI, Anthropic, Google Unite to Combat Model Copying in China (www.bloomberg.com)
    3 points by Palmik about 6 hours ago | discuss
26. Can deterministic coding be relevant in 2026? (npmjs.com)
    2 points by promptfluid about 20 hours ago | 2 comments
27. Addyosmani/agent-skills: Prod-grade skills for AI coding agents (github.com)
    2 points by msolujic about 9 hours ago | discuss
28. 37 Days of Vibe Coding Immersion: Conclusions on Business Models (akitaonrails.com)
    1 points by akitaonrails about 15 hours ago | 2 comments
29. RSA 2026: The Great Cooking (vibecoded.vc)
    1 points by sylvainkalache about 3 hours ago | discuss
30. StyleSeed – Design rules that make AI coding tools produce professional UI (github.com)
    1 points by bitjaru0402 about 4 hours ago | discuss