Blog

This talk was given by Bartosz Milewski at Lambda Days, he asks what the similarity between fundamental mathematics and programming might mean? As he leads on to Type Theory as a combination of not only the three different branches of mathematics he discusses but all branches of maths. This talk was given by Bartosz Milewski at Lambda Days.

Hellooo, we hope everyone is well. We are back to bring you some of the best articles and blog posts from the past week. First up; Zio ZLayer with play framework Alexandre Delegue begins by introducing ZIO concepts with logger and then goes further looking at the UserRespiritory module. Next check out this blog by Francois Armand, the founder of Rudder, if you want to find o...

This talk was given by Willem Seynaeve, he says in the talk 'I will try to explain my paper (State Will do), where we try to simulate higher-level effects with lower-level effects, I will try to explain what we do in this paper with by a running example... a Prolog interpreter...' This talk was given by Willem Seynaeve at Lambda Days.

This talk was given by Piotr Gaczkowski at Lambda Days. He discusses what he has learned since using the functional package manager Nix. This talk was given by Piotr Gaczkowski at Lambda Days.

This talk was given by Thorsten Altenkirch at Lambda Days, a Π type is an infinite product. He runs through typing disciplines, what dependent types are, Pre-Newtonian dependent types and what you can do with a Π type which you cannot with other types... This talk was given by Thorsten Altenkirch at Lambda Days.

During this time, most of us are using our home space as our workspace, so now it may be more important to 'set some boundaries' as Nigel puts it in his Ted Talk. It is only a short 10-minute clip but it gives some really useful advice on work-life balance because he says work-life balance is too important to be left to the employer. This talk was given by Nigel Marsh for Te...

Siobhan Baker is a Software Crafter and artist, she has a degree in textiles and went on to do a master's in Philosophy. But she has now been at 8th Light, working in tech, for almost two years now but she began her time with them through an internship program offered to her with BlackGirlsTech. She is now a leading member of the Coding Black Females and she truly believes i...

Most people have now at least heard of TikTok and if they aren't actively using the app they are likely to have watched a video made in the app via another platform. TikTok has actually been around for over three years now, initially called musically, the app was the fastest growing app of 2019 and it already has half the amount of users as Instagram. But like many new platf...

Philipp Kant tells us how to fuse flexibility with formality in his talk at Lambda Days, he begins by outlining the formal methods at IOHK, he explains cryptocurrencies, explains how to build the blockchain system and the process from spec to code. This talk was given by Phillip Kant at Lambda Days.

As always we are here, this Sunday providing you with our favourite programming blogs and articles from the past week. This week... First up we have a really interesting article, all about Tesla's new power plant. In Edge to Cloud: Building the Tesla Virtual Power Plant by Wesley Reisz he disucsses how the new virtual power plant is a great and modern example of cloud-native...