One more addition to "Monads are no Nomads" compilation everyone! Still checking functors on it but the next videos will be the last about talking over this subject. Then we will move on to #Monoids! Enjoying the channel so far? Plz help it by subscribing:
We have released a new CppCon 2023 Video!
C++23: An Overview of Almost All New and Updated Features – Marc Gregoire – CppCon 2023
https://youtu.be/Cttb8vMuq-Y
#BestPractices #Containers #Coroutines #cpp #cpp20 #cpp23 #cppBasics #ErrorHandling #Generators #HowTo #Libraries #Modules #Monads #Monoids #Objects #Ranges #StandardLibrary
Kicking us off on our first session of the morning was Matt Parker @standupmaths who shared how he's planning to break the world record for the most digits of π calculated by hand, for next π day (see his other attempts here: https://www.youtube.com/playlist?list=PLhtC92GarkjyYbxI3-4qzIWIRbZaw4wuP). We also heard from Bob Huxley, who has also been thinking about π day, but this time on Mars where it turns out it's actually tomorrow! Annette Margolis then talked about her class' favourite (and least favourite) way to solve quadratic equations. John Hoskinson discussed Diffy Squares (https://mathforlove.com/2020/03/diffy-squares/) and adapted them to generalised diffy N-gons - for odd N, you get repeating cycles! Nobody has ever said the word 'diffy' more times in the space of 5 minutes. Alistair Bird @outofthenorm shared about a mathematician who got inspired in the bath (but not that one), and what his discovery meant (turns out, not much, but it did inspire some nice results around Fermat's Last Theorem). Read more here: https://outofthenormmaths.wordpress.com/2011/11/09/blitz-krieger/ Adam Atkinson talked about Misère Games, leading to his discovery of just how many semigroups of order 8 there are, inducting us all into membership of DOCTIAL (the Department of 'Crikey! That Is A Lot!'); and finally Harlan Connor got LOUD about signal processing - it's possible to have peaks in audio volume that are higher than the maximum value the system can store! #mathsjam #maths #pi #worldrecords #mars #piday #quadraticequations #classwork #teaching #diffysquares #baths #inspiration #misèregames #doctial #loud #signalprocessing #groups #monoids #semigroups #combinatorialgametheory
This looks like a really nice, visual, first intro to concepts related to #categorytheory.
https://abuseofnotation.github.io/category-theory-illustrated/
#sets, #categories, #monoids, #orders, #logic, #functors
Credits: @abuseofnotation
#Statemachines, #Recursive Functions, validating #Paxos, hints at validating discrete real-time #PIDcontrollers, #monoids (not monads) - what more could you want?
https://www.yodaiken.com/current-draft-of-the-recursive-functions-and-state-machine-paper-paxos-edition/