Hacker News
- Binary Symbolic Execution with KLEE-Native https://blog.trailofbits.com/2019/08/30/binary-symbolic-execution-with-klee-native/ 6 comments
- Artbot dev banned from Facebook for posting Paul Klee's portrait of Hitler https://twitter.com/andreitr/status/1357076000333467648 2 comments
- KLEE: A symbolic virtual machine built on top of LLVM https://klee.github.io/ 4 comments
- Paul Klee's personal notebooks on his Bauhaus teachings (2016) http://www.openculture.com/2016/03/3900-pages-of-paul-klees-personal-notebooks-are-now-online.html 16 comments
- Original Bauhaus Journals for Free: Gropius, Klee, Kandinsky and More http://www.openculture.com/2015/10/download-original-bauhaus-books-journals-for-free.html 15 comments
- KLEE LLVM Execution Engine https://klee.github.io 20 comments
- Paul Klee's Personal Notebooks Are Now Online, Presenting His Bauhaus Teachings http://www.openculture.com/2016/03/3900-pages-of-paul-klees-personal-notebooks-are-now-online.html 7 comments
Lobsters
- KLEE - Unassisted, Automatic Generation of High-Coverage Tests for System Programs (2008) https://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf 3 comments compilers , compsci , pdf , programming , testing
- [Salvian] PWHL Minnesota has announced a new head coach: Ken Klee, who coached Team USA to back-to-back world championships in 2015 and 2016. Klee will replace Charlie Burggraf who “has decided to step away from the team.” https://twitter.com/hailey_salvian/status/1740071408426992073 16 comments hockey
- Paul Klee: The Colorado Avalanche are downright scary right now https://gazette.com/sports/paul-klee/paul-klee-the-colorado-avalanche-are-downright-scary-right-now/article_e6baf5a8-77fa-11ec-bdbc-67d941755f17.html 74 comments hockey
- [Klee] Drew Lock on returning to KC next Sunday: “I think it will be blown up that I’m going back home, going to Kansas City. But if you think about it that’s my home. I’ve been there 1,000 times. There’s nothing new about it, except I’ll be in blue and orange and not red and yellow." https://twitter.com/bypaulklee/status/1203805711286898689?s=21 155 comments nfl
- [Klee] 2016 Article: John Elway even better as GM than quarterback https://gazette.com/sports/klee-john-elway-even-better-as-gm-than-quarterback/article_045c9dc1-9225-5706-8d22-61fa06b7b93f.html 65 comments nfl
- 3,900 Pages of Paul Klee's Personal Notebooks Are Now Online, Presenting His Bauhaus Teachings (1921-1931) http://www.openculture.com/2016/03/3900-pages-of-paul-klees-personal-notebooks-are-now-online.html 73 comments books
- [Klee]Pretty good little fight just broke out in Section 142. Nuggets fan carrying Serbian flag being escorted out. Woman in Blazers jersey right behind him. https://twitter.com/bypaulklee/status/1123787640128643085 15 comments nba
- Sixth Circuit holds that prison officials are not entitled to qualified immunity when they ignore court orders and prevent Muslim inmates from attending the Eid. (Maye v. Klee) http://www.opn.ca6.uscourts.gov/opinions.pdf/19a0022p-06.pdf 5 comments law
- [Denver sports columnist Paul Klee on Warriors' 1Q] It was the best I’ve ever seen a basketball team play, at any level, with any players, anywhere https://www.reddit.com/r/nba/comments/agn555/denver_sports_columnist_paul_klee_on_warriors_1q/ 81 comments nba
- KLEE 1.4 is now available https://github.com/klee/klee 4 comments netsec
- SQL Server Virtualization and High Availability with David Klee http://www.sqlserverradio.com/davidklee/ 14 comments sysadmin
- Hurricanes' C Eric Belanger's jersey is wedged in plexiglas during check from Avalanche' D Ken Klee (December 2006). https://www.youtube.com/watch?v=LcD8txmKZlg 20 comments hockey
- The Symbolic Maze: Using KLEE and LLVM for symbolic execution http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/ 5 comments programming