Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

amen zwa, esq.

@AmenZwa@mathstodon.xyz
mastodon 4.7.2
  • Open on 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 admire well constructed arguments, but I am not argumentative.
I always follow back valid accounts, but I do not chase down celebrities.
JD ⊥ MSCS ⏚ BSEE • GPS +38.89 -77.01 • CO₂ low 320s

563 Followers
497 Following
50 Posts
Joined November 08, 2022
Blog:
https://amenzwa.github.io
Amazon:
https://tinyurl.com/2yryxze9
Academia:
https://tinyurl.com/3m5a737d
GitHub:
https://github.com/amenzwa
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1w ago
Replying to
@darkuncle@infosec.exchange @skewray@mathstodon.xyz Ya know mate, back in the early 80s, most CS-trained programmers were “generalists”, simply because general, system programming was a “specialist” domain. That broad-based, general exposure was particularly valuable to young practitioners who, as a specialist in later life, can draw from a mass of past experiences. Today, those who portray themselves as broad-based practitioners use the label “full-stack”—yeah, web only; go figure. Once, on behalf of a client, I interviewed a tech lead candidate, who touted himself as a “one-stop shop”, “know everything expert” in all things systems design and development. I always start interviews by asking questions with easy, simple answers, so as to acclimate the candidate to the process and to establish a rapport with him. Given the system-oriented nature of the work, I asked this senior-level candidate to describe at a high level how a computer boots up, willing to accept even a hand-wavy response, so as to move the process along. I got a blank stare.🤦‍♂️
5
1
1
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1w ago
At social gatherings, I have heard someone or another describe himself as an “amateur mathematician”. Whenever I hear that appellation, my mind instantly say, “Um, that sounds dangerous, like being an amateur neurosurgeon”.
4
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1w ago
Replying to
@skewray@mathstodon.xyz 🤣 Then, I am obliged to greet you thus: 🙏. https://en.wikipedia.org/wiki/Namaste
en.wikipedia.org
3
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1w ago
Replying to
@darkuncle@infosec.exchange @skewray@mathstodon.xyz 👍 Everyone should have a narrow, deep knowledge base in a few things and a broad, not-so-deep base in many things. That small, but deep, base then provides not only the sustenance for life but also the life philosophy. And that enthusiasm for a broad spread into many areas enables one to glean wisdom from others’ experiences and perspectives.
2
1
4
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 3w ago
Will people soon trade their firstborn for a few #LLM tokens? #LunchtimeLament
4
10
1
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
#AssemblyLanguage • Set Theory is the assembly of mathematics. • 𝜆-Calculus is the assembly of Computable Functions Theory. • JavaScript is the assembly of the Web. • PDP-11 instruction set is the assembly of the hearts and minds of a particular ilk of geeks.
8
1
4
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 4w ago
Replying to
@vnikolov@ieji.de @benjamingeer@piaille.fr @dougmerritt@mathstodon.xyz @rk@mastodon.well.com @ed1conf@bsd.network @mike805@noc.social @thalia@discuss.systems Incidentally, 2010s were also the advent of “layering to avoid having to understand” culture in IT. At the time, there was a minor revolt in the Haskell community to shun the bloated Haskell 2010 and to revert to Haskell 1998. Alas, that uprising was quickly crushed, within Haskell community and without.
5
4
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 4w ago
Replying to on mathstodon.xyz
@dougmerritt@mathstodon.xyz @vnikolov@ieji.de @rk@mastodon.well.com @ed1conf@bsd.network @mike805@noc.social @thalia@discuss.systems Well into the 1980s, my engineering college in Burma was still using the leftover DECwriter units to supplement a few new VT100 units that we did have. I suppose it was for the better: we learned to “hand write” our design, analysis, proof, and code on paper—on the backside of discarded 132-column printer paper—a good habit that has been lost to time.
5
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 4w ago
Replying to
@benjamingeer@piaille.fr @dougmerritt@mathstodon.xyz @vnikolov@ieji.de @rk@mastodon.well.com @ed1conf@bsd.network @mike805@noc.social @thalia@discuss.systems When Stroustrup lost control of C++, when Torvalds lost control of Linux, …, we know something had gone horribly awry, with today’s “add up”, “mash up”, “bloat up” culture.
4
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2w ago
Replying to
@dougmerritt@mathstodon.xyz We might need outside intervention. https://youtu.be/JcOfFeKXcd4?si=QYa0rZ8mNNGPXDVi

