�ݺ�ߣshows by User: kenbot

�ݺ�ߣshows by User: kenbot / http://www.slideshare.net/images/logo.gif �ݺ�ߣshows by User: kenbot / Mon, 09 Dec 2019 22:59:59 GMT �ݺ�ߣShare feed for �ݺ�ߣshows by User: kenbot Grow your own tech leads /kenbot/grow-your-own-tech-leads growyourowntechleads-191209225959
How can senior developers bridge the gap to becoming tech leads? How can mentors help them? We'll shine a light from above, a light from below, and we'll see if we can uncover some insights.]]>
How can senior developers bridge the gap to becoming tech leads? How can mentors help them? We'll shine a light from above, a light from below, and we'll see if we can uncover some insights.]]> Mon, 09 Dec 2019 22:59:59 GMT /kenbot/grow-your-own-tech-leads kenbot@slideshare.net(kenbot) Grow your own tech leads kenbot How can senior developers bridge the gap to becoming tech leads? How can mentors help them? We'll shine a light from above, a light from below, and we'll see if we can uncover some insights. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/growyourowntechleads-191209225959-thumbnail.jpg?width=120&height=120&fit=bounds" /> How can senior developers bridge the gap to becoming tech leads? How can mentors help them? We'll shine a light from above, a light from below, and we'll see if we can uncover some insights.

Grow your own tech leads from kenbot

]]> 613 4 https://cdn.slidesharecdn.com/ss_thumbnails/growyourowntechleads-191209225959-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Applied category theory: the emerging science of compositionality /slideshow/applied-category-theory-the-emerging-science-of-compositionality/145127948 appliedcategorytheory-190512142128
What do programming, quantum physics, chemistry, neuroscience, systems biology, natural language parsing, causality, network theory, game theory, dynamical systems and database theory have in common? As functional programmers, we know how useful category theory can be for our work - or perhaps how abstruse and distant it can seem. What is less well known is that applying category theory to the real world is an exciting field of study that has really taken off in just the last few years. It turns out that we share something big with other fields and industries - we want to make big things out of little things without everything going to hell! The key is compositionality, the central idea of category theory. This talk will introduce the emerging field of applied category theory, with the aims of: - Giving attendees a broad overview of cutting-edge applications of category theory - Building an understanding of a small number of the most important core concepts - Getting attendees excited, inspired to learn more, and equipped to apply some basic concepts to their work ]]>
What do programming, quantum physics, chemistry, neuroscience, systems biology, natural language parsing, causality, network theory, game theory, dynamical systems and database theory have in common? As functional programmers, we know how useful category theory can be for our work - or perhaps how abstruse and distant it can seem. What is less well known is that applying category theory to the real world is an exciting field of study that has really taken off in just the last few years. It turns out that we share something big with other fields and industries - we want to make big things out of little things without everything going to hell! The key is compositionality, the central idea of category theory. This talk will introduce the emerging field of applied category theory, with the aims of: - Giving attendees a broad overview of cutting-edge applications of category theory - Building an understanding of a small number of the most important core concepts - Getting attendees excited, inspired to learn more, and equipped to apply some basic concepts to their work ]]> Sun, 12 May 2019 14:21:28 GMT /slideshow/applied-category-theory-the-emerging-science-of-compositionality/145127948 kenbot@slideshare.net(kenbot) Applied category theory: the emerging science of compositionality kenbot What do programming, quantum physics, chemistry, neuroscience, systems biology, natural language parsing, causality, network theory, game theory, dynamical systems and database theory have in common? As functional programmers, we know how useful category theory can be for our work - or perhaps how abstruse and distant it can seem. What is less well known is that applying category theory to the real world is an exciting field of study that has really taken off in just the last few years. It turns out that we share something big with other fields and industries - we want to make big things out of little things without everything going to hell! The key is compositionality, the central idea of category theory. This talk will introduce the emerging field of applied category theory, with the aims of: - Giving attendees a broad overview of cutting-edge applications of category theory - Building an understanding of a small number of the most important core concepts - Getting attendees excited, inspired to learn more, and equipped to apply some basic concepts to their work <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/appliedcategorytheory-190512142128-thumbnail.jpg?width=120&height=120&fit=bounds" /> What do programming, quantum physics, chemistry, neuroscience, systems biology, natural language parsing, causality, network theory, game theory, dynamical systems and database theory have in common? As functional programmers, we know how useful category theory can be for our work - or perhaps how abstruse and distant it can seem. What is less well known is that applying category theory to the real world is an exciting field of study that has really taken off in just the last few years. It turns out that we share something big with other fields and industries - we want to make big things out of little things without everything going to hell! The key is compositionality, the central idea of category theory. This talk will introduce the emerging field of applied category theory, with the aims of: - Giving attendees a broad overview of cutting-edge applications of category theory - Building an understanding of a small number of the most important core concepts - Getting attendees excited, inspired to learn more, and equipped to apply some basic concepts to their work

