polyglotfacto | Dark Hacker News

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