polyglotfacto
- Karma
- 200
- Created
- 5 years ago
Recent Submissions
- 1. ▲ Lean and AI caught a bug in my 2-year-old TLA+ spec (medium.com)
- 2. ▲ Implementing WebNN with the Help of AI (medium.com)
- 3. ▲ Federal Reserve use of AI coding (federalreserve.gov)
- 4. ▲ Paul Ford: 'The A.I. Disruption Has Arrived, and It Sure Is Fun' (nytimes.com)
- 5. ▲ Show HN: Prompt-injection‑resistant agent runtime that writes web apps (github.com)