@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 07, 2026

If a car can surprise #Verstappen like that under braking, then it is abundantly clear where the #problem is: the 2026 #F1 technical #regulations.

https://youtu.be/QztBs3IZBHk?si=qcKZh0z8Yph8qRkv

View on mathstodon.xyz

1

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 07, 2026

For over half a century now, computer scientists have been trying to mould #software development into an engineering discipline, without success. Software practice firmly remains an art form that does not yield to formalisation.

Software Engineering problem might well be a corollary of Hilbert’s #Entscheidungsproblem.

View on mathstodon.xyz

13

0

4

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 06, 2026

When FORTRAN was being designed by Backus and his colleagues at IBM in 1956, the modern #IT industry was simultaneously being hatched. In those early days, #programming was a #mathematical activity.

Some three decades later, in the 1990s, many universities still taught their #CS students the theoretical foundations of the discipline: discrete mathematics, algorithmic analysis, complexity theory, computability theory, category theory, and so on.

Now though, there are some interviewees, with CS PhD from reputable state universities, who cannot analyse a well known algorithm, let alone designing one from scratch. And forget about computability theory, complexity theory, category theory, the lot. But they know Python and PyTorch—naturally!

In just seven decades, our field went from being largely mathematical while resting upon the shoulders of intellectual giants like von Neumann, Church, Turing, Kleene, Backus, Knuth, Cook, Scott, et al., to being completely gut-feel while labouring under the yoke of industrial giant LLMs.

View on mathstodon.xyz

6

0

2

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 02, 2026

Considering how many prominent folks round the world are simultaneously "entangled" in evil "states" with #Epstein, he must have been a small man, on the scale of a "subatomic particle".

It is good that he was "measured" in 2019 and his "wave function" forcibly collapsed. The results of that measurement are being analysed in earnest by teams round the globe—except in America, of course.

View on mathstodon.xyz

1

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 02, 2026

I don't get why #AI companies are paying #YouTube influencers to promote their wares. These companies should just generate their own promotional #fake #videos.

View on mathstodon.xyz

2

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 01, 2026

All #Swiss #watch aficionados lust after the Holy Trinity: the #AudemarsPiguet #RoyalOak, the #PatekPhilippe #Nautilus, and the #VacheronConstantin #Overseas.

I could not care less about them. Those watches are so, so 1970s—the Quarts Era.

My favourite mechanical Swiss watch is the timeless #JaegerLecoultre (the watchmaker of watchmakers) #Reverso from the 1930s Art Deco Era, the OG of "sports watches".

https://www.jaeger-lecoultre.com/us-en/watches/reverso

View on mathstodon.xyz

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Mar 01, 2026

So, #America has evolved to the stage where we had to have congressional hearings on #FreeSpeech.

https://youtu.be/rjINIH-Y_aY?si=knwWcOrdTpesHouK&t=32

View on mathstodon.xyz

2

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 28, 2026

If \(CH_4\) is #SteamReformed to produce \(H_2\) #fuel and the process emits copious amounts of \(CO\) and \(CO_2\) as byproduct, where is the net gains in #green?🤦‍♂️

Oh, I get it; we must build a #DysonSphere round our solar system, and harvest both the solar energy and the hydrogen from our Sun. Anyway, the Sun is going to die in about 5 billion years and humanity is supposedly the only sentient species in the solar system, so we might as well go at it and be done with it.🤷‍♂️

So much for "green #hydrogen", or more like "so much cost" thereof.

Humans—we cannot have good things, because we are innately #wasteful.

https://www.energy.gov/eere/fuelcells/hydrogen-fuel-basics

View on mathstodon.xyz

1

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 28, 2026

#Epstein would not have wanted #Israel being nuked by #Iran, on account of #tRUMP's prominent place in the "Files".

https://apnews.com/live/live-updates-israel-iran-february-28-2026

View on mathstodon.xyz

2

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 27, 2026

I have never sat in an #F1 car, but I have raced, at the amateur level, for a few decades. In my admittedly limited experience, the reason humans participate in #motorsport is because it is fun. Without fun, motorsport is but a profligate act.

Fun in #racing springs not from superior technology but from comparative skill. It is just as boring to circulate a race track minutes ahead of the competition as it is to be minutes behind. Mano a mano, mirror-to-mirror, tactical driving against equally skilled opponents in equally capable cars is what makes racing fun.

