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.
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.
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
I have switched from #nixos containers to a relatively simple bubblewrap script to isolate my home directory from possibly malicious stuff that could run as I am developing. It's a bit ad-hoc and not a very thorough protection, but convenient enough that I might get in the habit.
Noticed that developing with access to my personal data is dangerous, given random dependencies and auto-updating Code extensions…
Set up a nice local #nixos container for dev stuff…
Hoped to keep all tokens and keys out of it (would run git push outside that container)…
Only to notice that #Github#copilot only works with a full-access github token… sigh.
Anyways, still an improvement. Blog post to follow.
There might be train driver strikes in Germany soon again. I guess if I want to give my #lean tutorial at #bobkonf2024 in presence, I have to start cycling soon…
Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and I talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.
Squashing your Github PR (if that’s what the project you want to contribute expects) is surprisingly annoying. So I created https://squasher.nomeata.de/ to do it for you. #git#github
Why do some project maintainers send a PR back to you as ”approved, but please merge” instead of pressing the Merge (Squash) button? Why doesn't GitHub doesn't allow branches to be squashed from the UI (and thus on the go as I get the please-squash? Why am I ranting about PR processes on Saturday night… ah, right: because that at least I can do.
@angerman And writing a Github App is silly in the sense that it could be a purely static page running only in the user’s browser, if Apps didn’t need secrets. Now I’d need to host it somewhere.