Sandy Vanderbleek

@haskellandchill

Data scientist and software engineer interested in mathematics education.

NYC
Vrijeme pridruživanja: svibanj 2010.

Tweetovi

Blokirali ste korisnika/cu @haskellandchill

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @haskellandchill

  1. Prikvačeni tweet

    programming is like math except with hidden constantly changing definitions you have no control over

    Poništi
  2. 9. sij

    I always thought it was terrible how being a software engineer almost forces you to tie your career to a specific programming language

    Poništi
  3. 8. sij

    state transitions in electronic machinery are only computations relative to some consciousness

    Poništi
  4. 7. stu 2019.

    "All that quantum mechanics purports to provide are probability connections between subsequent impressions of the consciousness"

    Poništi
  5. 4. stu 2019.

    trust dynamics animate the human condition

    Poništi
  6. hours of sleep since Sunday as a decreasing fibonacci sequence starting at 8

    Poništi
  7. great definition of free data type

    Poništi
  8. "c ∧ a ≤ b is equivalent to c ≤ a → b" weird flex but ok

    Poništi
  9. proslijedio/la je Tweet
    Odgovor korisnicima

    “But what kind of ‘and’ do you mean, exactly?” — linear logic, where the distinction is important, so naturally each author picks a different random subset of { ⊗, &, ∧, ∧*, ⩟, ⊓, ∩, ×, ★, ⊕, ⅋, ∨, ∨*, ⊻, ⊔, ∪, + } for their notation just to keep you vigilant

    Poništi
  10. carnap is great and this is a good demonstration of interactive proof as an educational tool, can't wait to try writing up some textbooks using it

    Poništi
  11. proslijedio/la je Tweet

    Microservices are great for turning method calls in to distributed computing problems

    Poništi
  12. proslijedio/la je Tweet

    Interviewer: hmmm Can you think of any way we can make this faster? Me: Sure, lets replace this array with a log-linear histogram Interviewer: Uh.. Me: Sit the fuck down, your smug ass wanted to play fancypants with the datastructures. Now we're here for the night

    Prikaži ovu nit
    Poništi
  13. 5. lip 2018.

    I think on the front of every book you should put if the theories are decidable or not

    Poništi
  14. 4. lip 2018.

    possibly my greatest work, though I believe ~18/20 attendees disagree

    Poništi
  15. 3. lip 2018.
    Poništi
  16. undershare overdeliver

    Poništi
  17. 9. svi 2018.

    bash programming isn't so bad once you accept that every programming language is bad 😑

    Poništi
  18. 8. svi 2018.
    Poništi
  19. Programming in the 1990s 😎

    Poništi
  20. this break I've programmed in Athena, OCaml, ACL2, and Isabelle. it's been fun!

    Poništi

Č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:

    ·