Shon Feder

@ShonFeder

Allophilia + Synechism. I'm seeking the good in connection with all that is other via philosophy, logic, programming, ethics, and music.

NYC
Vrijeme pridruživanja: lipanj 2011.

Medijski sadržaj

  1. 8. sij
  2. 28. srp 2019.
  3. 13. lis 2018.

    OCaml's dune build system recites a Litany Against Exceptions:

  4. 12. kol 2018.

    Constable's "The Triumph of Types: Creating a Logic of Computational Reality" () helps explain what's at stake in the choice between NuPRL's CTT and Coq's CoC/CIT (at least, from one POV):

  5. 21. lip 2018.
  6. 21. lip 2018.
  7. 5. ožu 2018.
  8. 19. sij 2018.
  9. 30. pro 2017.
    Odgovor korisniku/ci

    Am I looking at the wrong home page? (Not meaning to oppose the praise of humility etc.)

  10. 2. pro 2017.
  11. 19. kol 2017.
    Odgovor korisniku/ci

    A regular function, sure. But you must admit this is an intimidating type signature for a function to generate an anchor element! ;) ❤️🐫

  12. 5. kol 2017.
  13. 4. kol 2017.
    Odgovor korisniku/ci

    Beautiful. The piano work reminded me a bit of

  14. 2. kol 2017.
    Odgovor korisniku/ci

    Associativity of composition: ☑️ simple ☑️ beautiful ☑️ profound ◻️ fully understood by me

  15. 2. kol 2017.

    I'm reading Lawvere & Schanuel's "Conceptual Mathematics"

  16. 23. lip 2017.
    Odgovor korisniku/ci
  17. 13. ožu 2017.

    Schönfinkel's summary of the aims and achievement of combinatory logic is spectacular:

  18. 19. pro 2016.
  19. 20. stu 2016.
    Odgovor korisniku/ci
  20. 14. kol 2016.
    Odgovor korisniku/ci

    Limiting some forms of expression by deliberate, well-reasoned criteria to rule out undesirable negative behaviors:

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·