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/

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/podcasts/serie-simo...

For English speakers, Enlightened By Love: The Life and Thought of Simone Weil (5 hours): https://www.davidcayley.com/podcasts/2014/11/30/1msu5jd829w2...

I can also recommend the already mentioned "Philosophize This!" podcast

As for her writings, I enjoyed these short pieces:

* The Power of Words

* The Iliad, or the Poem of Force

* Écrits historiques et politiques (fr) https://cras31.info/IMG/pdf/simone_weil_-_ecrits_1_--_histor...

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 website is here: https://www.nand2tetris.org/

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

algebraic data types and parametric polymorphism, so you can define an option type for computations that fails and get rid of nulls

get into politics

Can you please post a link to this?

stay at home

I discovered podcasts late, about 2 years ago, and now religiously tune in during my commute

I started with "In Our Time", recommended for the quality of the guests, the variety of subjects and number of episodes (near 900)

At the moment I switch between these 3:

"The Age of Napoleon" (https://podbay.fm/podcast/1223795973) and "Revolutions" (https://podbay.fm/podcast/703889772) rekindled my interest for History, especially the 19th century.

"The History of Literature" (https://podbay.fm/podcast/1048375034)

a fun exercise is to write this in Dafny https://github.com/dafny-lang/dafny

It's simple enough to be attempted with a limited knowledge of Dafny, but subtle enough that you will need to think about what you are doing

https://www.youtube.com/watch?v=-_tx3lk7yn4

The Age of Napoleon is another good one: https://recordedhistory.net/the-age-of-napoleon/

> you can't do multi-line lambdas because whitespace sensitive languages are awful.

like Haskell ?

the big 3 are "Notes from the underground", "Crime and Punishment", "The brothers Karamazov" (from this podcast https://historyofliterature.com/169-dostoevsky/)