<div dir="ltr"><div>No need. You don't even need to know Python. I'll demonstrate all those
things mentioned above ("robustness", "verifiability", etc.) by examples
(like doing euclidean algorithms/long divisions, fibonacci numbers,
manipulating strings, etc.).</div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, May 6, 2025 at 9:48 PM Matthew Newhall <<a href="mailto:m.a.newhall@gmail.com">m.a.newhall@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Yutong<div><br></div><div> Is there anything people can read or a video they can watch, to bridge the beginner gap? Not sure how light you want to start.</div><div><br></div><div>Matt</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, May 6, 2025 at 9:44 PM Hypatia Bourbaki <<a href="mailto:knight.of.lambda.calculus@gmail.com" target="_blank">knight.of.lambda.calculus@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="auto">Since it's my talk I'll also bring refreshments, taking nominations (bubble tea and ice cream cakes already on the list).</div><div dir="auto"><br></div>My (actual) synopsis: In this brief workshop I will present techniques of functional programming, i.e. the use of e.g. immutable ("pure") data and structures, generic and higher-order functions, monadic composition of computational ("side") effects, strong (and dependent) static type systems as a paradigmatic shift in systems design and engineering, with potential to significantly reduce architectural complexity, undefined and/or unexpected behaviors, improving general (verified) robustness and (computational and "cognitive") efficiency.<div dir="auto"><div dir="auto"><br></div><div dir="auto">-Yutong<br><div dir="auto"><br></div><br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Tue, May 6, 2025, 21:14 Lee Wilbur <<a href="mailto:leew@multiverseit.com" target="_blank">leew@multiverseit.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div lang="EN-US">
<div>
<p class="MsoNormal"><span style="font-size:11pt">To be clear, that’s Tuesday, May 13, 2025 at 8pm in the usual venue, Digital Ballpark, Plainview.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">Yutong will present a Functional Programming Workshop. Functional programming is about building software with small, reusable, side-effect-free functions and data that doesn’t change, leading to cleaner and
more reliable code<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">(AI provided synopsis)<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">Pizza, Donuts, and Coffee will be provided!<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt">-Lee<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><b><u></u> <u></u></b></p>
<p class="MsoNormal"><b>Lee Wilbur<u></u><u></u></b></p>
<p class="MsoNormal"><i><span style="font-size:10pt">A+, MCSA, MCTS, MS-MVP 2006-2018<u></u><u></u></span></i></p>
<p class="MsoNormal"><b>Multiverse Enterprises Inc<u></u><u></u></b></p>
<p class="MsoNormal"><b><i><span style="font-size:10pt">Providing Technical Support for IT Professionals and SMBs<u></u><u></u></span></i></b></p>
<p class="MsoNormal"><b><i><span style="font-size:10pt">In the Long Island and New York City areas<u></u><u></u></span></i></b></p>
<p class="MsoNormal">516.901.2558 <a href="http://www.multiverseit.com/" rel="noreferrer" target="_blank"><span style="color:rgb(5,99,193)">www.multiverseit.com</span></a><span style="font-size:11pt"><u></u><u></u></span></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><i>Please note: Although we may sometimes respond to email, text, and phone calls instantly at all hours of the day, our regular business hours are 9:00 AM - 6:00 PM, Monday thru Friday.<u></u><u></u></i></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><span style="font-size:8pt"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt">Twitter: MultiverseIT / ThatWindowsGeek<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt">Facebook: <a href="https://www.facebook.com/pages/Multiverse-Enterprises/102713849814574" rel="noreferrer" target="_blank">
<span style="color:rgb(5,99,193)">https://www.facebook.com/pages/Multiverse-Enterprises/102713849814574</span></a>
<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:8pt">LinkedIn: <a href="http://www.linkedin.com/in/leewilbur" rel="noreferrer" target="_blank">
<span style="color:rgb(5,99,193)">http://www.linkedin.com/in/leewilbur</span></a> <u></u>
<u></u></span></p>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>
_______________________________________________<br>
Lilug mailing list<br>
<a href="mailto:Lilug@lists.lilug.org" rel="noreferrer" target="_blank">Lilug@lists.lilug.org</a><br>
<a href="http://lists.lilug.org/listinfo.cgi/lilug-lilug.org" rel="noreferrer noreferrer" target="_blank">http://lists.lilug.org/listinfo.cgi/lilug-lilug.org</a><br>
</blockquote></div></div></div></div>
_______________________________________________<br>
Lilug mailing list<br>
<a href="mailto:Lilug@lists.lilug.org" target="_blank">Lilug@lists.lilug.org</a><br>
<a href="http://lists.lilug.org/listinfo.cgi/lilug-lilug.org" rel="noreferrer" target="_blank">http://lists.lilug.org/listinfo.cgi/lilug-lilug.org</a><br>
</blockquote></div><div><br clear="all"></div><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature">Patience is knowing justice will find you, wisdom is knowing to send up a flare.</div>
_______________________________________________<br>
Lilug mailing list<br>
<a href="mailto:Lilug@lists.lilug.org" target="_blank">Lilug@lists.lilug.org</a><br>
<a href="http://lists.lilug.org/listinfo.cgi/lilug-lilug.org" rel="noreferrer" target="_blank">http://lists.lilug.org/listinfo.cgi/lilug-lilug.org</a><br>
</blockquote></div>