53 Matching Annotations
  1. Aug 2023
  2. Jul 2023
  3. Dec 2022
    1. Peter J. Landin coined the term “closure”. Yes, he invented damn near half the terms in programming languages. Most of them came out of one incredible paper, “The Next 700 Programming Languages”.

      Read this paper

  4. Aug 2022
  5. Mar 2022
  6. Jan 2022
  7. Sep 2021
  8. May 2021
    1. We also show how our construction im-proves the efficiency of all existing tightly-secure AKE protocols.
  9. Jan 2021
  10. Aug 2020
  11. Jul 2020
  12. Jun 2020
  13. May 2020
  14. Mar 2020
  15. Jan 2020
  16. Jun 2019
  17. May 2019
  18. Apr 2019
  19. Jul 2017
  20. May 2017
  21. Mar 2017
  22. Jan 2017
  23. Dec 2016
  24. Jul 2016
    1. (Crooks, 1933; De Zouche, 1945; Kirschenbaum, Simon, & Napier, 1971; Linder, 1940; Marshall, 1968)
    1. school often neatly reinforces the hierarchies of our socio-economic world

      Though it came out a few years after the texts listed in the previous paragraph, Randall Collins’s Credential Society would be relevant.

    2. The phrase comes from his 1973 book Tools for Conviviality, published just 2 years after the book he’s probably best known for, Deschooling Society.  These are just two of a number of very interesting, progressive if not radical texts about education from roughly the same period: Paul Goodman’s Compulsory Mis-education (1964). Jonathan Kozol’s Death at an Early Age (1967). Neil Postman’s Teaching as a Subversive Activity (1969). Paulo Freire’s Pedagogy of the Oppressed (first published in Portuguese in 1968 and in English in 1970). Everett Reimer’s School is Dead (1971).
    1. series of radical educational paperbacks, published by Penguin in the series Penguin Education Specials in the 1970’s. These included: Paulo Freire Pedagogy of the Opprressed ; Paul Goodman Compulsory Miseducation; Ivan Illich De-Schooling Society; Everett Reimer School is Dead. 
  25. May 2016
  26. Apr 2016
  27. Mar 2016
  28. Jan 2016
  29. Jul 2015
    1. a number of text-mining tools aimed at supporting biomedical text extraction, fact finding and text summarization. Some of the better-known or more widely used tools include EBIMed (4), CiteXplore (5) and GoPubMed (6)

      would be good to check these out