manu3000

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...

manu3000

3년 전discuss

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/

manu3000

4년 전discuss

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

manu3000

5년 전discuss

Oleg has written a lot about this: http://okmij.org/ftp/continuations/

you can also google "oliver danvy delimited continuations" or "felleisen delimited continuations"

manu3000

5년 전discuss

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

manu3000

5년 전discuss

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

manu3000

5년 전discuss

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

manu3000

6년 전discuss

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

manu3000

6년 전discuss

> to impose the majority's will on the minority.

this is what democracy is about

manu3000

6년 전discuss

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

Submissions

Accounting for uncertainty to help engineers design complex systems

Consultation Opens on a Digital Currency for New Zealand

How Encryption Is Solving Cloud Computing's Greatest Challenge

How I Learned to Stop Worrying and Love Golang

comments