Circuit racing has never been about the outright speed. If outright speed were all there is, Bonneville would be the ultimate expression of motorsport. And racing is never about superlative technology. If it were, it would be better to let engineers race their wares in their laboratories, instead of inducing drivers to risk their lives and limbs on track.

I believe that F1 has gone off the rails, with its modern, complex, technical regulations.

View on mathstodon.xyz

2

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 27, 2026

In the #Epstein hearing, #Clinton testified, “I saw nothing, and I did nothing wrong”.

This reminds me of an earlier deposition in which he said, "I did not have sexual relations with that woman".

https://apnews.com/live/donald-trump-clintons-epstein-updates-2-27-2026?utm_source=copy&utm_medium=share

View on mathstodon.xyz

2

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 27, 2026

A new #F1 season is almost upon us.

I am reminded of why I used to adore F1, before the 2000s: technical innovations that empowered the masters to express themselves fully, but without involving excessive amounts of money, machination, and meddling.

View on mathstodon.xyz

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 26, 2026

The higher the entrance bar into a field of practice and the harder the effort required to sustain a long career, the greater the level of care and professionalism exhibited amongst the practitioners. A quick comparison between an average physician and an average coder proves this assertion.

View on mathstodon.xyz

1

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Feb 25, 2026

All federal executive agencies, both civilian and defence varieties, are enthralled with #AI, today. AI is now in storage, security, operations, monitoring, maintenance, planning, staffing, budgeting, the lot. That is, AI now controls not just technical platforms but even the way the agencies execute their mandates.

Such trend-chasing is innate to the executive agencies, since when a long time ago Congress passed the respective enabling acts. But AI is vastly different in kind from all past technologies.

The entirety of the modern AI is under a complete control of a few #billionaire #TechBros. As such, no one in the employ of the agencies, neither govies nor connies, fully grasp the true propensities and the unobservable behaviours of AI.

This type of "close the eyes and hope" governmental conduct, too, is nothing new. Just look back to the recent past: the FAA failed properly to oversee Boeing, and let the company "regulate" its own conduct, which resulted in loss of many lives.

But this new blind-faith in AI has the potential not only to destroy individual lives but also the entirety of The People.

View on mathstodon.xyz

1

0

Boosted by

Charlie Stross @cstross@wandering.shop

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Dec 02, 2025

Fabrice #Bellard is the French code monster who created QEMU, FFmpeg, Tiny C, and tonnes of other highly influential, highly efficient programmes. But his 2002 IOCCC-winning Obfuscated Tiny C Compiler—a 2048-byte-long, self-hosting C #compiler—is special, even in the company of his other inventions. https://bellard.org/otcc/

View on mathstodon.xyz

9

0

7

0

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

amen zwa, esq.

@AmenZwa@mathstodon.xyz

I am an ordinary man, so I am unique up to isomorphism. I am on MATHStodon not to preach to the choir, but to attend the concert. I always follow back valid accounts, but I do not hunt down celebrities. JD ⊥ MSCS Ω BSEE — Washington, DC

mathstodon.xyz

@AmenZwa@mathstodon.xyz · Oct 19, 2024

Prof. Dybvig's paper, "The Development of Chez Scheme" (2006), is a brief history of the #Chez Scheme compiler that he had been working on since 1985. Despite his quiet, understated tone, he manages to convey in this paper his heart-felt enthusiasm for, and decades-long dedication to, the Scheme language and its implementations. This is indeed an inspiration to all of us #geeks. Today, Chez Scheme is one of the fastest, most compact, and most advanced implementation of #R6RS.

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=bee2a90e39bc709835ae184e286a20afb02a0792

Dybvig was, in turn, a student of another pillar of the Scheme community, Prof. Friedman. I first came across Dybvig's work, when I read the 1ed of his famous book, "The Scheme Programming Language" (1987), the 4ed of which was published in 2009 and it covers R6RS.

https://www.amazon.com/Scheme-Programming-Language-Kent-Dybvig/dp/013791864X

The book "Chez Scheme Version 10.0.0 User’s Guide" (2024), published by Cisco, covers the inner workings of Chez Scheme v10, which is a superset of R6RS.

https://cisco.github.io/ChezScheme/csug10.0/csug.pdf

Chez Scheme and the whole of Dybvig's work are the guide posts for all #Lisp and #Scheme #programmers.

View on mathstodon.xyz

29

0

20

0

amen zwa, esq.

Posts