At Perpetuum, our goal is to advance and transform railway and fleet management, improving the efficiency, safety and quality of rail services.
We are a global leader in the provision of information to maximise safety and reliability and reduce costs. Our award winning, self-powered, wireless sensing technology, combined with vibration engineering expertise and rich analytics, provides real time information that enables you to optimise railway operations.
Workshop: Up and Running with the SAFE Stack
Featuring Anthony Brown
The SAFE Stack is a set of tools and libraries which allows you to quickly and easily build end to end F# web applications. In this workshop, you'll build a web application which uses Saturn for its backend API, Fable for the front end and Elmish to build a functional UI.
By the end of the...f# safe-stack
Lightning Talk: Powerline Oriented Programming
Featuring Dennis Grimminck
At Petersburg Consultants in Doorwerth (the Netherlands), they develop in-house software for structural mechanical and electrotechnical modelling of overhead lines, electricity power stations, and underground cables. With the energy transition gaining momentum, data and its transformation are key...domain-modeling f# electrical-modelling mechanical-modelling overhead-lines energy-transition fslab
Lightning Talk: JSON (de)serialization in F#
Featuring Vladimir Sapronov
A programming language cannot be widespread without supporting widely used data formats, like JSON. One of the main problems of F# is not the language itself but lack of libraries choice and specifically lack of libraries designed with F# language in mind. This talk will cover how to...f# serialization-deserialization json
Keynote: Probabilistic Programming: The What, Why and How
Featuring Maria Gorinova
f(x) = y, but y = 5. What's the probability that x =1? Probabilistic programming is the idea of describing probabilistic models as programs, to then automatically infer how our beliefs about model parameters change given observed data. In recent years, probabilistic programming languages...stan probabilistic-programming f# functional-programming
Simulating Charles Babbage's Analytical Engine in F#
Featuring John Stovin
In the 1840s Charles Babbage proposed, but never built, an entirely mechanical, Turing-complete computer that he called the Analytical Engine.
The designs were sufficiently complete that Ada, Countess of Lovelace (among others), was able to design 'programs' for it; this also means that...f# functional-programming
Taming Types in the Cloud
Featuring Isaac Abraham
Working with cloud-based data sources often means giving up some of the benefits we're used to when working with conventional relational data stores such as schemas and local access.
This talk will focus on how you can make use of F#’s type system in tandem with distant data sources in order...cloud f# type-systems type-providers bigdata data azure functional-programming
Keynote: Why F# Changes Lives
Featuring Kit Eason
In this talk, Kit explains why F# has such a transformative effect on people who use it. Kit established that any programming language can be thought of as a belief system, helping us make sense of and manipulate the world. He explores why F# is such an effective belief system. To prove his case,....net data-visualisation big-data fsharp