otini boosted

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.


@bortzmeyer Sans doute parce qu'on est tous des libristes qui ne sont pas sur Facebook, mais qui avons 50 services « auto-hébergés » chez OVH

otini boosted

general password privacy advice re: twitch hack 

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: 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.

otini boosted

Est-ce que vous connaissez une page qui liste tous les axiomes connus et lesquels sont (in)compatibles les uns avec les autres.

Il y a bien cette page là qui en liste quelques uns, mais elle ne parle pas de l’axiome d’univalence (incompatible avec l’axiome K) : github.com/coq/coq/wiki/CoqAnd

SILE v0.12.0 release features *mathematics typesetting* for the first time! 🎉

This is not TeX yet, but hey, you gotta start somewhere 😼

otini boosted
otini boosted

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)

otini boosted

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 🎉


#Funkwhale #DevelopmentUpdate

otini boosted

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?

otini boosted

@tokudan @nbathum Trying to run any kind of executable file that has not been compiled as part of a Nix package is impossible; and as a consequence, I had to get help from a Nix-savvy friend to learn packaging of software with Nix, which is a steeeeeeep curve

otini boosted

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).


otini boosted
otini boosted

nourriture et orthographe 

huître avant s'écrivait sans h, qui a été rajouté pour distinguer ce mot du mot vitre, car les u s'écrivaient v :hhHHHAAAH:

pareil pour huile et ville

l'orthographe est une vaste blague épisode 53986

otini boosted

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

otini boosted
@turion haskell fans be like: haskell good for parallel because immutable
haskell rts be like: haha mutator and gc both mutating the mutable heap go brrr
otini boosted

I have to do a lot of manual cleaning of my Zotero references to uniformize field format, and it's quite frustrating.

Show older
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!