otini boosted

programming, recursion 

Now I may not like recursion very much, but I made a few researches about it during the writing of this thread and I found this article, which talks about how to reason about recursive code:
indepth.dev/posts/1132/dijkstr

Show thread
otini boosted

I have encountered more image descriptions on Mastodon in 24 hours than I have in Twitter in a couple of years. Seriously. I'm not exaggerating.
As a blind person, this means a lot to me. If you read this and you describe your images, thank you so, so, so much on behalf of all of us. If you don't, now you know you'll be helping random Internet strangers make sense of your posts by typing in a few more words than usual.

Drawing figures with TikZ is sooooo damn loooooooonggggggggg

Evince is a very nice PDF viewer, too bad its key bindings are, like, hardwired into the kernel (or at least they seem to be, given the difficulty to change them)

otini boosted

Shame on me, I posted this on Twitter a while ago, but forgot to do it here:
The pre-print of our paper “No Crash, No Exploit: Automated Verification of Embedded Kernels” is now available! otini.chnik.fr/papers/RTAS21-N
And so is the artifact, which automatically verifies 96 variants of an x86 kernel, analyzing only their executables.

otini boosted

Toot 🎺 Toot 🎺 (ou pouet, pouet en français 😅).

Même si on a déjà publié des toots, aujourd'hui, c'est le grand jour !

On lance en effet officiellement notre compte sur Mastodon via cette instance de nos amis de @Framasoft. Merci à eux de nous accueillir ici 🤗

(N'hésitez pas à nous suivre sur notre compte Twitter également 😅)

otini boosted

Given job title: Firmware engineer

Actual job title: RTOS kernel configuration flag guesser

otini boosted
otini boosted

Twitter is doing something devilish (I'm not talking about its mere existence). When I'm logged in Twitter in a private Firefox window, and I open another private window, I'm also logged in.
Cookies and session identifiers are not shared between private windows. This should not happen. What nonsense have you invented, Twitter?

otini boosted

I’m sorry "Coq" is provoking such trouble. We’ve had the same thing for years with "bit", but never found the rightfulness to complain. I’m sure we can come to an agreement 😇

Twitter is doing something devilish (I'm not talking about its mere existence). When I'm logged in Twitter in a private Firefox window, and I open another private window, I'm also logged in.
Cookies and session identifiers are not shared between private windows. This should not happen. What nonsense have you invented, Twitter?

Lua should have optional type annotations that allow for partial type checking *and* runtime performance gains (by removing part of the type checks and type information). Why not?

otini boosted

my LaTeX \todo macro prints "Exercise to the reader" in a box

otini boosted
otini boosted

🌈 Quick Tip: Find out the number of your RSS subscribers from popular feed readers. #RSS

darekkay.com/blog/rss-subscrib

Show older
Functional Café

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