polyglotfacto | Dark Hacker News

1.	1 points by polyglotfacto 56 days ago \| discuss
2.	1 points by polyglotfacto 68 days ago \| discuss
3.	1 points by polyglotfacto 72 days ago \| discuss
4.	Lean and AI caught a bug in my 2-year-old TLA+ spec(medium.com) 1 points by polyglotfacto 77 days ago \| 1 comment
5.	Implementing WebNN with the Help of AI(medium.com) 1 points by polyglotfacto 82 days ago \| 1 comment
6.	Federal Reserve use of AI coding(federalreserve.gov) 1 points by polyglotfacto 86 days ago \| 1 comment
7.	Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun'(nytimes.com) 2 points by polyglotfacto 87 days ago \| 1 comment
8.	1 points by polyglotfacto 99 days ago \| discuss
9.	Show HN: Prompt-injection‑resistant agent runtime that writes web apps(github.com) 1 points by polyglotfacto 101 days ago \| 0 comments