Hacker News new | ask | show | jobs
user: polyglotfacto
created: 2020-04-11
karma: 200

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Lean and AI caught a bug in my 2-year-old TLA+ spec
1 points | 1 comments
0 points | 0 comments
Implementing WebNN with the Help of AI
1 points | 1 comments
0 points | 0 comments
Federal Reserve use of AI coding
1 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun'
2 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Prompt-injection‑resistant agent runtime that writes web apps
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments