Kristopher Micinski

@krismicinski

Asst. CS prof, . Programming languages and security. Always looking for students (email me!). Formerly

Syracuse, NY
Vrijeme pridruživanja: veljača 2011.

Tweetovi

Blokirali ste korisnika/cu @krismicinski

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

  1. Prikvačeni tweet
    21. sij 2017.

    Program synthesis in a nutshell

    Poništi
  2. continually surprised that robust debugging / visualization infrastructure can pay off 10-100 fold vs. the time it takes to write.

    Poništi
  3. I teach tuesday/thursday this semester and I love it. So conducive to research + teaching, and plenty of time to get slides done over weekends..

    Poništi
  4. me when I read C++ code: "haha how is there any way this works.."

    Poništi
  5. proslijedio/la je Tweet
    1. velj

    does "make invalid states unrepresentable" invoke uncomfortable geopolitical connotations for anyone else lol

    Poništi
  6. proslijedio/la je Tweet

    TFW the word you are trying to masculinize already has "man" in it.

    Prikaži ovu nit
    Poništi
  7. 2. velj

    mathematical induction is just for loops for proofs.

    Poništi
  8. 1. velj

    tfw your students have a deadline at the beginning of the next week and you go to the climbing gym on saturday morning

    Poništi
  9. 31. sij

    IMO lot of miscommunication happens about the utility of mutability vs. purity in software engineering. One of the biggest red herrings is that, in local context (where you can fully see the state), state isn't really bad, sometimes helps--tail-recursive loops *are* for loops.

    Poništi
  10. 31. sij

    pretty sure this is like phd advising 101 right here

    Poništi
  11. proslijedio/la je Tweet
    30. sij

    as a professor, i never require a doctor’s note if you get sick. i require your parent’s HBO GO password. HBO offers prestige television and film on demand, and id love to share that experience with your family every night. Brett, please, i need this

    Poništi
  12. 30. sij

    could be worse. Could be like 900.

    Prikaži ovu nit
    Poništi
  13. 30. sij

    So the downside to having 105 students in the class is that now if I email all of them I get 100 responses. I joke. I get 50 responses.

    Prikaži ovu nit
    Poništi
  14. 30. sij

    (there was some other stuff, but basically I spent like 60 minutes doing these as in-class exercise.)

    Prikaži ovu nit
    Poništi
  15. 30. sij

    Lot of students confused about basic, equivalent, constructs in my class. So today's class was the same function five times: - (filter f l), using standard if / direct-style recursion - using if w/ tail recursion - using match+direct - using match w/ tail recursion - using foldr

    Prikaži ovu nit
    Poništi
  16. 30. sij

    I, too, feel like I made an inappropriately-timed trip to Costco post-xmas when I cut text the day of the deadline.

    Poništi
  17. 30. sij

    you know that thing where people heard about the pl slack today? yeah add me to the security one if it exists.

    Poništi
  18. 30. sij

    sometimes I think to myself, wow, my house is unreasonably cold, and then I go downstairs and realize it's 65 degrees.

    Poništi
  19. 29. sij

    when I retire I'm just going to do livecoding ASMR 24/7

    Poništi
  20. 29. sij
    Poništi
  21. proslijedio/la je Tweet
    29. sij
    Odgovor korisnicima

    There is a thesis on the Souffle port: Performance optimization on Declarative Points-to Analysis using the Souffle Datalog Engine

    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:

    ·