otini boosted

If I deny a messenger app access to my contacts, it should be obvious that the right thing to do is NOT to send a notification to everyone who has my number that I now have an account on that app, creep!

For me it's an inconvenience, for some it can be life-threatening.

otini boosted
otini boosted
otini boosted
Today I received a non-solicited dubious advert on the specific email I provided kubii (a raspberry pi reseller) with. Fuck. them.

This ad comes from a third party, and I did not consent for kubii them to sell (or give away) any of my personal data.

Please avoid them like the plague.

Twitter's interface is so bloated and full of crap, when I log in it doesn't show my notifications before a random delay, and some retweet just don't trigger a notification

otini boosted

LaTeX question 


Do you have a good use case for this?

Background: this usually leads to nested links in the output; when converted to web content, that's invalid (though that can be hacked around). In any case, the UX of nested links is dubious.

But I personally haven't seen a legitimate use case for this yet.

Happy that our paper “Lightweight Shape Analysis based on Physical Types” will be presented at 🙂
Pre-print: otini.chnik.fr/papers/vmcai22_

If we were to trust Latex packages' documentation, every package should be loaded last 🤔

Python integrated pattern matching, I find it funny how mainstream, untyped languages discover the superiority of every feature of academic languages with only a 30 year delay

otini boosted
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.


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?

Show older
Functional Café

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