Upcoming Events

Long time since last post. I’ve been having a great time, but very busy, working for Tachyus, the first Silicon Valley tech company devoted to the oil and gas industry. Working on technology solutions for the physical world is emotionally rewarding, and all the better that we code the software side almost exclusively in F#.

I’m participating in a lot of community activities in the next couple of months.

October 2 & 3 at the Progressive F# Tutorials NYC

I’m really excited about meeting old and new F# colleagues. Shout-out to jet.com for sponsoring. This is a great conference for anyone interested in F# at any level, with top notch beginners and advanced tracks. Fellow Tachyus engineer Will Smith (Twitter @tihan) is doing an advanced track presentation on his project for inlining C code in F#.

October 11 & 12 Silicon Valley Code Camp

The 9th annual edition of the world’s largest free software development conference. This year I helped put together an F# track of sessions on Saturday, as well as a Sunday session, Functional Programming for Production Quality Code, that I will present.

Big shout out to

Peter Kellner (Twitter: @pkellner) for being the guiding light of SVCC,

as well as

Mathias Brandewinder (Twitter: @brandewinder), (spiritual leader of the Bay Area F# community),

Will Smith (again),

Ryan Riley (Twitter: @panesofglass) (another Tachyon),

and Riccardo Terrell (Twitter: @TRikace)

for contributing talks to the F# track.

November 2 – 6 Microsoft MVP Global Summit

This event is not open to the public, but if you are an MVP or work for Microsoft, Ryan and I will be presenting the F# open source projects Tachyus uses and contributes to at the Sunday afternoon MVP Expo. We are also going to try to schedule an MVP to MVP talk on the subject.

Great Ideas Made Real in F#

I’m honored to have been chosen by Microsoft as a Most Valuable Professional for F#, and the recent 5 days I spent at the annual MVP Summit were thrilling, stimulating, and eye-opening. While I can’t talk about much of what I learned and participated in, I want to pass on some great things that are completely out in the open, yet little known. They are on the cutting edge of philosophical accomplishment, both changing the world, really. And Microsoft Research is implementing these two great ideas with my favourite programming language.

Quantum Computing

The idea of a quantum computer gestated throughout the 1980’s, most famously in a 1981 proposal by Richard Feynman. The early 1990’s saw the discovery of the first quantum computing algorithm (one that could provably do something much faster than any classical algorithm) and by the middle of the decade Shor’s Algorithm became the first quantum algorithm that could do something really interesting (and spawned a whole genre of misinterpretation of quantum computing capabilities in popular journalism).

MSR is at the forefront of quantum computing research with LIQUi|> (pronounced “liquid”), the most advanced platform for quantum computing simulation in the world. There are no universal quantum computers in the world, yet. Until there are, LIQUi|> plays an important role in evaluating quantum computing capabilities, for instance in physical processes (the real intention of Feynman’s original work), and in providing a platform to evaluate academic work in the field. And it is poised to be the world’s first quantum computing development environment as soon as enough qubits can be entangled to build the worlds first quantum computer.

You can learn more about LIQUi|> in this video and accompanying slides.

The Computational Science Trinity

Here’s another idea, the Trinity of Computational Science. Frequently expounded upon by Robert Harper of Carnegie Mellon’s CS department, this is the unity of Type Theory, Proof Theory, and Category Theory. Taking it down a level towards the practical, think of it as Type Systems (strong typing), proving program correctness, and Functional Programming. The Oregon Programming Languages Summer School (sponsored in part by MSR) is dedicated to teaching these foundations to advance research and practical software engineering.

This is another area of leadership by MSR. This time with a derivative language of F# called F* (F Star). This language and others, like Idris, implement dependent types, an extension of type theory beyond the familiar strong typing of F#, where types can depend on functions, but F* takes it to another level. By interfacing to MSR’s Z3 theorem prover, F* effectively unifies the Computational Science Trinity. Functions and types become manifestations of the same thing and directly connect to correctness proof.

You can download F* and/or work through the interactive tutorial and experiment with it online.