Érik Martin-Dorel
erikmartindorel.bsky.social
Érik Martin-Dorel
@erikmartindorel.bsky.social
Software developer, ex-academic.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Maybe you're already aware of it, otherwise you may be interested in pinning this thread:
bsky.app/profile/did:...
September 17, 2025 at 3:45 PM
I guess this is because the app at stake is a web app, and its Javascript code prevents pasting?

In this case, if you use Firefox, you may be interested in this tip?

support.mozilla.org/en-US/questi...
Specific fields not allowing paste | Firefox Support Forum | Mozilla Support
support.mozilla.org
June 12, 2025 at 8:29 PM
BTW it happens there's an OCaml binding for Binaryen (but you were certainly aware of it):
github.com/grain-lang/b...
GitHub - grain-lang/binaryen.ml: OCaml bindings for Binaryen.
OCaml bindings for Binaryen. Contribute to grain-lang/binaryen.ml development by creating an account on GitHub.
github.com
May 28, 2025 at 11:41 PM
I think so!!

(* Just FYI, I just found an old screenshot of that very page I took on 2024-11-21: the feature was not mentioned. *)
May 25, 2025 at 10:37 PM
and yet, if I open bsky.app/settings/acc... > Handle > I have my own domain, I see:

"Your current handle … will automatically remain reserved for you. You can switch back to it at any time from this account."

Maybe this "handle-preservation feature" is new?
May 25, 2025 at 10:12 PM
Reposted by Érik Martin-Dorel
Also on android, also having the same problem. Apparently not a problem on iOS according to one of my mutuals.

@bsky.app this is inconvenient enough that I am thinking of either only logging in on my computer or quitting BlueSky.
May 18, 2025 at 12:07 PM
Yes we can also do this. But if the compiler is happy with both, I don't see why we'd discard the currying-based, more elegant phrasing.
Anyway I can understand it is a matter of personal taste.
May 22, 2025 at 7:49 PM
But currying is one of the pillars of FP!
If you drop it, you won't be able to write code like:
[1; 2; 3; 4]
|> List.filter (fun n -> n mod 2 = 0)
|> List.map (fun n -> n * n)

And in PLs where currying is not native, it is available as a package:
www.npmjs.com/package/curry
pypi.org/project/PyMo...
curry
flexible but simple curry function. Latest version: 1.2.0, last published: 12 years ago. Start using curry in your project by running `npm i curry`. There are 107 other projects in the npm registry us...
www.npmjs.com
May 22, 2025 at 6:39 PM
Et le snippet de code EmacsLisp de mon post précédent permet d'ajuster aussi les raccourcis pour passer en plein écran vs. maximiser la fenêtre sans basculer vers un "plein écran isolé" :
Ctrl+Cmd+f
Ctrl+u Ctrl+Cmd+f
May 14, 2025 at 11:41 AM
Oui par défaut les deux touches options sont identiques dans emacs sous macOS. Solution: ajouter ces lignes dans son .emacs, pour que Option de gauche = Meta, et Option de droite = Caractères spéciaux :
github.com/erikmd/tapfa...
tapfa-init.el/.emacs at b833c211b15c9c198fa7c17a11b2a7fa0493dd53 · erikmd/tapfa-init.el
Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée) - erikmd/tapfa-init.el
github.com
May 14, 2025 at 11:37 AM