Posts by otini@functional.cafe
(DIR) Post #AJoTSYLTaJdGtaybE8 by otini@functional.cafe
2022-05-25T12:37:42Z
1 likes, 1 repeats
If you want to know why your program is slow or what is taking CPU power, you should really read this great zine by Julia Evans: https://jvns.ca/perf-zine.pdf
(DIR) Post #AMJkPS1INeTOO8vMtU by otini@functional.cafe
2022-08-08T11:42:14Z
0 likes, 1 repeats
Love to have an element of my GUI that's written in Python crash because of a type error.Breaking: we can now detect type errors before running the program! (Breaking in 1969)
(DIR) Post #AMJkPSV4awIBsUr9JA by otini@functional.cafe
2022-08-08T11:42:37Z
1 likes, 0 repeats
I loved it even less when a Python type error crashed a UAV I was flying 😂 (it was only a student competition, but still)
(DIR) Post #AMmQw1ogSHwNUvSWBc by otini@functional.cafe
2022-08-21T23:16:53Z
1 likes, 0 repeats
Please stop writing actual software in Lua. It was supposed to be a scripting language. I now feel more and more compelled to imagine a gradual type system for Lua to remedy part of the unsafeties and unefficiencies of your software now
(DIR) Post #APjXpu3gvxI79iMSBs by otini@functional.cafe
2022-11-18T11:40:19Z
0 likes, 0 repeats
@StupidCamille C’est vraiment honteux…
(DIR) Post #APjXpukENnJpHeGQUq by otini@functional.cafe
2022-11-18T11:48:50Z
0 likes, 0 repeats
@StupidCamille est-ce que ça aide si on écrit à l'école doctorale pour soutenir ta demande ?
(DIR) Post #AQfHXKcda8CKrgKnei by otini@functional.cafe
2022-12-16T12:39:57Z
0 likes, 1 repeats
After 8 years of efforts…OCaml 5.0.0 is released today!https://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974
(DIR) Post #AQfHXMKzCjGcBW5jQ8 by otini@functional.cafe
2022-12-16T12:40:32Z
0 likes, 0 repeats
feat. multicore support, and algebraic effects!
(DIR) Post #AQfQeEoKUCCMSJAgQi by otini@functional.cafe
2022-12-16T13:38:44Z
0 likes, 0 repeats
@tychosoft how so?
(DIR) Post #AQfQeFnIpUyHVPhNT6 by otini@functional.cafe
2022-12-16T14:34:56Z
0 likes, 0 repeats
@tychosoft that’s case for all languages that we use infrequently, i think. It’s true that OCaml’s error messages tend to be a bit dry, even though there’s been improvement recently (and more should follow)
(DIR) Post #AQfcY328YlWldpRcoK by otini@functional.cafe
2022-12-16T13:51:41Z
2 likes, 1 repeats
In this day of OCaml 5.0.0 release introducing multicore support, we also release a dedicated ThreadSanitizer support for OCaml, to detect all the data races that you will create🐫😄https://discuss.ocaml.org/t/ann-threadsanitizer-support-for-ocaml-5-0-0-first-public-release/10975With my colleague Fabrice, I’ve spent a few hours on this one
(DIR) Post #AQfjM7R54831V0N2ie by otini@functional.cafe
2022-12-16T18:08:42Z
0 likes, 0 repeats
@veer66 you are free to do that and suffer the consequences :-° @tychosoft
(DIR) Post #ASpuwsfNjVzXYoqBSC by otini@functional.cafe
2023-02-19T11:49:52Z
0 likes, 0 repeats
@garymarcus beautiful!
(DIR) Post #AUYdhykam1o4YfPdK4 by otini@functional.cafe
2023-04-11T21:52:21Z
1 likes, 0 repeats
@na @mallabori cela dit comme en fait SILE prend du XML (la syntaxe TeX-like n’étant que du XML déguisé), c’est assez simple de la remplacer par une autre syntaxe si on a envie, soit pour le document entier soit dans des balises spécifiques. C’est ce que j’ai fait pour la balise <math> qui a un parser spécifique par exemple.
(DIR) Post #AV70xMG3gvst50Ycca by otini@functional.cafe
2023-04-28T13:26:47Z
0 likes, 1 repeats
It always amazes me how English comes up with 3-letter words to describe relatively complex realities, like “pets”.
(DIR) Post #AVyYPvgFXcyhjCeMCW by otini@functional.cafe
2023-04-28T10:45:00Z
2 likes, 1 repeats
Mutating code is bad, so let me turn it into purely functional code and then use syntax shims to make it look exactly like my original mutating code
(DIR) Post #AVyYPxbiNSXThiXlPU by otini@functional.cafe
2023-04-28T13:22:19Z
0 likes, 0 repeats
(true story from this morning)
(DIR) Post #AVycuDVsCihdXUUhU0 by otini@functional.cafe
2023-05-24T10:08:45Z
1 likes, 0 repeats
#Typst is neat and very good to write basic documents. The ergonomy of the web UI is impressive.With collaborative editing, I think it could even be used by non-technical and technical people alike for working on shared documents, as a better Google docs (consistent styling, real table of contents, better-looking etc.)
(DIR) Post #AcZo9W66tDq7gyyWXY by otini@functional.cafe
2023-12-06T16:21:44Z
0 likes, 1 repeats
What’s your take about a good way to do GUI nowadays? Is QML still relevant?
(DIR) Post #AcZoG8tvX3IrmDR66y by otini@functional.cafe
2023-10-27T16:44:37Z
0 likes, 1 repeats
Trying web UI in OCaml. I wanted to give a try to reactive DOM with Lwd. 1,5 days in I’m still not grasping everything https://discuss.ocaml.org/t/a-board-of-binary-switches-with-brr-lwd/13321/1