Category: Uncategorized

Three Laws of the Business Side of Developer Tools

Developer tools are some of the most interesting, inspiring and satisfying jobs in the industry. In what other job can you create such fundamental, useful, elegant, powerful tools, meet customers, see your tools get used, see the huge difference they make to productivity? However, developer tools often exist in a business context. This can be … Continue reading Three Laws of the Business Side of Developer Tools →

Towards Semi-automatic Agentic Performance Engineering

(This blog post is written in personal tone, but relates to our work at GitHub Next and may be moved to https://githubnext.com in future. A huge thank you to Peli de Halleux, Joe Zhou, Eddie Aftandilian, Russell Horton, Idan Gazit and many others at GitHub Next, and the GitHub platform leadership of Mario Rodriguez. I'm … Continue reading Towards Semi-automatic Agentic Performance Engineering →

What Kind of Programming is Natural Language Programming?

In previous posts I've written about Natural Language Programming, Dijkstra's Ghost - the End of The Symbolic Supremacy and Ephemeral Editable Specifications (aka Extract, Edit, Apply). These touched on the topics of Natural Language Programming and the role of Specifications in AI-native programming. Today I'd like to step back and address an underlying question: what … Continue reading What Kind of Programming is Natural Language Programming? →

The Joys of King’s College London

King's College London has recently become an oasis of beauty and calm right in Central London. The proximity to Somerset House, Embankment Gardens, Covent Garden and the quiet-yet-oh-so-cool Temple District makes it one of the best-placed campsues in the world. I'm grateful to be a Visiting Professor here, part of the faculty with Jie Zhang, … Continue reading The Joys of King’s College London →

On Natural Language Programming

Dijkstra's Ghost and the End of The Symbolic Supremacy. I recently found myself arguing with the ghost of Edsger Dijkstra on LinkedIn. This is not a comfortable position for a computer scientist to find themself in. More specifically, I was triggered by this LinkedIn post, which quoted Dijkstra's 1978 paper "On the foolishness of natural … Continue reading On Natural Language Programming →

On Continuous AI for Test Improvement

Ever since we started working on "task-oriented programming" (aka vibe coding) in 2023, our group at GitHub Next have been throwing around ideas related to "continuous" tasks in software repositories: Continuous Code Cleanup, or Continuous Documentation and so on. This finally bubbled up as the Continuous AI project, locating it within the tradition of Continuous … Continue reading On Continuous AI for Test Improvement →

GitHub Agentic Workflows

I'm excited to share our latest research demonstrator from GitHub Next - "GitHub Agentic Workflows - Natural Language Programming for GitHub Actions" .https://githubnext.com/projects/agentic-workflows/Agentic Workflows focuses on expressing repository‑level behaviors in natural language and running them on GitHub. Agentic Workflows is not a product and not even a technical preview; it's a vehicle for exploring the agentic design space, … Continue reading GitHub Agentic Workflows →

Introducing “Continuous AI”

It's time to share our new project at GitHub Next called "Continuous AI". https://githubnext.com/projects/continuous-ai/My colleague Eddie Aftandilian has written about this too https://lnkd.in/e4pY3BARContinuous AI is a label we've identified for uses of automated AI to support software collaboration on any platform. It's deliberately a broad term we're introducing to the industry: any use of automated … Continue reading Introducing “Continuous AI” →

LLMs Love Python

A Study of LLMs' Preferences for Libraries and Programming Languages Here's our latest paper, lead author Lukas Twist from King's College London where I am a Visiting Professor. It's been wonderful to talke with Lukas about his work and help contribute to it. https://arxiv.org/abs/2503.17181 Large Language Models (LLMs) are increasingly used to generate code, influencing … Continue reading LLMs Love Python →

Extract, Edit, Apply – a design pattern for AI

Sharing a write-up of one of our investigations at GitHub Next: Extract, Edit, Apply. Spec-oriented programming is usually seen as "Spec-first", with a compilation step to turn specs into code: Specs are permanent, and Code is ephemeral. This has many obvious problems, including: The instability of LLM code-generation under otherwise small or unimportant changes to … Continue reading Extract, Edit, Apply – a design pattern for AI →

Copilot Workspace and the birth of Task-Oriented Programming

In 2023 we at GitHub Next invented an early form of task-oriented programming in a system called Copilot Workspace. Copilot Workspace was the world's first implementation of human-guided, task-oriented software development. It was the first interactive, structured AI-for-Code experience with the Task --> Specification --> Plan --> Code pathway. It had flaws, which I'll mention … Continue reading Copilot Workspace and the birth of Task-Oriented Programming →

Origins of Copilot Workspace

Originally published at https://github.com/githubnext/copilot-workspace-user-manual/blob/main/origins.md, April 29, 2024 At GitHub Next we work in phases: ideation, build, ship, learn. Every phase is about learning. In May 2023, after launching Copilot-X, our ideation around the SpecLang project led to new explorations of how to incorporate natural language — and user edits to natural language — into the … Continue reading Origins of Copilot Workspace →

Invited talk to Queens College Computer Science Student

Invited talk to Queens College Computer Science Student Society, 14 May 2023, by Don Syme Invitation by Conall Moss, Lochlann Baker, Dan WendonBlixrud, Andy Zhou A long, long time ago I wrote in assemblerand those opcodes used to make me smileI wrote my hello world program in 16kb of RAMNo function call no do or … Continue reading Invited talk to Queens College Computer Science Student →

Augmenting GPT-4 with Calculational Code

GPT-4 and other LLMs (Large Language Models) are driving a tidal wave of innovation in applied AI. However used without augmentation they have very limited calculational capabilities and make mistakes calculating with numbers. In this project, we describe a simple, general technique to address this, apply it to some widely reported real-world failures of GPT-4-based … Continue reading Augmenting GPT-4 with Calculational Code →

The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericity

These were my comments on RFC-1124 from F# 7.0, Interfaces With Static Abstract Methods, in the "Drawbacks Section". It forms an essay on everything wrong with this particular form of Statically Constrained Genericity, and many of the things wrong with all the other forms. Drawbacks This feature sits uncomfortably in F#. Its addition to the … Continue reading The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericity →

My Position on Type Classes

This is the most thumbed-up suggestion in fslang-suggestions and is over 7 years old. Is there any hope this will ever happen? From https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347 My position is pretty clear. I'll recap it here. The utility of type classes for the kind of "functions + data" coding we aim to support in F#, in the context … Continue reading My Position on Type Classes →

On Computation expressions, ‘do’ notation and List comprehensions

Originally published in October 2020 Notes based on a discussion with Phillip Wadler, 10/01/2020. This document is a work in progress. Please leave comments or send feedback. I may have made mistakes, please send a PR to correct. Computation expressions (CEs) are a syntactic de-sugaring of language elements like for x in xs ... to … Continue reading On Computation expressions, ‘do’ notation and List comprehensions →

General Purpose Functional GPU Programming

Starting with our experiments with integrating General Purpose GPU programming into F# at Microsoft Research, I've been watching the evolution of F# as a GPGPU programming platform. Over time, GPGPU programming with F# has become both more professionalized, and much more broad spectrum (including CUDA, OpenCL and other options). Some latest developments in this area have … Continue reading General Purpose Functional GPU Programming →

Functional on Android – Experience Report

Faisal Waris has published a very interesting Experience Report on using F# on Android with the Xamarin tools. It is fabulous to again see independent confirmation of the value of F# in the mobile computing space. TL;DR: F# and Xamarin triumphed. I can’t imagine writing such a complex mobile app in another language. Instead of … Continue reading Functional on Android – Experience Report →

PhD/Masters-level Internship Positions at MSR

Microsoft Research are accepting applications for internships at our research lab in Cambridge, UK, for internships in Summer 2014. Applicants must currently be pursuing a Masters or PhD in Computer Science. More details on applying can be found here:http://research.microsoft.com/en-us/jobs/intern/about_uk.aspx This year, I personally am particularly interested in sponsoring internship applications in one or more of … Continue reading PhD/Masters-level Internship Positions at MSR →

Researcher/Postdocs at MSR

Would you like to work as a postdoc or a researcher at Microsoft Research, Cambridge? Whetehr in the F# team, the Programming Principles and Tools group more generally, or as agent-at-large across all of Microsoft Research?  We’re starting to collect formal applications, and to schedule interviews for researcher and postdoc positions at Microsoft Research, in … Continue reading Researcher/Postdocs at MSR →

Functional-First Programming in Finance

At NDC Oslo, F# in Finance and other recent events I've given versions of the talk "Succeeding with Functional-First Programming in Finance". I've also given adaptions called "Succeeding with Functional-First Programming in Industry".   The slides are now available on Slide Share. The talk is based partly on material from http://fsharp.org/testimonials and other sources, I'd be happy … Continue reading Functional-First Programming in Finance →

A World of Financial Data at your Fingertips, Strongly Tooled and Strongly Typed

  Over on the Visual F# team blog we've described how to use F# type providers with Xenomorph TimeScape, a financial data product which you can use in Windows Azure and on-premise. This work is an F# sample from Microsoft Research. The sample has been picked by the F# community and incorporated into the new … Continue reading A World of Financial Data at your Fingertips, Strongly Tooled and Strongly Typed →

Jobs in Functional + Machine Learning + Data, MSR

Microsoft Research in Redmond has several RSDE (Research Software Development Engineer) positions available in Machine Learning + Data Tools. They are looking for people with C# and F# skills - both are used. Prior Machine Learning experience is not necessary. Research Software Development Engineer, Senior - Microsoft Research Job Research Software Development Engineer II - … Continue reading Jobs in Functional + Machine Learning + Data, MSR →

Tonight at Functional Londoners: More ML Hands-on

Tonight at the F#unctional Londoners meetup:, 6:30pm, SkillsMatter, London: In this regular meetup we'll take on one or more programming challenges in F#. All levels of experience welcome, from beginner to expert. This month we'll go hands on with a Machine Learning introduction in F# using sample data from Kaggle to predict who lives and who … Continue reading Tonight at Functional Londoners: More ML Hands-on →

FSCL – Compiling F# to OpenCL for High-Performance over Multi-core and Many-core devices

My friend Antonio Cisternino recently pointed me to FSCL - a compiler from F# to OpenCL. Here is the abstract from the documentation for the compiler: https://t.co/vHQPzsxE0O. The project currently seems to live here: https://github.com/GabrieleCocco/ Nowadays, OpenCL is one of the most popular programming frameworks for high-performance computing over multicore and many-core devices. Thanks to … Continue reading FSCL – Compiling F# to OpenCL for High-Performance over Multi-core and Many-core devices →

FunScript – F# to Javascript leveraging TypeScript metadata

 FunScript is “a lightweight F# library that lets you rapidly develop single-page web and mobile applications”. This now has a nice new home page: http://funscript.info/  It is interesting because: It compiles F# to JavaScript (see also WebSharper) It leverages TypeScript metadata to do typed interop with JavaScript libraries through an F# type provider It supports F# … Continue reading FunScript – F# to Javascript leveraging TypeScript metadata →

Does the language you use make a difference? – Code metrics for “functional-first” v. “object-first” code

  This post is a very interesting study of the differences between “functional-first” (F#) and “object-first” (C#) design for medium-sized software, by comparing software metrics for a number of C# and F# projects. Here are the conclusions, #3 and #4 are the most important I think. Project complexity. For a given number of instructions, a … Continue reading Does the language you use make a difference? – Code metrics for “functional-first” v. “object-first” code →

F# London Meetup, Thursday: Machine Learning Hands On with F#

  This Thursday evening at the F# London Meetup we have a Machine Learning Hands On with F#, led by Phil Trelford and others. Venue: The Skills Matter eXchange, 116-120 Goswell Road, EC1V 7DP, London (map)   In this regular meetup we'll take on one or more programming challenges in F#. All levels of experience … Continue reading F# London Meetup, Thursday: Machine Learning Hands On with F# →

F# London Meetup this Thursday: F# on iPad and iPhone in Xamarin Studio with Neil Danson

In April, at the Xamarin Evolve conference, Xamarin announced support for the F# language as part of the Xamarin tools for iOS and Android app programming. Microsoft were Platinum sponsors of Xamarin Evolve.   This Thursday at the F#unctional Londoners' Meetup we have Neil Danson on F# on iPad and iPhone in Xamarin Studio. Neil Danson will … Continue reading F# London Meetup this Thursday: F# on iPad and iPhone in Xamarin Studio with Neil Danson →

IEEE Computer Society Webinar: Try F# for Big and Broad Data – Tuesday May 7

  Next Tuesday I'll be taking part in an IEEE Computer Society Webinar about Try F#. Please join us! Register here. Date:  Tuesday, May 7, 2013 2:00 PM ET / 11:00 AM PT / 19:00  GMT (Duration: 1 hour)   Try F# is an easy on-ramp to learning F#, a simple and pragmatic programming language … Continue reading IEEE Computer Society Webinar: Try F# for Big and Broad Data – Tuesday May 7 →

Miguel de Icaza discusses Xamarin support for F# on Channel 9

Last week, at the Xamarin Evolve conference, Xamarin announced support for the F# language as part of the Xamarin tools for iOS and Android app programming. Microsoft were Platinum sponsors of Xamarin Evolve. Videos from Evolve will be available soon (link). In the meantime, you can watch Miguel de Icaza, one of the founders of … Continue reading Miguel de Icaza discusses Xamarin support for F# on Channel 9 →

Tonight at the F# New York City Meetup: F# MVC for WPF with Dmitry Morozov

Tonight (actually in about half an hour) Dmitry Morozov will be talking at the F# New York City Meetup on F# MVC for WPF. F# is known as a great language to express complex algorithms, crunch numbers and process all kinds of data. Have you ever wondered if it can be effectively used for such … Continue reading Tonight at the F# New York City Meetup: F# MVC for WPF with Dmitry Morozov →

F# and QuantLib: An Introduction

Over on the Visual F# team blog we have an article introducing you to using QuantLib from F#: A Guest Blog in conjunction with Alexandre Radicchi (alex.radi@gmail.com) F# is an attractive language to use in Financial Engineering because of its functional-first methodology, succinctness, strong typing, data-integration, stability, maturity, tooling and performance, as well as its … Continue reading F# and QuantLib: An Introduction →

On Today: Online Event: Rachel Reese – Getting Started with F#

Late notice, but just to mention that Rachel Reese is giving an online session "Getting Started with F#" in about 90 minutes time! https://www.livemeeting.com/cc/usergroups/join?id=M2JSRZ&role=attend&pw=NJ%22%256gC%21x When: Tuesday, Apr 16, 2013 12:00 PM (EDT)In this talk, we'll go over the fundamental concepts of F#, and functional programming in general; you'll get up to speed on the benefits … Continue reading On Today: Online Event: Rachel Reese – Getting Started with F# →

Learn F# in New York – Fast Track to F# with Tomas Petricek, 30 April – 1 May

Are you in the US and interested in learning F#? Tomas Petricek will be giving the successful "Fast Track to F#" course on 30 April - 1 May in New York: This two day Fast Track to F# course is what you need to start using F# in practice and to get the most out … Continue reading Learn F# in New York – Fast Track to F# with Tomas Petricek, 30 April – 1 May →

Learn F# – Hands On: This Thursday, London F# Meetup

For those in the London area, there is a "Learn F# Hands On" session this Thursday evening at the London F# Meetup. All levels of experience welcome, from beginner to expert. In this regular meetup we'll take on one or more programming challenges in F#. All levels of experience welcome, from beginner to expert. This … Continue reading Learn F# – Hands On: This Thursday, London F# Meetup →

F# testimonials on fsharp.org

The F# Software Foundation's Testimonials Page on http://fsharp.org is well worth a read. They are very inspiring! If you or your organization have been using F#, you can also submit your own testimonials using these simple instructions.  They can be your personal views, and you can anonymize as necessary. Don p.s.  For those who haven't heard, the F# … Continue reading F# testimonials on fsharp.org →

“Stati-C/AL Supervision – static analysis for Microsoft Dynamics NAV”

Steffen Forkmann has reported abot Stati-C/AL, a code analysis tool for Microsoft Dynamics NAV. Christian Clausen and Bent Rasmussen created a really really cool static analysis tool for Dynamics NAV. For those who worked with the Dynamics NAV Developer’s Toolkit this is your new friend: Static analysis is dear to my heart as a way … Continue reading “Stati-C/AL Supervision – static analysis for Microsoft Dynamics NAV” →

Quote of the Week: “What can C# do that F# cannot?”

The F# community quote of the week was from Tomas Petricek in answer to a question on Twitter, see the pic on the right.  What Tomas says is not 100% technically accurate: you can get NullReferenceException (NRE) in F# if you use C# libraries. C#-defined-types+the "null" literal, or some backdoors like Unchecked.defaultof<_>. However what Tomas says does match people’s … Continue reading Quote of the Week: “What can C# do that F# cannot?” →

Asynchronous Programming: From F# to Python

I woke up to a nice email from Shahrokh Mortazavi today. I'll quote it, I don't think he'll mind From: Shahrokh Mortazavi Sent: 24 March 2013 08:08To: Don SymeSubject: dino's talk at pycon                             This was basically inspired by your work  :-) http://pyvideo.org/video/1762/using-futures-for-async-gui-programming-in-python Guido came by our booth & talked a good 20 mins about async… … Continue reading Asynchronous Programming: From F# to Python →

Thursday at F# London Meetup: The F# 3.0 SQL Server Type Provider – Very Cool, and Very Useful, plus F# 3.0 Dynamics CRM Type Provider

There's a double act at the F#unctional Londoners Meetup on Thursday night. Thursday, February 28, 2013, 6:30 PM, The Skills Matter eXchange, 116-120 Goswell Road, EC1V 7DP, London(map) Title: The F# 3.0 SQL Server Type Provider - Very Cool, and Very Useful Kit Eason gives us a practical walkthough of F# 3.0's SQL Server Type … Continue reading Thursday at F# London Meetup: The F# 3.0 SQL Server Type Provider – Very Cool, and Very Useful, plus F# 3.0 Dynamics CRM Type Provider →

Does the language you choose make a difference?

Follow the controversy here: http://www.simontylercousins.net/journal/2013/2/22/does-the-language-you-choose-make-a-difference.html… and via @simontcousins on twitter ...the one stat in the summary that I find most compelling is the defect rate. I have now delivered three business critical projects written in F#. I am still waiting for the first bug to come in. This is not the case with the C# projects … Continue reading Does the language you choose make a difference? →

Using a Java Framework with F#: The Stanford Parser for NLP

We like to say "F# loves R", because we can use R packages from F#, through an R type provider for F#.  We like to say "F# loves TypeScript", because we can use TypeScript Interface Definition Files from F#, through a TypeScript type provider for F#. This applies when compiling F# to Javascript through FunScript … Continue reading Using a Java Framework with F#: The Stanford Parser for NLP →

Tonight at The SF Bay Area F# Meetup: “Functional Data Structures: Practical F# Applications”

Tonight, 6:30pm, at The SF Bay Area F# Meetup: "Functional Data Structures: Practical F# Applications" with the wonderful Jack Fox. Beyond the bread-and-butter singly linked list are dozens of practical Functional Data Structures available to mask complexity, enable composition, and open possibilities in pattern matching. This session focuses on data structures available today in F#, but … Continue reading Tonight at The SF Bay Area F# Meetup: “Functional Data Structures: Practical F# Applications” →

F# London Meetup Thursday Night: Zach Bray “F# to Javascript, the FunScript way”

Thursday night (31 Jan) at the F#unctional Londoners Meetup we have Zach Bray telling us all about FunScript, aka "F# to Javascript, the FunScript way!" This includes a cool integration of TypeScript metadata into F#-JavaScript programming using an F# type provider for TypeScript. Another way to look at that is that all those TypeScript programmers are now producing … Continue reading F# London Meetup Thursday Night: Zach Bray “F# to Javascript, the FunScript way” →

Try F# – Learn, Create and Share F#, from your browser

I'm very pleased to see that the latest and greatest Try F# 3.0 has been released today!  Try F# is a web-based tool for learning and exploring F# 3.0, a simple and pragmatic programming language combining functional, object-oriented and information-rich programming. F# is open source and cross-platform, see the F# Software Foundation for details. Microsoft … Continue reading Try F# – Learn, Create and Share F#, from your browser →

F# Emacs Integration

  The F# Open Source Group has developed a super-powerful F# Emacs mode, including Intellisense auto-completion, errors-in-current-file, go-to-definition and tooltip support for types/documentation for functions etc. This brings much of the power of F# visual editing to a more traditional (and very widely used) text-editor environment, across multiple platforms, and supports F# 3.0 including type providers … Continue reading F# Emacs Integration →

This Wednesday: F# London Meetup: Systems Information Programming Made Simple with the F# WMI Provider Sample

On Wednesday night, Keith Battocchi is in London to give a talk on.... Systems Information Programming Made Simple with the F# WMI Provider Sample Wednesday, January 16, SkillsMatter, London Can F# really be used like a strongly typed PowerShell? Come find out! If you're in London, please join the gang for the first talk of the … Continue reading This Wednesday: F# London Meetup: Systems Information Programming Made Simple with the F# WMI Provider Sample →

F# Londoners Meetup Tomorrow – Freebase with Don Syme

Tomorrow I'm at the F#unctional Londoners Meetup at SkillsMatter, doing an informal "deep dive" into the Freebase Type Provider. Kick off at 6:30 pm,The Skills Matter eXchange, 116-120 Goswell Road, EC1V 7DP, London (map) Do your home work before the event by reading this blog series and installing and using the Freebase Type Provider Don … Continue reading F# Londoners Meetup Tomorrow – Freebase with Don Syme →

Contract Position in F# Information Rich Programming with Microsoft Research, Cambridge

Microsoft Research Cambridge have a 5 month contract position available to explore appliications of F# Information Rich Programming to some or all of open government data scientific data standards cloud programming protocols such as Protobuf web programming patterns such as REST cross-language interoperability as well as extensions to the F# query and/or type provider mechanisms. Candidates should ideally … Continue reading Contract Position in F# Information Rich Programming with Microsoft Research, Cambridge →

This Monday at the SF Bay Area F# Meetup: Building a customizable business rules engine with F#

This Monday the San Francisco Bay Area F# Meetup will be hearing from Jon Harrop on the topic of "Building a customizable business rules engine with F#" Business rules are the core of business applications; yet, once an application is deployed, it is often cumbersome and expensive to update existing rules. This problem is particularly … Continue reading This Monday at the SF Bay Area F# Meetup: Building a customizable business rules engine with F# →

Late reminder: New York City F# Meetup Tonight – F# in the Cloud with George Stavroulakis of the {m}brace team

 A late reminder of the F# meetup in New York tonight - Thursday, November 29, 2012, 6:30 PM {m}brace - F# in the Cloud with George Stavroulakis of the {m}brace team  With the advent of cloud platforms and private data centers, developers face once more the challenges of distributed computing in their effort to harness the available computing … Continue reading Late reminder: New York City F# Meetup Tonight – F# in the Cloud with George Stavroulakis of the {m}brace team →

Math.NET Numerics v2.3.0 released, with improved F# support

An important library in the C# and F# open source communities is the Math.NET Numerics library. I blogged the first part in a (slow) series on using the library from F# back in June and there is another tutorial as part of the Numerical Libraries for F# and the .NET Framework overview from early last year. We also … Continue reading Math.NET Numerics v2.3.0 released, with improved F# support →

MSR Silicon Valley, Tuesday 3pm – Reconsidering Strongly Typed Programming Languages for the Information-Rich World

On Tuesday at 3:00pm I will be talking at Microsoft Research, Silicon Valley (directions) on F# 3.0 and the general topic of "Reconsidering Strongly Typed Programming Languages for the Information-Rich World" The talk is a public lecture. If you plan on coming please drop a note to Maria Atienze (v-maatie@microsoft.com ) and she will arrange a badge … Continue reading MSR Silicon Valley, Tuesday 3pm – Reconsidering Strongly Typed Programming Languages for the Information-Rich World →

Community for F# Online Meetup – “The F# Foundation” with Tomas Petricek and Phil Trelford – Thursday Nov 8 2012

 (Please note the time change!)   Are you interested in F# as an independent, open source and cross-platform language?   Join F# community contributors Phil Trelford and Tomas Petricek as they discuss a new community-led initiative dedicated to F# as an independent, open source language across multiple platforms.       When: Thursday, Nov 8, 2012 … Continue reading Community for F# Online Meetup – “The F# Foundation” with Tomas Petricek and Phil Trelford – Thursday Nov 8 2012 →

F# Job in Facebook Social Gaming, London

 Regular readers of my blog will know that from time to time I post details of F# jobs. Here is one for today. Please contact ajeraj@astoncarter.co.uk for more details.   We’re looking for talented, self-motivated developers with a strong interest in functional programming with F# and applying F# in the development of social games that are … Continue reading F# Job in Facebook Social Gaming, London →

Next F#unctional Londoners Meetup – F# on the GPU with Alea.CUDA, Thursday, October 18, 2012

  The next meetup of the absolutely fabulous F#unctional Londoners will be one week today, at the usual venue of SkillsMatter. The topic is an exciting one! Alea.CUDA - Combining the computational power of GPUs with the functional elegance of F#Abstract F# and GPUs are two trailblazing yet unrelated technologies. F# is a uniquely productive … Continue reading Next F#unctional Londoners Meetup – F# on the GPU with Alea.CUDA, Thursday, October 18, 2012 →

Extended Submission Deadline for DDFP 2013: Now October 15

DDFP has a new submission deadline: October 15 Since this is the first time this workshop is running, the organizers are only asking for 4-page position-or-technical papers. So if you have something to say about (functional or object-oriented) programming plus data. this is your big chance to say it :-) DDFP is a new workshop being … Continue reading Extended Submission Deadline for DDFP 2013: Now October 15 →

