Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mstksg/talks

Collection of slides, notes, and posters for public talks I've given.
https://github.com/mstksg/talks

Last synced: about 2 months ago
JSON representation

Collection of slides, notes, and posters for public talks I've given.

Awesome Lists containing this project

README 

        
Talks

=====



Collection of slides, notes, and posters for public talks I've given,

annotated when possible.



[Applicative Regular Expressions using the Free Alternative](http://talks.jle.im/composeconf-2019 "Applicative Regular Expressions using the Free Alternative")

---------------------------------------------------------------------------------------------------------------------------------------------------------------



-   [Slides (HTML)](http://talks.jle.im/composeconf-2019/free-alternative.html "Slides (HTML)")

-   [Slides (PDF)](http://talks.jle.im/composeconf-2019/free-alternative.pdf "Slides (PDF)")

-   [Markdown Source](https://github.com/mstksg/talks/tree/master/composeconf-2019/free-alternative.md "Markdown Source")

-   [Blog post](https://blog.jle.im/entry/free-alternative-regexp.html "Blog post")



> Free Structures – including Free Monoids and Free Monads – are a great

> example of a tool from mathematics that have been shown to be very

> useful as concepts in Haskell. Free structures of all sorts give you

> powerful tools in program composition, implementation, and safety

> guarantees. This talk shows how the implementation of a ubiquitous

> tool in programming, the Regular Expression, becomes almost trivial to

> implement when using an often-overlooked free structure, the Free

> Alternative. Through this accessible example, we explore the specific

> benefits of choosing to use a free structure for our implementation

> over other potential methods, and take a look into the philosophy of

> what makes free structures (of all types) such a powerful tool for

> programming.



Talk given at [C◦mp◦se Conference

2019](https://www.composeconference.org/2019/), in New York City.



[Dependently Typed Programming Introduction (at Kiev Functional programming)](http://talks.jle.im/kievfprog "Dependently Typed Programming Introduction (at Kiev Functional programming)")

------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------



-   [Slides (HTML)](http://talks.jle.im/kievfprog/dependent-types.html "Slides (HTML)")

-   [Slides (PDF)](http://talks.jle.im/kievfprog/dependent-types.pdf "Slides (PDF)")

-   [Markdown Source](https://github.com/mstksg/talks/tree/master/kievfprog/dependent-types.md "Markdown Source")

-   [Code Samples](https://github.com/mstksg/talks/tree/master/kievfprog "Code Samples")



Talk given at Kievfprog, August 16th 2017, on seeing how dependent types

can help you in your everyday practical code! Based on my [LambdaConf

2017](http://talks.jle.im/lambdaconf-2017/dependent-types) talk.



[LambdaConf 2017](http://talks.jle.im/lambdaconf-2017 "LambdaConf 2017")

------------------------------------------------------------------------



Functional programming conference in Boulder, CO.



### [Singletons and You](http://talks.jle.im/lambdaconf-2017/singletons "Singletons and You")



-   [Slides (HTML)](http://talks.jle.im/lambdaconf-2017/singletons/singleton-slides.html "Slides (HTML)")

-   [Slides (PDF)](http://talks.jle.im/lambdaconf-2017/singletons/singleton-slides.pdf "Slides (PDF)")

-   [Markdown Source](https://github.com/mstksg/talks/tree/master/lambdaconf-2017/singletons/singleton-slides.md "Markdown Source")



> Let's scratch the surface of the power of Richard Eisenberg's

> *singletons* library and peek through the doors of opportunity that it

> opens for us. Learn things you can directly apply now, and also build

> a foundation for future learning.

>

> Look past the hype and see how the singletons library can benefit your

> programs today through type safety and dependently typed programming!



### [Enhancing Your Haskell With Dependently Typed Programming](http://talks.jle.im/lambdaconf-2017/dependent-types "Enhancing Your Haskell With Dependently Typed Programming")



-   [Slides (HTML)](http://talks.jle.im/lambdaconf-2017/dependent-types/dependent-types.html "Slides (HTML)")

-   [Slides (PDF)](http://talks.jle.im/lambdaconf-2017/dependent-types/dependent-types.pdf "Slides (PDF)")

-   [Markdown Source](https://github.com/mstksg/talks/tree/master/lambdaconf-2017/dependent-types/dependent-types.md "Markdown Source")

-   [Code Samples](https://github.com/mstksg/talks/tree/master/lambdaconf-2017/dependent-types "Code Samples")



*A Case Study With Neural Networks*



> Dependently-typed Haskell is all about pushing the limits of how much

> power your types have to verify that your code is correct, direct you

> in writing code, enhance your productivity, and encode meaning in type

> signatures. In this session, we will explore its practical benefits by

> applying these principles to building verified neural networks. We

> look at neural networks with and without dependent types, show how to

> add dependently typed benefits incrementally, and clearly show the

> benefits that we can directly apply to many different applications.

> This session is geared less toward the theoretical idea of dependent

> types and more toward hitting the ground running with immediate

> benefits in existing code bases.

>

> Developers will learn the basic concepts of dependent types,

> existential types, type-level proofs, and working with the

> “singletons” library, as well as high-level concepts in dependently

> typed development.

>

> Super-charge the correctness of your code incrementally and find new

> ways to make the compiler work for you today!



[Asia Oceania Geosciences Society (AOGS) 2016](http://talks.jle.im/aogs-2016 "Asia Oceania Geosciences Society (AOGS) 2016")

----------------------------------------------------------------------------------------------------------------------------



-   [Annotated Slides (Power Point)](http://talks.jle.im/aogs-2016/RNN_ElNino_Drought-AOGS2016.pptx "Annotated Slides (Power Point)")

-   [Annotated Slides (PDF)](http://talks.jle.im/aogs-2016/RNN_ElNino_Drought-AOGS2016.pdf "Annotated Slides (PDF)")



Geosciences conference in Beijing, China. Talk discussed the application

of Recurrent Neural Networks to analyze and predict the interactions

between the El Nino Souther Oscillation and the California Drought for

the winter of 2015-2016.



[LambdaConf 2016](http://talks.jle.im/lambdaconf-2016 "LambdaConf 2016")

------------------------------------------------------------------------



-   [Annotated Slides (Power Point)](http://talks.jle.im/lambdaconf-2016/FCDIP-LambdaConf16.pptx "Annotated Slides (Power Point)")

-   [Annotated Slides (PDF)](http://talks.jle.im/lambdaconf-2016/FCDIP-LambdaConf16.pdf "Annotated Slides (PDF)")



Functional programming conference in Boulder, CO. Talk was on

applications of the Functor Design Pattern and Comonads/Cokleisli

Composition to Digital Image Processing



[Chapman University Computational Sciences Graduate Conference (CSCG) 2016](http://talks.jle.im/csgc-2016 "Chapman University Computational Sciences Graduate Conference (CSCG) 2016")

--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------



-   [Slides (Power Point)](http://talks.jle.im/csgc-2016/NeuralNetwork-ENSO-Precipitation.pptx "Slides (Power Point)")

-   [Slides (PDF)](http://talks.jle.im/csgc-2016/NeuralNetwork-ENSO-Precipitation.pdf "Slides (PDF)")



Graduate research conference for Chapman University's Computational and

Data Science program. Presented on the application of Recurrent Neural

Networks to analyze and predict the interactions between the El Nino

Souther Oscillation and the California Drought for the winter of

2015-2016.



[Chapman University Computational Sciences Graduate Conference (CSCG) 2015](http://talks.jle.im/csgc-2015 "Chapman University Computational Sciences Graduate Conference (CSCG) 2015")

--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------



-   [Annotated Slides (Power Point)](http://talks.jle.im/csgc-2015/csgc-functors-comonads-dip-slides.pptx "Annotated Slides (Power Point)")

-   [Annotated Slides (PDF)](http://talks.jle.im/csgc-2015/csgc-functors-comonads-dip-slides.pdf "Annotated Slides (PDF)")

-   [Poster](http://talks.jle.im/csgc-2015/csgc-functors-comonads-dip-poster.pdf "Poster")



Graduate research conference for Chapman University's Computational and

Data Science program. Presented on applications of functors and comonads

in mathematical analysis and algorithm implementation in digital image

processing.