otini boosted
She who made bugs

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
0
otini boosted
Guillem Leon

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.

1+
otini

Drawing figures with TikZ is sooooo damn loooooooonggggggggg

0
otini

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)

0
otini boosted
Naomi cro-ondes

An hyperbolic roulette !

0
otini

I will be presenting it live at RTAS on May 19. 2021.rtas.org/program/

Show thread
1
otini

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.

1
otini boosted
MattermostFR

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

1
otini

0xCAFE

0
otini boosted
Kyle Machulis

Given job title: Firmware engineer

Actual job title: RTOS kernel configuration flag guesser

1
otini

Goodbye minted, hello again listings.

0
otini boosted
nokomprendo

L'approche Tagless Final, en Haskell peertube.fr/videos/watch/4e748

0
otini boosted
otini

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?

1
otini boosted
Alan 🎲

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 😇

1+
otini

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?

1
otini

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?

0
otini

Pandoc can convert TeX math to MathML? Didn't know about that one. Fun :p

pandoc.org/getting-started.htm

0
otini boosted
hazel :ms_asleep:

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

1
otini boosted
Hackernews

Papers Without Code - paperswithoutcode.com/

0
otini boosted
Darek Kay

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

darekkay.com/blog/rss-subscrib

0
Show older

otini's choices:

Functional Café

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

Resources

Developers

What is Mastodon?

functional.cafe

More…