Hier, j’ai enfin terminé « La crise de la masculinité : autopsie d’un mythe tenace ». Ça m’a pris facilement un an de lecture épisodique… pas parce que le livre est mauvais (au contraire ! il est infiniment intéressant), mais parce que les réalités qu’il décrit se suivent et se ressemblent et laissent un sentiment d’impuissance et de gâchis énorme
https://livre.fnac.com/a12362450/Francis-Dupuis-Deri-La-crise-de-la-masculinite
#JeRecrute en stage au centre Inria de #Bordeaux pour travailler sur #Guix pour le #HPC et la #recherche #reproductible.
☛ https://people.bordeaux.inria.fr/lcourtes/stage-2021.html
Pour étudiant·e en license/master qui souhaite faire du #LogicielLibre !
Merci de relayer. :-)
TIL you can use "type:<input type>" in place of a complicated input name listed by swaymsg -t get_inputs (#sway tips)
I should release coqffi.1.0.0~beta4, right?
https://github.com/coq-community/coqffi/blob/main/CHANGES.md#unreleased
RT @tausbn@twitter.com
I used to know a joke about linear logic, but then I told it to someone else. https://twitter.com/PenanceArkana/status/1286695735006760961
And let's not forget about supporting the theoretical CapTPigeon, where we send such messages over microsd cards transported via homing pigeons with tiny backpacks
Some day, some day...
(okay, so after further investigation, I could have found the issue much sooner if only I haven’t had removed the generated mli file… this one is on me)
I ran into the perfect example of why a tool like coqffi is necessary, and why you should never configure Coq extraction mechanism manually. I lost almost 2h before understanding what the issue was…
And it was that `a * b * c` in OCaml and `a * b * c` in Coq are not equivalent as far as the extraction mechanism is concerns, but everything compile just fine because of the amount of `Obj.magic` that the extraction uses…
That being said, I need to fix coqffi now 😅 (https://github.com/coq-community/coqffi/issues/56)
A colleague of mine is trying to teach me some #prolog, but I would prefer to not have to use the Eclipse extension. Does anyone know another usable interpreter?
Boost appreciated
Lol @wingo is (unsurprisingly) killing it in this "Compiling to WebAssembly" talk by live-hacking a scheme-to-webassembly module https://fosdem.org/2021/schedule/event/webassembly/
I made some slides on trying to understand equality https://docs.google.com/presentation/d/1Z1i38i4_mtW11_0KmbYz1o2SwjtlaWHB1j_cZyQ0Mr4/edit
Whew! The blogpost about CapTP is finally out: https://spritelyproject.org/news/what-is-captp.html
It's pretty long though, and I think demos will be more convincing than words... better get to working on them, then!
I don’t like syntax highlighting.
Distributed under the terms of the AGPLv3+.