nomeata

@nomeata@mastodon.online

Has a thing for abstraction.
Haskeller, Computer Scientist.
Dances tango, swing and blues.
Stand-up comedian and Paraglider.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

nomeata, 8 days ago to random

Me, a year ago or so:
Cool, I can teach termux to use an SSH key protected by the android hardware and unlocked by my fingerprint. No more passwords!
Me, today, at #gpn, trying to log into my server to play tron:
Termux-API since stopped working on Android 14, so no access to any SSH key, so no tron playing.
No wonder passwords never die.

reply

expand (2)

collapse (2)

report

activity

copy /kbin url

copy original url

open original url

Loading...

+ BoydStephenSmithJr

nomeata, 8 days ago

I managed to access my server using the virtual console at the Hetzner cloud web interface, and because I luckily enabled "password less root shell on the local console" a while ago.

reply

report

activity

copy /kbin url

copy original url

open original url

Loading...

nomeata, 22 days ago to random

I've implemented functional induction theorems in Lean, shipping with the upcoming version 4.8.0, and wrote a tutorial-style blog post about it:
https://lean-lang.org/blog/2024-5-17-functional-induction/
(h't to David Christiansen for the tooling behind the hover features.)
#lean #leanlang

reply

report

activity

copy /kbin url

copy original url

open original url

Loading...

+ alanz, mangoiv