Reminder: Submission Deadline for “Data Driven Functional Programming 2013”

  Today is the day to submit to "Data Driven Functional Programming 2013". http://blogs.msdn.com/b/dsyme/archive/2012/09/01/announcing-quot-data-driven-functional-programming-2013-quot-workshop-at-popl-submission-date-oct-8-2013.aspx DDFP is an exciting new workshop being added to the POPL program at POPL 2013.  This workshop is aimed at anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to … Continue reading Reminder: Submission Deadline for “Data Driven Functional Programming 2013” →

F# Talk at NVIDIA Global Technology Conference 2012 – “New Generation GPU Accelerated Financial Quant Libraries”

A fascinating slide deck of financial programming wizardry by Daniel Egloff of Quantlea at the NVIDIA Global Technology Conference, 2012, showing the real-world power of F# as a tool when applied in the GPGPU programming space: Title:  New Generation GPU Accelerated Financial Quant Libraries New generation GPU accelerated solutions for derivative pricing, hedging, and risk management can be build … Continue reading F# Talk at NVIDIA Global Technology Conference 2012 – “New Generation GPU Accelerated Financial Quant Libraries” →

New Tech Report from Microsoft Research: Strongly-Typed Language Support for Internet-Scale Information Sources

 I'm very pleased to announce that Microsoft Research have published a new technical report related to F# 3.0 called Strongly-Typed Language Support for Internet-Scale Information Sources, (or go straight to the PDF). To reference this work, please cite MSR technical report number MSR-TR-2012-101. Authors: Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Jomo Fisher, Jack Hu, Tao … Continue reading New Tech Report from Microsoft Research: Strongly-Typed Language Support for Internet-Scale Information Sources →

