Viewing profile — manu3000

record now, decrypt later?

Marcel Duchamp

one can see the Bastille fortress!

Good to read alongside William Cook's On Understanding Data Abstraction https://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf

a great blog on programming languages: https://matt.might.net/articles/

there may be dead people data in there

i thought it led to muscle loss as well as fat loss, muscle loss being undesirable ?

Also see Wadler’s Links and OCaml/Ocsigen for inline xml fragments, and client + server code generation

you can use Datalig within Flix https://flix.dev/

https://www.positive.news/

For French speakers, France culture has 2 series of podcasts on Weil: * https://www.radiofrance.fr/franceculture/podcasts/serie-avoi... * https://www.radiofrance.fr/franceculture/p…

Hard to beat the scope of "The Elements of Computing Systems: Building a Modern Computer from First Principles": https://www.amazon.com/Elements-Computing-Systems-Building-P... The…

an introductory blog: https://matt.might.net/articles/partial-orders/

Oleg has written a lot about this: http://okmij.org/ftp/continuations/ you can also google "oliver danvy delimited continuations" or "felleisen delimited continuations"

The OP said Hoare had invented null (which is true), not that it was one of his achievement.

Victor Frankl discusses the psychological makeup of kapos in "Man's Search for Meaning"

no, overloading functions is called "ad hoc polymorphism", whereas generics is called "parametric polymorphism"

i recommend it, it’s a great read. Fascinating to hear how literate US society was 100 years ago

> to impose the majority's will on the minority. this is what democracy is about

also similar is why3 http://why3.lri.fr/

https://phys.org/news/2020-07-white-people-black-police.html debunks Harris and Trump’s claim