15 hours ago|discuss
user: polyglotfacto
200 karma | created 5 years ago
recent submissions
Lean and AI caught a bug in my 2-year-old TLA+ spec
(medium.com)
1 pts|15 hours ago|1 comment
5 days ago|discuss
Implementing WebNN with the Help of AI
(medium.com)
1 pts|5 days ago|1 comment
10 days ago|discuss
Federal Reserve use of AI coding
(federalreserve.gov)
1 pts|10 days ago|1 comment
10 days ago|discuss
10 days ago|discuss
10 days ago|discuss
2 pts|10 days ago|1 comment
20 days ago|discuss
22 days ago|discuss
1 pts|22 days ago|discuss
23 days ago|discuss
23 days ago|discuss
24 days ago|discuss
24 days ago|discuss
24 days ago|discuss
1 pts|25 days ago|discuss
28 days ago|discuss