otini is a user on functional.cafe. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

otini @otini@functional.cafe

Pinned toot

Hi everyone! I'm new here so, time for an ?

I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )

Today I program a lot in , because French research teams use it a lot, but I also use and I like dependently-typed languages like .

For some work I have done on the OCaml compiler you can check out otini.chnik.fr/.

Glad to be here :)

After 8 years of using Vim, I finally took the time to set the status line so that it displays location info all the time. (For some reason, the location info at the bottom of the screen disappears with multiple windows…)

otini boosted

I'm working on a safe ST monad transformer in . That is, an alternative to this: hackage.haskell.org/package/ST that works with the list monad.

I've got two implementations: one is entirely pure and should be leaking a lot of memory (because it uses an evergrowing map under the hood), the other uses weak pointer/unsafePerformIO magic to mitigate said leakage. I've profiled both on the same problem. Results: the pure version uses constant memory, the optimised version leaks like crazy… wat

Big disappointment of the moment: learning to understand the logic and the simplicity behind TeX's macros like \hbox, \vbox, \it etc. only to learn later that they are considered obsolete and discouraged in LaTeX.

otini boosted

breaking: security researchers find way to put arbitrary pixels on screens. suggested fix: do not use screens

otini boosted

Ce moment où la #deadline approche et où le répertoire #Git commence à faire des nœuds ☺

otini boosted

école (prépa) Show more

otini boosted

What the actual fuck:

"A group of European security researchers have released a warning about a set of vulnerabilities affecting users of PGP and S/MIME. EFF has been in communication with the research team, and can confirm that these vulnerabilities pose an immediate risk to those using these tools for email communication, including the potential exposure of the contents of past messages."


otini boosted

Dites, les juristes de Mastodon, c'est légal que la Banque Postale exige deux pièces d'identité pour retirer de l'argent au guichet dans le 93 (quand le compte n'est pas du 93)?
Sachant que tout le monde ne dispose pas de deux pièces d'identité?

otini boosted

If I want to start learning #racket, should I do HTDP or should I do something else?

I already program a ton, and I've done a small amount of #scheme in the past.

otini boosted

`git heckout master` ... been browsing mastodon too much...

What would it take to make a compiler from TeX to the primitives of another typesetting system (e.g. Patoline)? It would make TeX packages usable in a newer system.

But it involves at least recoding TeX. 😅 And the interfacing between TeX and the other system would probably be hard to achieve, too.

otini boosted
otini boosted

Pour les francophones intéressés par pi-hoole ou par Haskell, j’ai essayé d’écrire un petit billet « retour d’expérience » sur les bibliothèques cools que j’utilise pour pi-hoole.

C’est sur @ZesteDeSavoir que ça se passe : zestedesavoir.com/billets/2551

Unless I'm missing something, it is very clumsy to typeset into a box (other than the page) in Patoline, whereas this is pretty much the fundamental feature of TeX.

But I may be missing something, so I decided to bother the developers with a question: github.com/patoline/patoline/i

Currently crawling through the 30,000 lines of codes of

otini boosted

I do not want to live on this planet anymore:

"[T]he exploit is the first to show that GPUs can flip individual bits stored in dynamic random-access memory. (...) It's also the first Rowhammer attack that uses standard JavaScript to compromise a smartphone, meaning it can be executed when users do nothing more than visit a malicious website. Another key innovation: on average, GLitch takes less than two minutes to compromise a device"


otini boosted

re: my scifi take and revision

I like how the more positive post got more faves than the negative one. That would never happen on birbsite.

never change, masto <3



works as well.

Okay, in TeX you can define aliases for definition, i.e. you can type


and then define a macro b with:


For someone who like typed languages with nice semantics, this is a serious shock

otini boosted

Trying to find a digital home for my friend. Does anyone know if there's an instance geared around #philosophy? I found one for #academia in general but not really philosophy-specific necessarily.