otini @otini@functional.cafe

If there is anyone here who'd like to work with me as a Research Associate from 1 Jan 2022 until 31 July 2023 or for a shorter period, full-time or part-time, please let me know.

Closing date is 13 Oct, no applicants so far so I will re-advertise if needed.

The post is on a research project at the intersection of embedded systems (SW&HW), programming languages, compilers, runtime systems and type theory. So if you know about any of these areas, it may suit you.

https://www.jobs.ac.uk/job/CJE549/research-associate

you should have all of your passwords be different, randomly generated, and stored in some secure database.

for people whose threat models require offline storage (read: almost nobody), there's KeePassXC, but in most cases you should be using a third-party cloud password database since it helps ensure you don't lose it. you also should be using a browser extension to auto-fill passwords, since it's both convenient and adds an extra layer of protection by not putting passwords in the clipboard by default.

I recommend BitWarden since it's cheap, open-source (and hence easily auditable by third parties), and has pretty nice browser extensions and mobile apps, but there are also people who use 1Password and LastPass, both of which have been vouched for by security folks

if you're the kind of person who likes remembering passwords, I recommend using the built-in generator for your password DB, since most of them offer passphrase options which will be easier to type out manually if needed, but still doesn't have to be remembered. see: https://xkcd.com/936/

most password database tools also offer storing 2FA secrets as well, meaning that you can use it like an automatically backed-up authenticator app. in most cases, instead of scanning a QR code, you can copy the secret token for the 2FA directly and store it in these databases, while still being able to generate the numbers needed for most apps.

#bash #programming #comics by Julia Evans - https://wizardzines.com/

In 2025 the two major browsers engine gonna be:
1. blink (chrome, edge, vivaldi and cie)
2. youtube-dl (yeah they gonna have to do they own browser engine to be able to download videos)

We have a new #blog! And since its boring to check out a new blog without new content, we also wrote a new article! There is a lot of new stuff, most importantly: We have a first beta release of our #android app 🎉

https://blog.funkwhale.audio/2021-september-update.html

#Funkwhale #DevelopmentUpdate

I don't understand the interactions between records and implicit parameters in #idris. Why can't I manually set the declared implicit parameters of a record's field outside the record's declaration?

NixOS users, what experiences tripped you up at first?

I'm looking to write or contribute to an onboarding guide, where some Linux experience is assumed (like for someone who uses Arch/Debian/Ubuntu).

#NixOS

This is accurate.

#Science

it‘s always „why combinator“ but no one ever asks how combinator