Sarcasmaholics Anonymous | Burnistoun

2
6
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Tolkien‘s linguistic inventions are startlingly creative. In ordinary story telling, invented languages rarely appear, and if they do, they are just superficial props. But each of Tolkien‘s languages is complete—dare I say, “Turing complete”—equipped with its own origin story, evolutionary history, regional dialects, cultural functions, fully formed script, pronunciation, vocabulary, grammar, idioms. #Tolkien’s originality, ingenuity, thoroughness, industry, and process could serve as inspirations in designing new #programming languages. We still stand to gain much, even if we #IT practitioners do no more than to look upon Tolkien’s life work as mere aspirations.
18
4
6
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 4w ago
Replying to
@benjamingeer@piaille.fr Ah, my beloved 6502….😍 Handwritten programme is now a lost art, mate; permanently, irretrievably lost, I fear. The thing I miss most keenly of the old days is the “comprehensibility” of it all, both hardware and software. Even a kid, with an adequate amount of humility and a modicum of effort, could learn enough to become functional. And in the presence of clean designs, abundant documentation, and local gurus, anyone determined enough has multiple paths to success. Today, complexity is revered, but comprehensibility derided. “Any child can understand that!” is now a common put-down in design reviews. @dougmerritt@mathstodon.xyz @vnikolov@ieji.de @rk@mastodon.well.com @ed1conf@bsd.network @mike805@noc.social @thalia@discuss.systems
3
8
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz Good question. There are ABA ethics rules (which most jurisdictions have adopted) that prohibit publication of the case details. And we can’t answer questions from the individuals who are not already our clients about laws and facts specific to their unique situations. Unless one enjoys flirting with disbarment, one never discusses cases publicly, not even with coworkers from the same firm. For advice, a firm lawyer goes to the managing partner and other lawyers working on the same case. The partners have to be even more careful about discussing cases amongst themselves, because the same international firm may represent both sides of the case. There are firewall rules that apply to that situation. A good analogy is the "need-to-know" standard followed by the intel analysts. The situation is vastly different in medicine. I have listened in on my parents' discussions of their day's surgeries at dinner table—fancy eating while listening to that! It is acceptable, perhaps encouraged, to share amongst doctors the knowledge of how to treat various ailments, because they all have one client, the human patient, and one opponent, the disease. In law, a lawyer has the ethical duty to represent zealously even the most despicable defendants. In CS and EE, the topics that can and cannot be discussed with coworkers, or with the public, is often clear: steer clear of the proprietary information and methods—which should always have been expressly communicated to the geek by his employers—and the geek is free to talk about anything else. This is what we all do on this platform, and this free, open discussion is very beneficial to all concerned.
3
5
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2w ago
Replying to
@dougmerritt@mathstodon.xyz eh?😆 @ed1conf@bsd.network
1
11
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2w ago
Replying to
@dougmerritt@mathstodon.xyz 🤣Only you can put things point-on, Doug.😍
1
8
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@vnikolov@ieji.de @dougmerritt@mathstodon.xyz My memory of Brezhnev was a wall of military medals that hung from a pair of stout eyebrows, topped with a bushy fur cap. The 60s to the 80s was the tumultuous times behind the Curtain, I suppose. Ultimately, modernity got the better of it all, by the 90s. I’m not equipped to assess whether the Soviet Union or the modern Russia has stronger ill effects upon the rest of the world.
2
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz The most interesting bits of law, for blokes like us, are legal philosophy, constitutional issues, and comparative constitutional studies. And these generally applicable to all so, there are no worries about breach of privacy and ethics rules, making these topics perfect candidates to “chat” about. But since 2016, I have become increasingly disillusioned with both the tRUMP Court and the tRUMP Politburo. I will not even bother mentioning the Executioners. In fact, is there even anything principled that these governmental organs do anymore? Not only are their conducts unethical, they are downright illegal and often even unconstitutional. Take the Epstein War, for instance. Do Americans really care? No. This, then, is the most disheartening aspect of our democracy and our laws, at present. This is partly why I avoid talking about the law. Such talks should be principled, logical, removed from the muck of emotions, from which I cannot extricate, at present. And because I am involved in both engineering and legal aspects of the work, my practice area is a veritable minefield of proprietary inventions (mine and my clients’), trade secrets, non-disclosures, private negotiations, and sometimes secrecy concerns (classified). It is best to steer clear of all that. And attorney-client privilege survives; even after the engagement had ended, even after the propriety information had gone stale, I can never discuss private matters in public. This puts me in a different cell block from most engineers, who do not carry the legal entanglements. You are free to raise topics that interest you. I will join in, if I know what you are discussing.
2
3
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago

