Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
ducktective | Dark Hacker News
user:
ducktective
created:
December 10, 2018
karma:
8.2k
about:
quack quack quack! :)
submissions
comments
1.
F*: A general-purpose proof-oriented programming language
(fstar-lang.org)
189 points
by
ducktective
16 days ago
|
99 comments
2.
Test Your Ability to Spot Google Gemini's Nano Banana Pro
(realorai.dev)
1 points
by
ducktective
267 days ago
|
1 comment
3.
Debian 13.1 Released
(debian.org)
21 points
by
ducktective
345 days ago
|
0 comments