lyxia @lyxia@mamot.fr

I've just realized "resumption" and "continuation" are synonymous. I somehow did equate the two subconsciously when reading papers using either words. Now I'm just shocked my subconsciousness did that without telling me.

The limitations to our understanding of peer review

https://researchintegrityjournal.biomedcentral.com/articles/10.1186/s41073-020-00092-1

Nyalas are badly painted antelopes.

I made some slides on defunctionalization

https://docs.google.com/presentation/d/1Q_DQ3AWum1NlYk3OL_X8TZVwtI3PqTQmo8-JjVnNeDM/edit#slide=id.p

A funny moment with the Bulgarian Prime Minister.

http://homepages.inf.ed.ac.uk/slindley/papers/frankly-jfp.pdf

> We have changed the title to include three letter words in the hope that Google Scholar will index it this time.

There's a POPL paper titled do be do be do (Lindley et al., 2017). The title is so funny Google Scholar won't index it. Now they've published an extended version that tries to avoid the issue: doo bee doo bee doo.

Finger trees are a really cool data structure. I made a PR to containers to document some internals of Sequence:

https://github.com/haskell/containers/pull/715/files

@iitalics
Thanks! I wasn't sure whether they'd be useful, but now I'm glad I made them! 😊

A sample of type-driven programming with dependently types.

Programming totally with head and tail

https://blog.poisson.chat/posts/2020-04-13-safe-head-tail.html

I wanted to procrastinate a little by playing with hs-to-coq. Now I can't stop because I started writing a tutorial and somehow a point I was not trying to make turned into yet another tutorial on dependent types...

@marsxyz
Ça dépend du domaine, il y a différentes définitions. En probas (ce qui a l'air de te concerner) une variable discrète vit dans un espace dénombrable. En topologie, n'importe quel ensemble peut être muni d'une topo discrète.
@MartinShadok

@dmbaturin
GOSPEL: Providing OCaml with a formal specification language https://hal.inria.fr/hal-02157484v2/document

@dmbaturin
Just to be clear, I'm using Obj.magic in unverified ways. To actually verify OCaml, I've only heard of GOSPEL a week ago, that I haven't tried so I even don't know if it can answer your question.