← Feed

Posts

• View post

  Mate @vnikolov—my fellow behind-the-Iron-Curtain bloke—what was your youthful impressions of Marshal Tito? @dimpase

• View post

  #Php2Shell #vulnerability https://www.wiz.io/blog/php2shell-php-rce

• View post

  #Kushner $$$$ https://youtu.be/sRc8qIvOq0Q?is=ZNwc8YCil1oAp6AJ

• View post

  When the ordinary people of the world worship the billionaire TechBros, this lot gains the power to kill those very worshippers with a flick of a finger—the powers of the gods. #Muck-ed #StarLink #Ukraine https://apnews.com/article/russia-ukraine-war-starlink-drones-a3a0139dfc23365550306dd66fe43daa?utm_source=app&utm_medium=iOS_share&utm_campaign=copy_link

• View post

  Few folks in #IT and practice side of #CS take an introductory course on #philosophy, while in college. That is unfortunate, indeed. #LunchtimeLament

• View post

  Most #coders today could care less about algorithms. Fewer care about time complexity. Fewer still care about space complexity. And no coder cares about system resilience, power consumption, mean time between failures, per-unit cost, and other real-world #engineering concerns. Such is the present, untenable state of #IT. #LunchtimeLament

• View post

  One quick way to assess one’s proficiency in a chosen field is to pick up an advanced undergrad level or a beginning grad level #textbook on a foundational subject of the field and to confirm that (1) one fully grasps, not merely be acquainted with, all titles and subtitles in the table of contents; (2) one is aware of how these concepts relate to each other as well as to the subject as a whole; and (3) one is additionally aware of the subject’s foundational nature of the field.

• View post

  #Ethics is irksome, disturbing, threatening. That is why those few who are profiting though flouting ethics do everything in their power to turn the mindless masses to, likewise, mock ethics. #LunchtimeLament

• View post

  True #love is unconditional, unchanging, unceasing. In 𝜆-calculus, it could be expressed succinctly as the Ω combinator, which is defined as (𝜆𝑥.𝑥𝑥)(𝜆𝑥.𝑥𝑥). In computing, it would be given a rather unflattering name, the bottom ⊥. That is unfortunate. But hey, at least we geeks know what love is. Yes sir, we can boogie! #Baccara https://youtu.be/32wDFCM7iSI?si=7xqMgJF4E6pOsEDj

• View post

  If the #Pope, the Vicar of Christ in Heaven, casts his #vote as an American citizen here on Earth, so should we all. https://apnews.com/article/vatican-pope-vote-us-election-cebcf71652c254383a39113c71aedace?utm_source=app&utm_medium=iOS_share&utm_campaign=more_org_joinmastodon_app_shareactionextension

• View post

  #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.

• View post

  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”.

• View post

  Will people soon trade their firstborn for a few #LLM tokens? #LunchtimeLament

• View post

  @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.

• View post

  #MaliciousProsecution by Putin’s queen https://apnews.com/article/reflecting-pool-damage-olympian-hearn-trump-21d997b5b55e6adf01862d7c5292476d

• View post

  #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...

• View post

  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...

• View post

  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.🤦‍♂️

• View post

  #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

• View post

  Do even #MAGAt idiots listen to this imbecile anymore? https://apnews.com/article/trump-pirro-reflecting-pool-3703eaedddf580f32ff9aca33bc11851

• View post

  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 brochur...

• View post

  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 inspirati...

• View post

  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 o...

• View post

  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

• View post

  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

• View post

  The best way to learn to #write well is to read voraciously, and the best way to lean to #read well is to write incessantly. The most reliable way humanity preserves and expands its knowledge is through reading and writing. Today, college kids are using #LLM to read and write for them. Their professors are using LLM to generate and grade assignments. The kids respond in kind by using LLM to do the assignments. #AI is the only party in this “efficient” exchange who is improving its reading and w...

• View post

  #UNIX is not just an OS; it is the ultimate #IDE for #programmers. Arguably the best written introductory book on UNIX programming is "The UNIX Programming Environment", Kernighan (1983). This book covers UNIX V7, but I used it with 4.2BSD. There is another jewel of a book of a similar kind, a free one to boot, by Prof. Ballesteros (King Juan Carlos University): "Introduction to Operating Systems Abstractions Using Plan 9 from Bell Labs" (2007). Prof. Ballesteros wrote this...

• View post

  Lewis wins #F1 #BarcelonaGP https://youtu.be/Ey8j_BlLvFM?si=t0RxDtITDndolVVH

• View post

  Fruity #Computers: Acorn Apple Apricot Banana (Pi) BlackBerry (RIM) Cherry GRAPE (Gravity Pipe) Olivetti Orange Raspberry (Pi) Tangerine …

• View post

  #Bernie v #Claude https://youtu.be/h3AtWdeu_G0?si=_A5iXmM0RVBaFWhS