Show more
otini boosted

~ Searching through the Rare Books collection in the university library ~

Librarian: Can I help you? Are you looking for something?

Me: Yeah, so there has to be like a cursed amulet or something that I can use to trap Alexa, Siri and Cortana in forever, right?

Librarian: Haha (waits for other patron to leave) follow me

New version of the tutorial “Introduction to C program proof withFrama-C and its WP plugin” by Allan Blanchart
allan-blanchard.fr/publis/fram

otini boosted
otini boosted

OCaml, == 

otini boosted

I've been using NixOS for almost two years and only just now realized I no longer need to be afraid of doing system upgrades right before leaving on a trip…

otini boosted

A celebrity is someone who works hard all their life to become known, and then wears dark glasses to avoid being recognized.

Vim 

Today for once I was motivated to do some coding outside of work, but I had so many boring things to do in the evening that I couldn't. I guess that's what it means to be a grown-up.

otini boosted

Already €30,000 worth of donations! Only €5,000 more to reach the second milestone! 💖 💖 💖 If we succeed, we commit to do everything we can to provide you with a fully federated #Mobilizon around fall 2019. #fediverse #ActivityPub #JoinMobilizon joinmobilizon.org/en/news#19-0

Reading the MathML specification on a Sunday. As nerdy as it gets.

has a work-in-progress implementation of math typesetting and that's niiiiice

github.com/simoncozens/sile/pu

Does anyone know how math fonts are supposed to be used? E.g. to render a “mathematic” x, which code point should I use? The ASCII lowercase x, or the MATHEMATICAL ITALIC SMALL X?

The untyped nature of Lua makes me cringe.

It's more than untyped, it puts super little constraint on what you can do. Apparently you can call a function with missing arguments and they will just take the value `nil`. When has it been deemed a good idea to have non-explicitly optional arguments? 😕

otini boosted
otini boosted
otini boosted
otini boosted
otini boosted

OK. So, I did something: mbodin.github.io/murder-genera
This is a #murderParty generator. It’s still experimental, but it starts providing results, so it’s time to share it!

I’m looking for feedbacks. If you already played #rpg and especially murder parties or mysteries, I would appreciate to know what you think is lacking in this program.

In a nutshell, this generator combines together story elements to create a fully-fledged scenario. Because we are only at the beginning of the program, there are actually very few elements and the overall scenarios are not yet magical. It will come with time, I think ☺

I’m also looking for usage of this program outside the role playing #game area. I’m for instance thinking that it may play a role in language course: if generating a scenario for few people (2–3) and small character sheets, il could create a tiny scenario that could be used in a language course for practice. If you have such ideas, please share them! ☺

otini boosted
Show more
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.