HNHacker News
TopNewBestAskShowJobs

techwizrd

1,228 karma · joined September 25, 2013

Principal AI/ML, Aviation Safety, and Aeromedical Safety at MITRE

[ my public key: https://keybase.io/ksarkhel; my proof: https://keybase.io/ksarkhel/sigs/2C5BZyjsFh9eLr4vNe6-e6IVbpXEE0Edm4UuJ1rBcAA ]

Github: techwizrd

Fediverse/ActivityPub: Mastodon: @kksarkhel@mastodon.social Lemmy: @techwizrd@programming.dev X: @kunikins

submissionscomments

Touchdown: Enabling Safe Landings in Las Vegas for Super Bowl Lviii

mitre.org·1 pts·techwizrd·
0

Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs

twitter.com·4 pts·techwizrd·
0