Notices by amen zwa, esq. (amenzwa@mathstodon.xyz)

@fl @Jose_A_Alonso Great stuff, ain't it?💕

I know a handful of LISP/Scheme implementations that support simply-typed 𝜆-calculus with pattern matching—the Typed Racket being the best known. But they all lean more toward Python 3 and less toward ML in their implementation of the type system.

I'd say though that much of what counts as the "traditional strengths" of LISP was derived from its homoiconicity, its functional core, and its imperative addons, but not from its typyness, for there was no type system, originally. This makes LISP way of working markedly different from ML way of working.

#tRump is the most prolific convicted #rapist in our nation's legal history. And his topping accomplishment was the #gangrape of #America on #Jan6 by tens of thousands of #MAGAts, which he led skilfully, to the cheers and delight of his pocket #Republicans and his hand-picked #SCotUS.

This free book by Prof. #Boneh of #Stanford, "A Graduate Course in Applied #Cryptography", is one superb text on the subject.

https://toc.cryptobook.us

A few weeks away from the #election between a former successful #prosecutor and a current convicted #criminal, I have to ask my fellow #Americans: is this even a genuine choice?

C'mon, THINK!

Just a few days before our #election, I have to ask my fellow #Americans who plan to vote for #tRUMP, do you comprehend our #Constitution?

The following are the “little miracles” (in the nonreligious sense) in the lives of techies:

• A preteen coder discovering abstract data types
• A high schooler being introduced to abstract algebra
• An undergrad taking an introductory course on category theory
• A grad student wading into univalent foundations of mathematics
• An experienced IT coder finding out about homotopy type theory
• A pensioner who just realised how much intellectually fulfilling life experiences lay before him

Years ago, I studied legal ethics in #law school, a required course. This particular course was taught like a typical law school course: read the cases, read the ABA Model Rules of Professional Conduct, apply the rules to the fact patterns, etc.

Long before that, in electrical #engineering undergrad, I was encouraged by one of my professors to take an introductory course in #philosophy. I did. I loved it. So, I took another philosophy course on #ethics. Both courses were taught by philosophers in the tradition of the field.

It turned out that the lowly undergrad ethics course was far more insightful about the ethical issues that pervade humanity than the highbrow legal ethics course ever was.

The local representatives of the myriad #foreign powers

https://www.bbc.com/news/world-us-canada-65019134

#Giuliani bites the dust.

https://youtu.be/PE5Yx_ySba8?si=TG4JdB9WNv-lwevh

@bmacDonald94 Just making it clear, Bill: I'm starring your Voltaire quote, not the MAGAt picture. But then, you knew that.😀

Historic...

https://youtu.be/uYU_q-12qXs?si=uC1F-FPNf-c-cGNe

One of my favourite #SCotUS associate #justices, Stephen #Breyer, on the rule of #law

https://youtu.be/dCf_03E-aJ8?si=pjaRURBWHyGtT8Ha

A #Maryland educator was arrested for using AI to frame the principal of the high school.

We regulate the use of bulldozers, explosives, fertilisers, etc., because despite their social utility, they have the potential to cause havoc in the wrong hands. Likewise, the use of #AI must be #regulated.

https://youtu.be/f7XKP6j44T4?si=cJwEwMxN8vcqN8ej

The argument that "an American #president who attempted to overthrow our Constitution and to seize absolute power for himself by way of an armed #insurrection, a military #coup, or an #election fraud is absolutely #immune from all criminal prosecution under that very Constitution" suffers from the ignominy of being a self-sealing fallacious argument.

If this argument were to be deemed logically valid, then the sitting president could seize power, and declare the Constitution and our Democracy null and void. What would then be the point of having state and federal governments, laws, elections, or other indicia of democracy?

A 1L would not make such a silly mistake in first year con law class. Yet, the #SCotUS is seriously considering it.🤷♂️

https://youtu.be/lx1gX9lk8ZI?si=L7kcPh7ZuptA3utg