@symbolics @ramin_hal9001 @masso @screwtape @sacha
Franz LISP in Emacs via a VT100 on a VAX-11/780 running 4.2BSD 💕
@symbolics @ramin_hal9001 @masso @screwtape @sacha
Franz LISP in Emacs via a VT100 on a VAX-11/780 running 4.2BSD 💕
@amszmidt 🤣 💕 👍 🙌 🙏
@augustocc My two old loves: BSD UNIX and the 9-track (the original Big Data).💕
Many mistakenly believe that #billionaires desire more money. They do not; they have virtually unlimited amounts of money. Indeed, they are able to print their own money, at will. Likewise, they do not want more power, for they have purchased all the power there is. So, what do they really want?
What every billionaire wants is to run his very own country, wielding absolute power over the ill-fed, ill-health, ill-read caste of impotent serfs.
So, the billionaires are not merely trying to turn back the societal clock to the 17th Century; they want the World to revert all the way back to the 5th Century.
Arrested for speaking out against #MAGats—well, #Nazism is well and truly here in America.
More than four decades ago, I took #quantum mechanics as an undergraduate #EE student, as a required course on semiconductors. We used a then-popular #physics textbook on the subject—"Solid State and Semiconductor Physics" by McKelvey. Suffice it to say, this physics textbook wasn't ideal for #engineering students.
Today, I came across Prof. #Dommelen's free textbook, "Quantum Mechanics for Engineers", in all its 1600-page glory. And I'm loving it!
https://web1.eng.famu.fsu.edu/~dommelen/quantum/pdf/index.pdf
The term #PoliticalCorrectness is an unfortunate misnomer. It has no political purpose; its significance, its raison d'état is comity towards fellow men. So, that all-too-frequent PC v nPC debate is really about whether one is genuinely empathetic or merely pathetic.
@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.
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
#Giuliani bites the dust.
@bmacDonald94 Just making it clear, Bill: I'm starring your Voltaire quote, not the MAGAt picture. But then, you knew that.😀
Historic...
One of my favourite #SCotUS associate #justices, Stephen #Breyer, on the rule of #law
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.
I am an ordinary man. So, I am unique up to isomorphism. 🇺🇸 JD ⊥ MSCS Ω BSEE 🇺🇦Washington, DC
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.