otini @otini@functional.cafe
EN/FR/EO
M2 Computer Science student (aspiring PhD) • Static program analysis • Binary executable analysis • Metaprogramming
he/him
https://otini.chnik.fr
Hi everyone! I'm new here so, time for an #introduction?
I'm an M2 student living near Paris, interested in :
• Type systems (Curry-Howard ❤ )
• #CategoryTheory
• #Nix
• #metaprogramming
Today I program a lot in #OCaml, because French research teams use it a lot, but I also use #Haskell and I like dependently-typed languages like #Agda.
For some work I have done on the OCaml compiler you can check out http://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…)
I'm working on a safe ST monad transformer in #haskell. That is, an alternative to this: https://hackage.haskell.org/package/STMonadTrans-0.4.3 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.
#typography #typesetting
breaking: security researchers find way to put arbitrary pixels on screens. suggested fix: do not use screens
What the actual fuck:
https://www.eff.org/deeplinks/2018/05/attention-pgp-users-new-vulnerabilities-require-you-take-action-now
"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."
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é?
`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.
https://queue.acm.org/detail.cfm?id=3212479
How C is holding us back from writing faster software.
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 : https://zestedesavoir.com/billets/2551/petit-tour-dhorizon-des-dependances-de-pi-hoole/
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: https://github.com/patoline/patoline/issues/12
Currently crawling through the 30,000 lines of codes of #Patoline
I do not want to live on this planet anymore:
https://arstechnica.com/information-technology/2018/05/drive-by-rowhammer-attack-uses-gpu-to-compromise-an-android-phone/
"[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"
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
And
\def\a{\def}
works as well.
Okay, in TeX you can define aliases for definition, i.e. you can type
\let\a=\def
and then define a macro b with:
\a\b{…}
For someone who like typed languages with nice semantics, this is a serious shock
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.