Books on automated #ProofAssistants, like Coq, Lean, Agda, Idris, etc., fall into two groups: a vast majority aimed at working mathematicians and a handful aimed at programmers.

The following is a short list of #programming-focused #books (not short tutorials) on the use of proof assistants in crafting #verified software, categorised by type theory and listed in an approximate, ascending order of sophistication:

\(\textit{Coquand Calculus of Inductive Constructions}\)
• Introduction to Formal Reasoning (Lean), Altenkirch
• Programs and Proofs (Coq), Sergey
• Functional Programming in Lean, Christiansen
• Verified Functional Algorithms (Coq), Appel
• Certified Programming with Dependent Types (Coq), Chlipala

\(\textit{Martin-Löf Intuitionistic Type Theory}\)
• Certainty by Construction (Agda), Maguire
• Type-Driven Development with Idris, Brady
• Verified Functional Programming in Agda, Stump
• Programming Language Foundations in Agda, Wadler
• Software Foundations (Idris), Pierce

mathstodon.xyz
7
3
3
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
The software practice was once a mathematical activity, à la Hoare, Dijkstra, Bird, et al. But it has not been so, for several decades. If the present #software practice is to mature into a bona fide #engineering practice in the future, #mathematics-based #formal methods, notations, languages, and tools—Z, B, VDM, ACL2, TLA+, Coq, Lean, Agda, Idris, ...—must be adopted. There obviously is no shortage of such tools and techniques. Clearly, many practice areas within IT, including glossy brochure web sites, line-of-business CRUDing apps, and the like, need not be formalised. But certain fields, like operating systems, networking, transportation, utilities, real-time life-critical applications, plant control, voting systems, medical systems, financial systems, defence, and so on, must be mathematical, end-to-end and full-lifecycle—just like traditional engineering fields. Also, there is now an urgent need for a comprehensive framework (statutes, regulations, guidelines, standards, and policies) to normalise the use of #AI in IT, especially in those life-critical practice areas. The time for hoping that the TechBros would self regulate is long gone.
6
2
7
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz On a slightly different note, I used to feel annoyed by having to account for different architectures and OSs, back when there were plenty of varieties. Today, I lament the dominance of x86, ARM, and Linux. Even gods cannot meet the whims of man….
2
4
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 4w ago
Replying to
@vnikolov@ieji.de @benjamingeer@piaille.fr @dougmerritt@mathstodon.xyz @rk@mastodon.well.com @ed1conf@bsd.network @mike805@noc.social @thalia@discuss.systems JavaScript, as it is used, is procedural. But Eich intended for it to be an admixture of Scheme and Self, because he was forced to abandon Scheme and to adopt the then-popular Java (C really) syntax. Funny how things go….
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz Unmentionable, I’m afraid.
1
7
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz I have yet to meet a person who’s no fan of 7400, and I doubt such a person exists.😀 Talk about cycles: the Cortex-M has 12-cycle ISR response time. For something that low-end, that is admirable, I thought. Even in embedded arena, few uses assembly anymore, these days. Given the complexity of the pipeline, vector processor, the lot, I suppose few could out optimise a good compiler. I know I can’t.
1
9
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz Perhaps that’s why “We can’t have good things”, as another said, once.😀
1
2
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz It took only half-a-century for the REP upgrade to arrive. We’re beating F1’s upgrade cycles, hands down—in the opposite direction.😆 I know you have done tonnes of ISA and other low-level stuff, much more than most. But I steer clear of that marsh. Tiny custom hardware is plenty hard enough for me.
mathstodon.xyz

DougMerritt (log😅 = 💧log😄) (@dougmerritt@mathstodon.xyz) - Mathstodon

1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz I only knew the canonical DEC syntax, given the circumstances (which you are already aware). I think the 8086 and the 6502 had similar assembler vendor dependent local variations. Ah, fun, frustrating times….
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 1mo ago
Replying to
@dougmerritt@mathstodon.xyz Ah no, I meant minor syntactic differences, not oprand order swap. I should have been clearer.
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago

