Code Party 0 ROOM CHANGE, info -- mtrberzi SAT/SMT tech talk -- Mozilla JITting tech talk
*Code Party 0* <http://csclub.uwaterloo.ca/events/EV3_1408-2015-02-27-6:00_PM> is coming up! *Important*: We have moved to *EV3 1408*. If you are interested in the Code Retreat, read this Google doc <https://docs.google.com/document/d/1LCTYh-QhlXziLK5YqNRoQm87NH77JTRgwIKc8b-80uA/edit?usp=sharing> for how things are going to go down. If you are not interested in code retreat, it's still totally fine if you bring your own project. Come out, free food awaits! Here's the Facebook event page <https://www.facebook.com/events/1434507486839811/>. Don't remember to RSVP as soon as possible <https://bit.ly/code-party-0>!! *mtrberzi's SAT/SMT* <http://csclub.uwaterloo.ca/events/MC_2038-2015-03-03-6:00_PM> talk is scheduled for 6pm on March 3rd, a Tuesday, in MC 2038. The SAT and SMT theories combined allow you to programmatically determine whether a computer program is satisfiable or not. Will there be free food? Good question. Yes. Are you interested? Understandable. Read more at the Facebook event page <https://www.facebook.com/events/816500978442872/>. *Mozilla's Kannan Vijayan's JS JIT talk* <http://csclub.uwaterloo.ca/events/MC_4040-2015-03-09-6:00_PM> will happen across two days, March 9 <http://csclub.uwaterloo.ca/events/MC_4040-2015-03-09-6:00_PM> and March 10 <http://csclub.uwaterloo.ca/events/MC_4040-2015-03-10-6:00_PM> (a Monday and a Tuesday), both at 6pm in MC 4040. Two days is necessary to do the topic justice: A history of the development of efficient and tightly optimized JIT compilers. How can one infer the type of a variable at run-time? To find out, come out. Here's the day 1 Facebook event <https://www.facebook.com/events/383711748474717/> and the day 2 Facebook event <https://www.facebook.com/events/989375507778990/>. That's it for now. See you at a subset of these events! ~Your CSC Exec
participants (1)
-
Computer Science Club