Applied category theory: the emerging science of compositionality from kenbot

]]> 3653 10 https://cdn.slidesharecdn.com/ss_thumbnails/appliedcategorytheory-190512142128-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Responsible DI: Ditch the Frameworks /slideshow/responsible-di-ditch-the-frameworks/145127770 responsibledi-190512141824
Framework-driven dependency injection, as practiced by many OO programmers, tends to have considerable and underappreciated drawbacks. This talk goes into detail about why.]]>
Framework-driven dependency injection, as practiced by many OO programmers, tends to have considerable and underappreciated drawbacks. This talk goes into detail about why.]]> Sun, 12 May 2019 14:18:24 GMT /slideshow/responsible-di-ditch-the-frameworks/145127770 kenbot@slideshare.net(kenbot) Responsible DI: Ditch the Frameworks kenbot Framework-driven dependency injection, as practiced by many OO programmers, tends to have considerable and underappreciated drawbacks. This talk goes into detail about why. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/responsibledi-190512141824-thumbnail.jpg?width=120&height=120&fit=bounds" /> Framework-driven dependency injection, as practiced by many OO programmers, tends to have considerable and underappreciated drawbacks. This talk goes into detail about why.

Responsible DI: Ditch the Frameworks from kenbot

]]> 518 3 https://cdn.slidesharecdn.com/ss_thumbnails/responsibledi-190512141824-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 FP adoption at REA /slideshow/fp-adoption-at-rea-86948697/86948697 fpadoptionatrea-180131031725
Functional programming has made great strides in the popular imagination, yet adoption of FP languages has often been challenging for companies, sputtering in fits and starts. Ken has been at the forefront of REA's successful adoption of FP over four years, and will share lessons learnt and traps avoided: how a human-first approach can succeed and scale.]]>
Functional programming has made great strides in the popular imagination, yet adoption of FP languages has often been challenging for companies, sputtering in fits and starts. Ken has been at the forefront of REA's successful adoption of FP over four years, and will share lessons learnt and traps avoided: how a human-first approach can succeed and scale.]]> Wed, 31 Jan 2018 03:17:25 GMT /slideshow/fp-adoption-at-rea-86948697/86948697 kenbot@slideshare.net(kenbot) FP adoption at REA kenbot Functional programming has made great strides in the popular imagination, yet adoption of FP languages has often been challenging for companies, sputtering in fits and starts. Ken has been at the forefront of REA's successful adoption of FP over four years, and will share lessons learnt and traps avoided: how a human-first approach can succeed and scale. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/fpadoptionatrea-180131031725-thumbnail.jpg?width=120&height=120&fit=bounds" /> Functional programming has made great strides in the popular imagination, yet adoption of FP languages has often been challenging for companies, sputtering in fits and starts. Ken has been at the forefront of REA's successful adoption of FP over four years, and will share lessons learnt and traps avoided: how a human-first approach can succeed and scale.