#CS grad students scouring for their PhD dissertation ideas may find inspirations in Tony Hoare's 2005 "Grand Challenges" paper.

Grand Challenges for Computing Research, Hoare (2005)

#safe #secure #verified #software

https://www.cs.ryerson.ca/~aferworn/courses/CP8101/CLASSES/GrandChallengesinCS.pdf

mathstodon.xyz
2
0
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago

I recent saw a contractor "wrote" more than 500pp proposal in response to a federal agency's RFP. The document exhibits clear signs of having been generated by AI.

Guess how the agency contracting officers "read" that monstrosity: yup, AI.

It appears that in modern #IT, the only remaining entity who is still "thinking" and "learning" is the #AI.🤦‍♂️

mathstodon.xyz
2
4
3
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago

#MaliciousProsecution by Putin’s queen

https://apnews.com/article/reflecting-pool-damage-olympian-hearn-trump-21d997b5b55e6adf01862d7c5292476d

mathstodon.xyz
2
0
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@UweHalfHand@norcal.social Whatever you do, please be sure to write the pronunciation guide.😀
2
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 3mo ago
A #fork of an existing #repo is usually a consequence of a disagreements over vision, approach, taste, or personality. That is, a “fork” is a four-letter F-word. At least amongst the famous #openSource projects does a fork ever arise out of a genuine technical need. #programming #politics
3
1
2
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
An #engineer’s worth can be measured in many ways: years of licensure, number of graduate degrees, number of junior staff managed, number of successful product designs, number of units manufactured per annum, number of faults per a thousand operating hours, amount of revenue generated per annum, amount of savings attained per unit, etc. But there is one very important engineering performance metric that is rarely discussed: number of successful #legal disputes (either on the plaintiff side or on the defendant side) in which the engineer was forced to participate, as a data purveyor, as a technical advisor, or as an expert witness. And this crucial skill is always acquired on-the-job, because it cannot be taught in a classroom.
2
7
1
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago

Do even #MAGAt idiots listen to this imbecile anymore?

https://apnews.com/article/trump-pirro-reflecting-pool-3703eaedddf580f32ff9aca33bc11851