Announcing F# Tools for Visual Studio Express 2012 for Web!

I am very, very happy to cross post this wonderful news from the Visual F# Team blog!  Free Express F# Tools!!!!!!!!! (for Visual Studio 2012 Express for Web) Congratulations to the Visual F# team who have done so much hard work (of all kinds - dev, test and PM) to get this release together. The F# team … Continue reading Announcing F# Tools for Visual Studio Express 2012 for Web! →

Microsoft Codename “Cloud Numerics” Lab Refresh

Cross-posted from the F# team blog... The "Cloud Numerics" Lab from SQL Azure Labs has been refreshed.  You can go and sign-up to try out the lab. To quote the Cloud Numerics Team: Today we are announcing a refresh of the Microsoft Codename "Cloud Numerics" Lab. We want to thank everyone who participated in the … Continue reading Microsoft Codename “Cloud Numerics” Lab Refresh →

Exploring the Online Templates: Creating a Web API with F# and ASP.NET

Over on the F# team blog, there's a new article about Getting Started with Implementing Web APIs using F# and ASP.NET F# 3.0 is included as part of Visual Studio 2012 and comes with a gallery of community contributed online templates for F#. Time to explore! One online template is "F#/C# MVC 4" using ASP.NET … Continue reading Exploring the Online Templates: Creating a Web API with F# and ASP.NET →