FP adoption at REA from kenbot

]]> 668 2 https://cdn.slidesharecdn.com/ss_thumbnails/fpadoptionatrea-180131031725-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Lenses for the masses - introducing Goggles /slideshow/lenses-for-the-masses-introducing-goggles/75768642 lensesforthemasses-170508073239
Lenses, or more generally “optics”, are a technique that is indispensable to modern functional programming. However, implementations have veered between two extremes: incredible abstractive power with a steep learning curve; and limited domain-specific uses that can be picked up in minutes. Why can’t we have our cake and eat it too? Goggles is a new Scala macro built over the powerful & popular Monocle optics library. It uses Scala’s macros and scandalously flexible syntax to create a compiler-checked mini-language to concisely construct, compose and apply optics, with a gentle, familiar interface, and informative compiler errors. In this talk, I introduce the motivation for lenses, why lens usability is a problem that badly needs solving, and how the Goggles library, with Monocle, addresses this in an important way.]]>
Lenses, or more generally “optics”, are a technique that is indispensable to modern functional programming. However, implementations have veered between two extremes: incredible abstractive power with a steep learning curve; and limited domain-specific uses that can be picked up in minutes. Why can’t we have our cake and eat it too? Goggles is a new Scala macro built over the powerful & popular Monocle optics library. It uses Scala’s macros and scandalously flexible syntax to create a compiler-checked mini-language to concisely construct, compose and apply optics, with a gentle, familiar interface, and informative compiler errors. In this talk, I introduce the motivation for lenses, why lens usability is a problem that badly needs solving, and how the Goggles library, with Monocle, addresses this in an important way.]]> Mon, 08 May 2017 07:32:39 GMT /slideshow/lenses-for-the-masses-introducing-goggles/75768642 kenbot@slideshare.net(kenbot) Lenses for the masses - introducing Goggles kenbot Lenses, or more generally “optics”, are a technique that is indispensable to modern functional programming. However, implementations have veered between two extremes: incredible abstractive power with a steep learning curve; and limited domain-specific uses that can be picked up in minutes. Why can’t we have our cake and eat it too? Goggles is a new Scala macro built over the powerful & popular Monocle optics library. It uses Scala’s macros and scandalously flexible syntax to create a compiler-checked mini-language to concisely construct, compose and apply optics, with a gentle, familiar interface, and informative compiler errors. In this talk, I introduce the motivation for lenses, why lens usability is a problem that badly needs solving, and how the Goggles library, with Monocle, addresses this in an important way. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/lensesforthemasses-170508073239-thumbnail.jpg?width=120&height=120&fit=bounds" /> Lenses, or more generally “optics”, are a technique that is indispensable to modern functional programming. However, implementations have veered between two extremes: incredible abstractive power with a steep learning curve; and limited domain-specific uses that can be picked up in minutes. Why can’t we have our cake and eat it too? Goggles is a new Scala macro built over the powerful & popular Monocle optics library. It uses Scala’s macros and scandalously flexible syntax to create a compiler-checked mini-language to concisely construct, compose and apply optics, with a gentle, familiar interface, and informative compiler errors. In this talk, I introduce the motivation for lenses, why lens usability is a problem that badly needs solving, and how the Goggles library, with Monocle, addresses this in an important way.

Lenses for the masses - introducing Goggles from kenbot

]]> 1247 3 https://cdn.slidesharecdn.com/ss_thumbnails/lensesforthemasses-170508073239-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Good functional programming is good programming /slideshow/good-functional-programming-is-good-programming/74930165 goodfunctionalprogramming-170412105926
Introduction to functional programming, outlining the big ideas, and emphasising how it gives us things we all want in our software.]]>
Introduction to functional programming, outlining the big ideas, and emphasising how it gives us things we all want in our software.]]> Wed, 12 Apr 2017 10:59:26 GMT /slideshow/good-functional-programming-is-good-programming/74930165 kenbot@slideshare.net(kenbot) Good functional programming is good programming kenbot Introduction to functional programming, outlining the big ideas, and emphasising how it gives us things we all want in our software. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/goodfunctionalprogramming-170412105926-thumbnail.jpg?width=120&height=120&fit=bounds" /> Introduction to functional programming, outlining the big ideas, and emphasising how it gives us things we all want in our software.

