ducktective Karma 8,212 Created 7 years ago About quack quack quack! :) Recent Submissions 1. ▲ F*: A general-purpose proof-oriented programming language (fstar-lang.org) 189 points · 1 month ago · 99 comments 2. ▲ Test Your Ability to Spot Google Gemini's Nano Banana Pro (realorai.dev) 1 point · 10 months ago · 1 comment All submissions on HN · View profile on HN