Formatting code for AlgorithmsAndRefutations


show source only

======Algorithms and Refutations======

By [[PaulCantrell Paul Cantrell]]

Programmers spend a lot of time inventing, using, and fighting with abstractions. We give a lot of thought to the technical mechanics of how we make them (OOP! metaprogramming! your tool here!), but don't often pause to consider //what// abstractions are, how they //evolve//, and //why// they do or don't work.

The late philosopher [[http://en.wikipedia.org/wiki/Imre_Lakatos Imre Lakatos]] examined these questions in the realm of mathematics, and came to some surprising and profound conclusions, puncturing many widely held presumptions about what math is. His conclusions translate directly into software: they have implications for topics as diverse as API design, requirements gathering, unit testing, the design of whole languages, and the names of individual variables. The same bad presumptions Lakatos uncovered in mathematics help explain the failures of many development methodologies [[http://en.wikipedia.org/wiki/Waterfall_method old]] and [[http://en.wikipedia.org/wiki/Extreme_programming new]], and provide an answer to the age-old question of why software never seems to be //done.//

Come join in this interactive and opinionated talk on why you should change your fundamental assumptions about how software happens.

=====Participants=====

Add your name here if you're interested in this session.

[[http://themightymo.com Toby Cryns]]
Scott Vlaminck
[[http://markgritter.livejournal.com Mark Gritter]]
Joel Calhoun
Subramanya Sastry
[[http://chesstris.com Martin Grider]]
GlennMoen
Joelle Tegwen
[[ChrisMitra Chris Mitra]]
[[SelahBenhaim Selah Ben-Haim]]
[[SamirNassar Samir Nassar]]
[[FlorinIucha Florin Iucha]]
John Mindiola III
[[DavidSimmer David Simmer]]
[[DavidQuimby David Quimby]]
[[EricNordberg Eric Nordberg]]
[[MichaelEkstrand Michael Ekstrand]]
[[DanielJPost Daniel J. Post]]
[[MarkBeckman Mark P. Beckman]]
[[ScottFerris Scott Ferris]]
[[RickCochrane Rick Cochrane]]
[[AdamMay Adam May]]
[[PaulKim Paul Kim]]
[[PeterMcWilliams Peter McWilliams]]
[[ScottAtkins Scott Atkins]]
Andy Beger
[[Justin Coyne]]

(Use the "Add Comment" link to add a comment about the session.)

----
CategorySession