mathstodon.xyz
1
0
1
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@vnikolov@ieji.de 😆Funny as that statement is, it certainly is no joke, in the AI Age. This “progress” has the potential to turn into an existential threat to human intelligence. Too few recognise this ever-growing threat, and even fewer cares….
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 3mo ago
Replying to
@vnikolov@ieji.de Even the non-royals now seek the royal road to mathematics.😆 @smlckz@fe.disroot.org @sjmulder@bsd.network @tut@fosstodon.org @raven667@hachyderm.io @ColinTheMathmo@mathstodon.xyz @dougmerritt@mathstodon.xyz @kabel42@polymaths.social @rl_dane@polymaths.social @mirabilos@toot.mirbsd.org
2
1
1
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 3mo ago
Replying to
@vnikolov@ieji.de With over 40M lines of code and running on untold numbers of servers, desktops, tabkets, and phones, Linux has a large, exposed surface area for the nefarious. @dougmerritt@mathstodon.xyz @mikalai@privacysafe.social @benjamingeer@piaille.fr @otfrom@functional.cafe @cwebber@social.coop @slowfallinward@ihatebeinga.live
2
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@chrisamaphone@hci.social Yes indeed, Software Foundations is Coq, through and through. But there is an Idris edition as well (by Bailey et al.). As a programmer with a CS background, but one who is not a theoretical CS, I favour Agda/Idris. I recognise that this is a grievous offence to many purists. At present, Agda/Idris adoption appears to lag those of Coq and Lean. These are the reasons why I specifically chose the Agda edition of Software Foundations. https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf I have no intention of making a single social media post comprehensive and sealed—because that is impossible. Besides, once a reader reaches the level of delving into Software Foundations, he would have developed his own perspective and taste that would aid him to explore and adopt tools and techniques, as he sees fit. The fact that I am not a CS theoretician, only a CS practitioner, explains how I came up with this list. That is the general, vague answer. But if you are asking the specifics of the "why and how" this list, then the answer is that I read and I share. I have, for the past several decades, been exposing Bird's maxim—programming is a mathematical act—to my colleagues in the IT industry. So, my social media posts and my blog posts tend to focus on industry-friendly, introductory-level CS topics. After more than forty years, I have had only a limited success with this endeavour; the majority of IT practitioners I have worked with are not CS and even those who are CS are not interested in the traditional mathematics-based approaches that I was taught in the early 1980s. Still, I shall persist in this one-man crusade, until I retire, in a few years.🤷‍♂️
idris-hackers.github.io
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 3mo ago
Replying to
@kabel42@polymaths.social What I observed with PhD EEs is that many of them are just about indistinguishable from PhD physicists. Not so, PhD CS. @vnikolov@ieji.de @dougmerritt@mathstodon.xyz @rl_dane@polymaths.social @mirabilos@toot.mirbsd.org @raven667@hachyderm.io @tut@fosstodon.org @sjmulder@bsd.network
2
2
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@vnikolov@ieji.de No I didn’t know that particular tidbit, but I am somewhat aware of Tolkien’s drawing upon on ancient sources for names, places, story lines, and so on.
1
0
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@UweHalfHand@norcal.social They call you “Strider” for good, solid reasons.
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@vnikolov@ieji.de In the US, her degree would be post-grad degree in Pharmacy, which is itself a five-year graduate degree. And her scientific insights into cooking is bang-on. Ya know mate, any worthwhile endeavour, after having acquired the minimal requisite experience in it, can offer deep insights into not only that field but also into life n general. For instance, I saw loads of parallels to STEM, when I was in law school, and I saw loads of parallels to jazz theory when I was an engineering undie. Life is wonderfully complex, because it results from a composition of many beautifully simple actions and events—a parallel to mathematics, there.
1
1
1
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@vnikolov@ieji.de Certification, instead of licensing, was perhaps the worst thing that happened to IT. Look at us now. Anything, even cooking, can be turned into engineering, provided there are mathematical models, professional discipline, and regard for the common good. Proof? Chemical engineers work in the food manufacturing industry. The problem with turning software into an engineering discipline is, in small part innate which could be overcome, but in large part unprofessional attitude amongst the stakeholders which is far more difficult to overcome.
1
3
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@vnikolov@ieji.de Software development is not “engineering”, because software work is “mathematical” at its best, “art” ordinarily, and “nail-hammering” at its worst. I wrote about “engineering v art” in this article: https://amenzwa.github.io/stem/CS/Curriculum/ Back in the late 1980s, when IT started to grow too if for its britches, there was a push towards public “licensure” in various sectors of these industry, especially in more engineering-centric parts. But that initiative got quashed very quickly and very harshly by the whole industry. Instead, they went with private “certification” model.
amenzwa.github.io
1
5
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 3mo ago
Replying to
@dougmerritt@mathstodon.xyz Very true. That’s what irks me, whenever I advise my younger IT colleagues with CS background to keep studying maths, but their response always is, “Where am I going to use maths?” 🤦‍♂️ @kabel42@polymaths.social @vnikolov@ieji.de @rl_dane@polymaths.social @mirabilos@toot.mirbsd.org @raven667@hachyderm.io @tut@fosstodon.org @sjmulder@bsd.network
1
1
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@Di4na@hachyderm.io Using AI to generate documents but never reading what was generated is becoming a global pandemic amongst the population of eight-year-olds and above..
0
0
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago

#F1 is boring. #RedBull is slumping. What should #Max do: stay at RB and pretend like all is well, switch to a team with better car, take a year sabbatical, or quit F1?

The most sensible, and arguably the most impactful, action that Max could take is to take a year off from F1 to wait it out for RB's improvement or for better teams' seats to free up. In the meantime, Max could hoist #GT racing to prominence, with at least three orders of magnitude more exciting than the present vapid, politics-ridden F1.

mathstodon.xyz
0
0
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@tomjennings@tldr.nettime.org 😍I love that description!👌
0
0
0
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Apparently, #tRUMP and his #Republicans want to make “#Canada Rake Again”. #Wildfires are a consequence of local weather conditions which, in turn, are a direct consequence of global #ClimateChange. Fight climate change, not Canada. https://www.bbc.com/news/articles/cwyq93j34lgo
bbc.com
0
0
8
0
Open post
amen zwa, esq. @AmenZwa@mathstodon.xyz
· 2mo ago
Replying to
@chrisamaphone@hci.social Chris, I always use the lead author's name, when I post book titles on social media, due to the space limitation. And social media is not quite accommodating to full citation form and other elements of the academic writing style. Moreover, any interested reader will certainly look up the book title for himself.
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 18:58:09 UTC