Announcing “Data Driven Functional Programming 2013” Workshop at POPL, Submission Date: Oct 8 2012

I'm very pleased to announce an exciting new workshop being added to the POPL program at POPL 2013.  This workshop is aimed at anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to the workshop. Whatever your flavour of data, whatever your flavour of … Continue reading Announcing “Data Driven Functional Programming 2013” Workshop at POPL, Submission Date: Oct 8 2012 →

Access Thousands of R Statistics Packages from F# 3.0

Did you know you can use F# type providers to access thousands of statistical packages from R, with auto-complete and documentation? Those of you into data analysis will be aware of the use of the R system by statisticians and other data workers. The F# community and BlueMountain Capital have created a type provider for … Continue reading Access Thousands of R Statistics Packages from F# 3.0 →

CFP: First Workshop on Programming the Semantic Web – PSW

See http://www.inf.puc-rio.br/~psw12/ The Web of Data is growing at an enormous pace. However, the development of dedicated software applications, capable to deal efficiently in information-rich spaces, of which the Semantic Web is one dimension, is notyet mainstream. Reasons for that include one (or more) of the following research issues: lack of integrated development environments (IDEs, … Continue reading CFP: First Workshop on Programming the Semantic Web – PSW →

ICFP Programming Contest starts tomorrow

  The ICFP Programming Contest for 2012 starts tomorrow. I'm sure all F# followers know that a team using F# programming picked up first place in 2011. Announcement slide below. The competition organizers have ordained Linux Debian as the execution environment this year. Kevn and gang are resolving exactly what F# and Mono support will look … Continue reading ICFP Programming Contest starts tomorrow →