That's the title of my presentation at Dog Food Conference 2014, 29-30 September, in Columbus, Ohio. If you found my post on "Test-Only Development" with the Z3 Theorem Prover was interesting, then you'll love this. What if simply writing "unit tests" was enough to produce a program which makes them pass? What if your compiler could guarantee that your OpenSSL replacement follows the TLS specification to the letter? What if you could write a test which showed that your code had no unintention...

That's the title of the presentation I'll be giving at CloudDevelop 2014, on October 17th, in Columbus, Ohio. If you read my blog at all then you're probably interested in where software development will be headed five years in the future. Two things I recommend that you study are proving systems and homomorphic encryption. I've written about proving systems in the past, and will have more to say in the future, but today we'll talk about homomorphic encryption. Homomorphic encryption will ...

This is the fifth post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Axiomatic Language Walter Wilson Homepage · Slides · Presentation One of the ways that you can describe a coding style is declarative versus imperative. That is, focusing on the desired result versus focusing on how that result should be computed, respectively. Walter Wilson's axiomatic language attempts to take the former approa...

This is the third post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series. Noether: Symmetry in Programming Language Design Daira Hopwood Slides · Presentation I found this presentation to be at once fascinating and frustrating. It was the single best talk at ELC in terms of changing how I think about programming languages. To whatever degree I went to ELC in order to learn and change my thinking about ...

In this exciting installment of my notes from Emerging Languages Camp last year, some information about the Daimio and Babel programming languages. If you haven't seen it already, you might want to read the Introduction to this series. Daimio: A Language for Sharing Dann Toliver Homepage · Presentation · Slides Daimio Is a domain-specific language for customization of web applications. Dann Toliver, the presernter, says that web applications should be extensible and extensions should be sh...

Cloud Security, For Real This Time: Homomorphic Encryption and the Future of Data Privacy. That's the title of my presentation at the next Central Ohio OWASP Quarterly Seminar, on 27 February at 1:00 p.m. Dan King, from Microsoft, will be talking about single sign-on for federated Dynamics CRM, very practical stuff which is in real world use today. I, on the other hand, will be talking about technologies which don't quite exist in fully practical forms today, but which I predict will change the ...

Here's an outline of my upcoming CodeRage II presentation: Ready to move beyond basic unit testing? This presentation will explain several techniques for getting the most out of your testing effort, including: A system, inspired by Haskell's QuickCheck, which helps generate semi-random test cases for you. A simple, Delphi-friendly technique for enumerating lists of "known corner cases," and exploiting this in test-first defect fixing. Using DUnit tests in automated builds A...

InterBase Performance Monitoring: Vision and Control Introduction In older versions of InterBase it was sometimes difficult to tell what was going on inside the server. This could make debugging applications very difficult. You could tell, for example, that there was a long-running transaction by looking at the DB header statistics, but you couldn't tell whose it was or what it was doing. Nor could the DBA preemptively end the transaction. With InterBase 7 and higher, InterBase now provides insi...

InterBase in a Multi-tier World by Craig Stuntz presented by Wayne Niddery at BorCon 2002 Note: This article uses PNG images. Modern browsers support PNGs. If you're using an old browser, you'll need to upgrade. Introduction << Click here to skip past table of contents IBX and DataSnap State Dealing with User Logins Digression: Connection Pooling Incremental Fetching Parameterized Queries Transaction Management Transactions in DataSnap Why It's Never Appropriate to Manage Transacti...

Introduction to InterBase SQL Written by Craig Stuntz. Edited and extended by Wayne Niddery Presented by Wayne Niddery at BorCon 2002 Table of Contents Introduction The four essential database operations SELECT Specifying a fields list Restricting returned records with WHERE Comparison Operators: =, <= , > =, <> Boolean Operators: AND, OR, NOT Conditions: IN, BETWEEN, LIKE etc. Dealing with NULL Dealing with Dates Ordering result sets with ORDER BY Parameterize...