Viktor K.

[Viktor K. @vjkuncak]

Faculty positions at @EPFL . Verification and formal methods among the explicitly emphasized areas! https://t.co/OHVyt0fdiQ @PLDI @epfl_en

[Viktor K. @vjkuncak]

Twitter does not wish to take responsibility to verify my account. They prefer to consider me as reliable as Russian and American bots. @trekkinglemon I was in this because you folks asked. I know better now. More in person if needed.

[Viktor K. @vjkuncak]

@johnregehr Can someone tweet me the public github link to these benchmarks?

[Viktor K. @vjkuncak]

Interesting research. But memory safety should NOT be optional in 2017. https://t.co/p2fzdELv7X

[Hacker News Bot @newsycombinator]

US telcos selling realtime ability to associate web browsing with name & address https://t.co/WsJhKqblEP

[Akka @akka_io_]

How to teach programming with #Kojo, the #Scala-based learning environment for coders aged 8 to 80:

https://t.co/llfguErYHI

[Viktor K. @vjkuncak]

@larsr_h Yesterday I was Young Kombucha. Today I cannot remember. Tomorrow - only day will tell!

[Viktor K. @vjkuncak]

With interesting sounding programs such as https://t.co/fnTIzeWdp1 https://t.co/tPVF2xRcHu

[Emin Gün Sirer🔺⚔️ @el33th4xor]

Monsanto's Big Tobacco moment. https://t.co/Hl8KxCip31

[Viktor K. @vjkuncak]

@business But is it a constructive find or an existence proof?

[Viktor K. @vjkuncak]

Compile scala faster! https://t.co/qe9upOUWpo

[Iulian Dragos @jaguarul]

Finally here, our new website with customer stories! https://t.co/l0GYykn9Ui

[Yaron (Ron) Minsky @yminsky]

Interested in doing hardware synthesis in a language that doesn't make your eyes bleed? Apply!
https://t.co/zyEetDoov3

[Viktor K. @vjkuncak]

@RanjitJhala it has made its mind on an important metaphysical questions. AI reads man pages instead of books, which is its key competitive advantage!

[Edouard Bugnion 🇨🇭 @ebugnion]

Hot off the press - our #sosp17 paper on Zygos. Code and benchmark scripts all open-sourced. https://t.co/bt6U6MtDBP

[Viktor K. @vjkuncak]

Typing "computational thinking" into an automated translator gives pensée informatique (fr) and rechnerisches Denken (de). How would you translate?

[Hacker News Bot @newsycombinator]

Yahoo Triples Estimate of Breached Accounts to 3B https://t.co/GiIjkWRaid

[specs2.org @specs2org]

#specs2 4.0.0 finally released: https://t.co/ODrBOHpnWS with no more dependency on #scalaz and now working on Scala.js

[Hacker News Bot @newsycombinator]

IMF Head Foresees the End of Banking and the Triumph of Cryptocurrency https://t.co/ufRNYPysWv

[Joi Ito @Joi]

Searching for tenure-track faculty for @medialab - one in arts and design and one unspecified - https://t.co/ZP5Eg64hFZ

[Machine Learning at Georgia Tech @mlatgt]

Welcome to all the new Machine Learning Faculty to Georgia Tech https://t.co/nPqRdH3iQk