FPish.net - EventsOnline and physical events scheduled on FPish.uuid:2b09537c-2933-412d-aad2-367e055c396b;id=802024-03-19T12:42:12Zhttp://fpish.net/course/676Block-chain and machine-learning2017-09-04T00:00:00-07:002024-03-19T12:42:12ZIntroduction to two technologies:
- Blockchain (and using NBitcoin with F#)
- Machine learning (and using Accord.NET with F#)http://fpish.net/course/675Progressive F# Tutorials2016-12-05T00:00:00-08:002024-03-19T12:42:12ZDo you enjoy learning by getting your hands dirty and getting stuck into new concepts and ideas? Are you passionate about F#, functional programming and machine learning? Are you looking to discuss hot topics with experts and other like minded individuals?http://fpish.net/course/674F# eXchange 20162016-04-14T00:00:00-07:002024-03-19T12:42:12ZWant to meet the international F# community and learn and share skills with some of the world's top experts, mathematicians and engineers? Find out about all the latest F# technologies and applications and discover the latest best practices and ideas? Then come and join us at the F# eXchange in London!http://fpish.net/course/673fsharpConf2016-03-04T00:00:00-08:002024-03-19T12:42:12Zoin us online on March 4th 2016 for the live streaming of the first year of fsharpConf, a free virtual event featuring world-class F# experts across the globe. You will see F# in action on a wide range of practical applications.http://fpish.net/course/666Progressive F# Tutorials 20152015-12-07T00:00:00-08:002024-03-19T12:42:12ZAre you the kind of person who prefers to learn by getting your hands dirty and getting stuck into new concepts and ideas? Are you passionate about F#, functional programming and machine learning? Are you looking to discuss hot topics with experts and other like minded individuals?
Join us at The Progressive F# Tutorials in London on December 7th-8th
We're putting on two days of interactive workshops at the Progressive F# Tutorials in 2015, so you can meet up with the leading experts in F# and functional programming to learn the latest innovations and practices.http://fpish.net/course/665F# eXchange 20152015-04-16T00:00:00-07:002024-03-19T12:42:12ZF# eXchange 2015 - the conference on F#http://fpish.net/course/670Kazoo March 30-1 April2015-03-29T00:00:00-07:002024-03-19T12:42:12ZThe participant will get an intro to the Kazoo code base and how to build applications, leveraging existing libraries and subsystems included in the platform.http://fpish.net/course/669OTP Express March 30-April 12015-03-29T00:00:00-07:002024-03-19T12:42:12ZYou will learn the prevailing Erlang Design Patterns called OTP Behaviours. We will cover Erlang Design Patterns such as Generic Behaviours, Finite State Machines and Event Handlers. You will also learn how to develop systems using the Supervisor and Application Behaviours Patterns, so you can construct maintainable and fault tolerant software. Upon completion of this course, you will be able to extend it all, by devising your very own Behaviours.
http://fpish.net/course/672QuickCheck - March 30-1 April2015-03-29T00:00:00-07:002024-03-19T12:42:12ZWhether you write your software in Erlang, Elixir or C, testing is a necessity. The more complex your program, the more complex it might become to test it. Many different configurations? A large number of possible errors that should be handled? Complex, almost infinitely many, different scenarios possible? Manually crafted test cases feel like stone age in such settings. Learn how modern testing is performed: automatically generating and running tests from specified properties.
QuickCheck is a tool that let you specify what your software should do and then generates hundreds of meaningful test cases that explore that property. Almost always it finds a test case that the developer has not thought of. Properties are much easier to maintain than individual test cases and cover your subject under test better. In telecommunication and the automotive industry, this test method is used on large scale…. learn how to do it yourself in this course. Write properties in Erlang and have QuickCheck do your testing.
We will cover QuickCheck properties, generators, and state machine specifications.http://fpish.net/course/667Erlang Factory SF Bay Area2015-03-26T00:00:00-07:002024-03-19T12:42:12ZErlang Factory SF Bay Area will take place on 26-27 March, with training courses on 23-25 March and 28 March-1 April. This is the largest Erlang event in the US, with 6 tracks and over 50 speakers. http://fpish.net/course/671Advanced Erlang Techniques - March 23-252015-03-23T00:00:00-07:002024-03-19T12:42:12ZThis three-day course presents some more advanced tools for building applications with Erlang. It also gives insight into the tracing tools in the system which allow support engineers to inspect and monitor running systems. The Common Test testing environment is also described with examples of how to build testing environments from the very simplest upto complex environments for testing distributed systems. There are exercises for all the sections in this course.http://fpish.net/course/668Erlang Express - March 23-252015-03-23T00:00:00-07:002024-03-19T12:42:12ZThe course contains all the Erlang basics such as sequential and concurrent programming, along side error handling. The Erlang development environment is presented, with a special emphasis on the Erlang mode for Emacs alongside the major debugging tools. Good and bad programming practices are discussed, as are tools used to profile the system. OTP design principles and concepts are sneaked into the material as well as the exercises.http://fpish.net/course/664NDC London2014-12-01T00:00:00-08:002024-03-19T12:42:12ZNDC began in Oslo in 2008, since then it has grown annually seeing more attendees, speakers and partners. In 2013 the first ever NDC London was held at the ICC London at ExCeL. The conference attracted close to 700 people and more than 20 partners/exhibitors.http://fpish.net/course/663Build Stuff 20142014-11-19T00:00:00-08:002024-03-19T12:42:12ZBegun in 2012 this now annual conference hosted in Vilnius, Lithuania brings the best of the developer world to the Baltic's. The overall theme is building stuff, we have a heavy focus on lessons from trenches from the people that were there.http://fpish.net/course/662Progressive F# Tutorials2014-11-06T00:00:00-08:002024-03-19T12:42:12ZSkills Matter is organising the Progressive F# Tutorials, an annual 2-day conference providing in-depth, hands-on workshops for beginners and advanced F#-ers who want to develop their skills, meet like-minded people and discuss topics like meta-programming, machine learning and more.http://fpish.net/course/657Code Mesh London 3-5 November2014-11-03T00:00:00-08:002024-03-19T12:42:12ZMeet over 50 inventors and commercial users of functional programming languages and innovative tech at Code Mesh London 3-5 November. Two conference days, 8 tracks and one day of training! http://fpish.net/course/660jacobsHack!2014-10-03T00:00:00-07:002024-03-19T12:42:12ZIt is about time to bring hackathons to European universities. A few students at Jacobs University are therefore organizing a hackathon that aims to bring people from different countries together to hack. jacobsHack! is an international student-run hackathon in Bremen, Germany. Students will get 24 hours to hack on anything they like and have the chance to win prizes worth up to 2000€. http://fpish.net/course/658Recalled & Infers2014-08-31T00:00:00-07:002024-03-19T12:42:12Z"Recalled is a F# library for persistent, incremental, parallel computations such as build systems. The main goals for Recalled are to make it straightforward to define such computations and to scale such computations. In this talk, we will first examine how Recalled allows such computations to be defined. For perspective, we will take a brief look at the concrete problem domain for which Recalled was designed for. Then we will seek to understand the design of the persistence mechanism of Recalled that largely determines the performance of Recalled. Last we will briefly discuss two other libraries, Hopac and Infers, that provide the infrastructure, namely lightweight parallel threads and datatype generic functions, respectively, that makes the implementation of Recalled straightforward."
Vesa Karvonen tulee esittelemään Housemarquelle koodaamiaan F#-työkalukirjastoja.
Tapahtumapaikka jälleen Helsingin keskustassa, tällä kertaa Sievon tiloissa.
Vesan esitelmän jälkeen voimme käydä lasillisella lähikuppilassa.
http://fpish.net/course/654Erlang and Test Driven Development - 11-13 June2014-06-10T00:00:00-07:002024-03-19T12:42:12ZYou will learn test frameworks for unit tests, property-based tests and large-scale tests. We will cover Eunit, Common Test, QuickCheck for testing, then Wrangler, Dialyzer and tracing (among others) for maintenance. You will also learn principles of Test-Driven Development which will ultimately allow you to write more reliable and maintainable software.
http://fpish.net/course/656Cowboy Express 11-13 June2014-06-10T00:00:00-07:002024-03-19T12:42:12ZThe course teaches everything there is to know about using the Cowboy HTTP server and writing applications for it. We will first go through the basics, reminisce about HTTP, how to start listening for connections and how to send static files or a reply dynamically. We will then move on to Websocket programming and write a distributed chat application.
Then we will look at REST, understand what it means, when to use it and how. We will then create a REST based cache application using Cowboy and ets. Finally we will look together at the performance of the two applications we previously built and learn how we can achieve greater concurrency.
http://fpish.net/course/653Brewing Elixir: 11-13 June2014-06-10T00:00:00-07:002024-03-19T12:42:12ZObjectives:
* Basics of the Elixir language
* Modules and functions
* Recursion
* Records
* Flow control
* Processes
* Elixir and OTP
* Metaprogramminghttp://fpish.net/course/652OTP Express 11-13 June2014-06-10T00:00:00-07:002024-03-19T12:42:12ZYou will learn the prevailing Erlang Design Patterns called OTP Behaviours. We will cover Erlang Design Patterns such as Generic Behaviours, Finite State Machines and Event Handlers. You will also learn how to develop systems using the Supervisor and Application Behaviours Patterns, so you can construct maintainable and fault tolerant software. Upon completion of this course, you will be able to extend it all, by devising your very own Behaviours.http://fpish.net/course/651Erlang Express 11-13 June2014-06-10T00:00:00-07:002024-03-19T12:42:12ZThe course contains all the Erlang basics such as sequential and concurrent programming, along side error handling. The Erlang development environment is presented, with a special emphasis on the Erlang mode for Emacs alongside the major debugging tools. Good and bad programming practices are discussed, as are tools used to profile the system. OTP design principles and concepts are sneaked into the material as well as the exercises.
http://fpish.net/course/655Erlang User Conference 9-10 June2014-06-08T00:00:00-07:002024-03-19T12:42:12ZJoin us in Stockholm for over 50 talks on open-source applications, products and war stories from the Erlang world. The keynotes will be delivered by Stuart Bailey, CTO of Infoblox and to Katie Miller, OpenShift Developer Advocate and Co-founder of the Lambda Ladies. http://fpish.net/course/650F# ja Azure käytännössä2014-04-28T00:00:00-07:002024-03-19T12:42:12ZFinnish hands-on training on Azure and F# (in Finnish).
http://thorium.github.io/FSharpAzure/ReadmeEng.html
Sorry: The event is fully booked.
http://fpish.net/course/634Build Your Own Lisp for Great Justice2014-03-13T00:00:00-07:002024-03-19T12:42:12ZImplementing a toy Lisp interpreter is practically a rite of passage for the budding computer scientist. This hallowed tradition is described in detail in "Lisp in Small Pieces," the seminal work on the making of Lisps, but everybody loves a tl;dr, so let's do the 40 minute executive summary.
We'll charge at high speed through the following topics, with Clojure code to follow along with as we go (because there's no better language for implementing a Lisp than another Lisp):
Parsing: turning text files into ASTs
Fundamental Lisp datatypes
McCarthy's elementary functions
Evaluating Lisp code
Lambdas and lexical scope
Your friend, the state monad
Beyond Lisp: pattern matching and type systems
When we're done, you'll be ready to go forth and fill the world with Lisps of all shapes, colours and Greenspun violations for Great Justice. Also, it'll be good fun.http://fpish.net/course/633My other operating system is a Mirage2014-03-13T00:00:00-07:002024-03-19T12:42:12ZWe are now used too being roused out of bed by news of the latest serious Internet security alert or major data leak. The software services we now use are tremendously complex, and mash together a complex spectrum of policy and mechanisms. I'll talk about a different approach to building networked services in this talk that cleanly separates both of these, and results in an extremely efficient deployment model that outputs standalone kernels straight from OCaml source code.
Hypervisors such as Xen or VMWare provide a flexible platform to host applications as a set of appliances, e.g., web servers or databases. Each appliance usually contains an OS kernel and userspace processes, within which applications access resources via APIs such as POSIX. It's on top of this layer that you typically write code in your functional programming language of choice.
Our Mirage operating system implements a radically different way of building these applications. Mirage supports the progressive specialisation of OCaml source code, and gradually replaces traditional OS components with type-safe libraries. This ultimately results in "unikernels": sealed, fixed-purpose images that run directly on the hypervisor without an intervening guest OS such as Linux.
Developers no longer need to become sysadmins, expert in the configuration of all manner of system components, to use cloud resources. At the same time, they can develop their code using their usual tools, only making the final push to the cloud once they are satisfied their code works. As they explicitly link in components that would normally be provided by the host OS, the resulting unikernels are also highly compact: facilities that are not used are simply not included in the resulting unikernel.
For example, the self-hosting Mirage web server image is less than a megabyte in size...http://fpish.net/course/632A practical theory of language-integrated query2014-03-13T00:00:00-07:002024-03-19T12:42:12ZHow best to blend a domain-specific language into a host language? For the domain of databases, the old question of how to achieve language integrated query is receiving renewed attention, in part because of its support through Microsoft's LINQ framework. In this talk we present a practical theory of language-integrated query based on quotation and normalisation of quoted terms. Higher-order features prove useful even for constructing first-order queries. We prove a theorem characterising when a host query is guaranteed to generate a single SQL query, and we present experimental results confirming our technique works, even in situations where Microsoft's LINQ framework either fails to produce an SQL query or, in one case, produces an avalanche of SQL queries. Our ideas are implemented in F#, and the talk briefly considers how they might apply to other languages such as Scala and Haskell.http://fpish.net/course/631ParaForming: Forming Parallel Functional Programs using Refactoring2014-03-13T00:00:00-07:002024-03-19T12:42:12ZDespite Moore's "law", uniprocessor clock speeds have now stalled. Rather than single processors running at ever higher clock speeds, it is common to find dual-, quad- or even hexa-core processors, even in consumer laptops and desktops.
Haswell, Intel's forthcoming multicore architecture, will have eight cores by default. Future hardware will not be slightly parallel, however, as in today's multicore systems, but will be massively parallel, with manycore and perhaps even megacore systems becoming mainstream.
This means that programmers need to start thinking parallel. To achieve this they must move away from traditional programming models where parallelism is a bolted-on afterthought. Rather, programmers must use languages where parallelism is deeply embedded into the programming model from the outset.
By providing a high level model of computation, without explicit ordering of computations, declarative languages in general, and functional languages in particular, offer many advantages for parallel programming.
One of the most fundamental advantages of the functional paradigm is purity. In a purely functional language, as exemplified by Haskell, there are simply no side effects: it is therefore impossible for parallel computations to conflict with each other in ways that are not well understood.
ParaForming aims to radically improve the process of parallelising purely functional programs through a comprehensive set of high-level parallel refactoring patterns for Parallel Haskell, supported by advanced refactoring tools.
By matching parallel design patterns with appropriate algorithmic skeletons using advanced software refactoring techniques and novel cost information, we will bridge the gap between fully automatic and fully explicit approaches to parallelisation, helping programmers "think parallel" in a systematic, guided way. This talk introduces the ParaForming approach, gives some examples and shows how effective parallel programs can be developed using advanced refactoring technology.http://fpish.net/course/630QuickChecking Riak2014-03-13T00:00:00-07:002024-03-19T12:42:12ZRiak is one of the new breed of no-SQL database management systems, which has begun to replace relational databases for some applications. Riak is a distributed key-value store, inspired by Amazon’s Dynamo, designed for applications where scalability, low latency and high availability are critical. Riak uses replication to provide fast access to data, even when multiple nodes or parts of the network fail. It supports concurrent access to the same data by multiple clients, even when the network is partitioned. All of this makes it very hard to test.
In this talk John Hugh's shows us how QuickCheck helped us to model Riak’s behaviour, improving understanding and revealing the occasional bug.