Good functional programming is good programming from kenbot

]]> 769 4 https://cdn.slidesharecdn.com/ss_thumbnails/goodfunctionalprogramming-170412105926-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Data Made Out of Functions /slideshow/data-made-out-of-functions/57727166 datamadeoutoffunctions-160201105803
Some examples and motivation for creating data structures from nothing but functions - Church Encoding! There's particular detail on how it can make free monads more efficient.]]>
Some examples and motivation for creating data structures from nothing but functions - Church Encoding! There's particular detail on how it can make free monads more efficient.]]> Mon, 01 Feb 2016 10:58:03 GMT /slideshow/data-made-out-of-functions/57727166 kenbot@slideshare.net(kenbot) Data made out of functions kenbot Some examples and motivation for creating data structures from nothing but functions - Church Encoding! There's particular detail on how it can make free monads more efficient. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/datamadeoutoffunctions-160201105803-thumbnail.jpg?width=120&height=120&fit=bounds" /> Some examples and motivation for creating data structures from nothing but functions - Church Encoding! There's particular detail on how it can make free monads more efficient.

Data made out of functions from kenbot

]]> 30121 48 https://cdn.slidesharecdn.com/ss_thumbnails/datamadeoutoffunctions-160201105803-thumbnail.jpg?width=120&height=120&fit=bounds presentation White http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Imagine a world without mocks /slideshow/imagine-a-world-without-mocks/52310016 imagineaworldwithoutmocks-150901195019-lva1-app6892
Mocks and stubs are ubiquitous, yet they are always unnecessary and hurt good design. Here's why, and how to avoid them.]]>
Mocks and stubs are ubiquitous, yet they are always unnecessary and hurt good design. Here's why, and how to avoid them.]]> Tue, 01 Sep 2015 19:50:19 GMT /slideshow/imagine-a-world-without-mocks/52310016 kenbot@slideshare.net(kenbot) Imagine a world without mocks kenbot Mocks and stubs are ubiquitous, yet they are always unnecessary and hurt good design. Here's why, and how to avoid them. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/imagineaworldwithoutmocks-150901195019-lva1-app6892-thumbnail.jpg?width=120&height=120&fit=bounds" /> Mocks and stubs are ubiquitous, yet they are always unnecessary and hurt good design. Here's why, and how to avoid them.

Imagine a world without mocks from kenbot

]]> 5802 15 https://cdn.slidesharecdn.com/ss_thumbnails/imagineaworldwithoutmocks-150901195019-lva1-app6892-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 2 Years of Real World FP at REA /slideshow/2-years-of-real-world-fp-at-rea/46936538 yowrealworldfp-150413084725-conversion-gate01
Describes the journey that REA has taken adopting Scala and Functional Programming from 2013 to 2015]]>
Describes the journey that REA has taken adopting Scala and Functional Programming from 2013 to 2015]]> Mon, 13 Apr 2015 08:47:25 GMT /slideshow/2-years-of-real-world-fp-at-rea/46936538 kenbot@slideshare.net(kenbot) 2 Years of Real World FP at REA kenbot Describes the journey that REA has taken adopting Scala and Functional Programming from 2013 to 2015 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/yowrealworldfp-150413084725-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds" /> Describes the journey that REA has taken adopting Scala and Functional Programming from 2013 to 2015

2 Years of Real World FP at REA from kenbot

]]> 2741 4 https://cdn.slidesharecdn.com/ss_thumbnails/yowrealworldfp-150413084725-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Your data structures are made of maths! /slideshow/your-data-structures-are-made-of-maths/46140084 datastructuresmadeofmaths-150322115820-conversion-gate01
Discusses the algebraic properties of types, different kinds of functions and the information that is preserved or lost, and Category Theory concepts that underpin and unify them.]]>
Discusses the algebraic properties of types, different kinds of functions and the information that is preserved or lost, and Category Theory concepts that underpin and unify them.]]> Sun, 22 Mar 2015 11:58:20 GMT /slideshow/your-data-structures-are-made-of-maths/46140084 kenbot@slideshare.net(kenbot) Your data structures are made of maths! kenbot Discusses the algebraic properties of types, different kinds of functions and the information that is preserved or lost, and Category Theory concepts that underpin and unify them. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/datastructuresmadeofmaths-150322115820-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds" /> Discusses the algebraic properties of types, different kinds of functions and the information that is preserved or lost, and Category Theory concepts that underpin and unify them.

