Aaron Bedra is a Senior Software Engineer at Groupon working on Groupon's Now! real-time deals platform. He is the co-author of Programming Clojure, Practical Software Security, and another upcoming Pragmatic Press book.
aaron bedra
@abedra
Pontificating Quantification: Veryfing Correctness in Software
In 1969, Tony Hoare published a paper that would change computer science forever. He reflected on the ideas of consequence in program execution and created a set of formal definitions for proving correctness. This is a far cry from how most software is verified today: through automated unit testing in the style of X-Unit. In this talk, Aaron will brave the forgotten paths of software verification beyond the realm of unit tests. He will look at some of Hoare's original concepts and how others have built on them, gain a deeper understanding of type theory and the limitations of language-integrated proof systems, and finally examine the restrictions that can be imposed on language expressiveness to make verification more tractable.
Gary Bernhardt is a creator and destroyer of software, compelled to understand both sides of heated software debates: Vim and Emacs; Python and Ruby; Git and Mercurial. He runs Destroy All Software, which publishes advanced screencasts for serious developers covering Unix, Ruby, OO design, and TDD.
gary bernhardt
@garybernhardt
Cory Foy is an agile developer, consultant and coach with a passion for looking at the entire system within an organization. He currently works as a Software Craftsman running the Tampa, FL office of 8th Light, Inc.
cory foy
@cory_foy
Listen to the Code
One of the 4 Rules of Simple design is that code must "express every idea we need to express". But what does code really tell us, and how can we listen to what it is telling us to build beautiful systems? In this session, Cory will uncover patterns in the code we write and use, and show how powerful code can be as a communication mechanism. Along the way he will share ideals on Design Patterns, Testing and experience working with teams large and small - including a team where 40% of the developers were deaf.
Brian Marick was a Lisp and C programmer in the 80's, a testing consultant in the 90's, and an Agile consultant in the 00's. This decade he's a Clojure and Ruby programmer. He was one of the authors of the Manifesto for Agile Software Development and is the author of three books.
brian marick
@marick
Robert Martin (Uncle Bob) has been a programmer since 1970. He is the Master Craftsman at 8th Light inc, an acclaimed speaker at conferences worldwide, and the author of many books including: The Clean Coder, Clean Code, Agile Software Development: Principles, Patterns, and Practices, and UML for Java Programmers.
robert martin
@unclebobmartin
Since 1996, Susan has been working with trading firms and software startups designing and building large production-deployed distributed services and applications. Since 2006, she has worked primarily with Erlang, Scala, Haskell and Ruby as well as dabbled in Clojure. Prior to Susan's enlightenment she used and abused Java/J2EE/JEE, C++, Perl.
susan potter
@SusanPotter
Functional Algebra: Monoids Applied
In functional programming, words from Category Theory are thrown around, but how useful are they really?
This session looks at applications of monoids specifically and how using their algebraic properties offers a solid foundation of reasoning in many types of business domains and reduces developer error as computational context complexity increases.
This will provide a tiny peak at Category Theory's practical uses in software development and modeling. Code examples will be in Haskell and Scala, but monoids could be constructed in almost any language by software craftsmen and women utilizing higher orders of reasoning to their code.
Chad Pytel is founder and CEO of thoughtbot, a leading Ruby on Rails development firm and the creators of popular plugins like paperclip, factory_girl, shoulda, and well as their own products Airbrake, and Trajectory.
chad pytel
@cpytel
Apprentice.io
http://Apprentice.io is a new apprentice program which trains developers and designers in a three month apprenticeship. This talk will give an overview of how the program works and review the important lessons learned.