Your data structures are made of maths! from kenbot

]]> 6116 17 https://cdn.slidesharecdn.com/ss_thumbnails/datastructuresmadeofmaths-150322115820-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Category Theory for Beginners /slideshow/category-theory-for-beginners/44994631 categorytheorybeginners-150222161837-conversion-gate01
Explains the basic concepts of Category Theory, useful terminology to help understand the literature, and why it's so relevant to software engineering.]]>
Explains the basic concepts of Category Theory, useful terminology to help understand the literature, and why it's so relevant to software engineering.]]> Sun, 22 Feb 2015 16:18:37 GMT /slideshow/category-theory-for-beginners/44994631 kenbot@slideshare.net(kenbot) Category theory for beginners kenbot Explains the basic concepts of Category Theory, useful terminology to help understand the literature, and why it's so relevant to software engineering. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/categorytheorybeginners-150222161837-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds" /> Explains the basic concepts of Category Theory, useful terminology to help understand the literature, and why it's so relevant to software engineering.

Category theory for beginners from kenbot

]]> 76654 369 https://cdn.slidesharecdn.com/ss_thumbnails/categorytheorybeginners-150222161837-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 The disaster of mutable state /slideshow/the-disaster-of-mutable-state/36576267 mutablestate-140702212029-phpapp01
Explores the disastrous problems that mutable state and side effects entail, and discusses how to overcome them.]]>
Explores the disastrous problems that mutable state and side effects entail, and discusses how to overcome them.]]> Wed, 02 Jul 2014 21:20:28 GMT /slideshow/the-disaster-of-mutable-state/36576267 kenbot@slideshare.net(kenbot) The disaster of mutable state kenbot Explores the disastrous problems that mutable state and side effects entail, and discusses how to overcome them. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/mutablestate-140702212029-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds" /> Explores the disastrous problems that mutable state and side effects entail, and discusses how to overcome them.

The disaster of mutable state from kenbot

]]> 2532 4 https://cdn.slidesharecdn.com/ss_thumbnails/mutablestate-140702212029-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 Running Free with the Monads /slideshow/running-free-with-the-monads/32664697 kenfreemonads-140324085234-phpapp02
Free Monads are a powerful technique that can separate the representation of programs from the messy details of how they get run. I'll go into the details of how they work, how to use them for fun and profit in your own code, and demonstrate a live Free Monad-driven tank game. Supporting code at https://github.com/kenbot/free]]>
Free Monads are a powerful technique that can separate the representation of programs from the messy details of how they get run. I'll go into the details of how they work, how to use them for fun and profit in your own code, and demonstrate a live Free Monad-driven tank game. Supporting code at https://github.com/kenbot/free]]> Mon, 24 Mar 2014 08:52:34 GMT /slideshow/running-free-with-the-monads/32664697 kenbot@slideshare.net(kenbot) Running Free with the Monads kenbot Free Monads are a powerful technique that can separate the representation of programs from the messy details of how they get run. I'll go into the details of how they work, how to use them for fun and profit in your own code, and demonstrate a live Free Monad-driven tank game. Supporting code at https://github.com/kenbot/free <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/kenfreemonads-140324085234-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds" /> Free Monads are a powerful technique that can separate the representation of programs from the messy details of how they get run. I'll go into the details of how they work, how to use them for fun and profit in your own code, and demonstrate a live Free Monad-driven tank game. Supporting code at https://github.com/kenbot/free

Running Free with the Monads from kenbot

]]> 13346 8 https://cdn.slidesharecdn.com/ss_thumbnails/kenfreemonads-140324085234-phpapp02-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post

http://activitystrea.ms/schema/1.0/posted

0 https://public.slidesharecdn.com/v2/images/profile-picture.png https://cdn.slidesharecdn.com/ss_thumbnails/growyourowntechleads-191209225959-thumbnail.jpg?width=320&height=320&fit=bounds kenbot/grow-your-own-tech-leads Grow your own tech leads https://cdn.slidesharecdn.com/ss_thumbnails/appliedcategorytheory-190512142128-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/applied-category-theory-the-emerging-science-of-compositionality/145127948 Applied category theor... https://cdn.slidesharecdn.com/ss_thumbnails/responsibledi-190512141824-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/responsible-di-ditch-the-frameworks/145127770 Responsible DI: Ditch ...