Diomidis Spinellis @coolsweng.bsky.social · 29/08/2026Extracting information to aid debugging (here a binary tournament merge failure) can often be productively automated with Unix command-line tools. awk '$4 == "BEGIN" && $8 { print $8 " -> " $7}' file.log | dot -Tsvg >diagram.svg 010
Diomidis Spinellis @coolsweng.bsky.social · 12/08/2026Apart from confidentiality concerns, another risk of reviewing papers with GenAI is hallucinations. Here are two examples from ChatGPT's (5.6 Sol) review of my own work with *a given PDF*. It took me several minutes to uncover each, so a long AI-generated review could take hours to verify. 010
Diomidis Spinellis @coolsweng.bsky.social · 03/07/2026Artificial intelligence seems to be increasingly matched with marketing stupidity. 042
Diomidis Spinellis @coolsweng.bsky.social · 30/06/2026This is the pocket computer-history museum I use for introductory presentations: 7AK7 computer vacuum tube, metal-can transistor, SSI chip, exposed EPROM and CPU chip, RAM / SSD storage and RPi zero. Demoed it yesterday to high-school students in YES, our Youth Entrepreneurship Seminar. yes.aueb.gr 020
Diomidis Spinellis @coolsweng.bsky.social · 27/06/2026What a time to live in! We're discussing about AI recursive self-improvement and AGI. And we're also managing IT systems with cryptic tags and by adding "000_" to first names so that they appear on top of the list. (The list is from icse2027.hotcrp.com/users/pc) 010
Diomidis Spinellis @coolsweng.bsky.social · 27/06/2026A recent report on falsely-attributed research papers www.jmir.org/2026/1/e104934 and a commentary on it www.luxuriousmagazine.com/false-author... paint a bleak picture. Here are the @erictopol.bsky.social incident retractionwatch.com/2026/04/23/e... and my case study doi.org/10.1186/s410.... 120
Diomidis Spinellis @coolsweng.bsky.social · 12/05/2026Can you see the image smudges? I thought that my screen was dirty, but it turns out that the smudges are part of the Microsoft Office toolbar (visible in Word, Excel PowerPoint). Can't imagine what development process and bloat resulted in what looks like freehand drawing being part of it. Ideas? 010
Diomidis Spinellis @coolsweng.bsky.social · 07/05/2026Today we launch a new run of the popular and award-winning MOOC on the use of Unix Tools for data, software and production engineering. This year follow the course to improve your understanding of AI Agents' actions and your interaction with them. More information at www.spinellis.gr/unix/?utm=bs... 011
Diomidis Spinellis @coolsweng.bsky.social · 13/04/2026Generative AI upends the goals and nature of empirical software research. Here are my notes from Emerson Murphy-Hill's MSR's keynote talk on the topic. www.spinellis.gr/blog/2026041... 030
Diomidis Spinellis @coolsweng.bsky.social · 02/02/2026The video of my #FOSDEM 2026 talk on integrating the Fourth Research Edition Unix tape into the GitHub Unix history repository is now available online: ftp.belnet.be/mirror/FOSDE... 083
Diomidis Spinellis @coolsweng.bsky.social · 23/12/2025Several news outlets reported the amazing discovery of a 1970s Fourth Edition Research Unix magnetic tape. I incorporated the tape’s source code into the Unix History Repository hosted on GitHub and studied the code’s composition. Here's what I found. www.spinellis.gr/blog/2025122... 0188
Diomidis Spinellis @coolsweng.bsky.social · 04/12/2025The LaTeX Korrektor: A funny video series addressing serious LaTeX style infractions. Andreas Zeller (a German), like Dr. Strangelove, convincingly fakes familiar stereotypes. (He also suggests compounding German words as an alternative to the em-dash.) 130
Diomidis Spinellis @coolsweng.bsky.social · 07/11/2025I just received an AI-generated GitHub pull-request that incorrectly replaced 450 test code lines with a comment. Be VERY CAREFUL when reviewing out-of-the-blue PRs these days. AI-generated ones are likely to contain difficult-to-spot faults hidden as plausible fixes. github.com/dspinellis/g... 0113
Diomidis Spinellis @coolsweng.bsky.social · 01/11/2025Στις 5 Νοεμβρίου λήγει η διορία της διαδικασίας έκδοσης του Προσωπικού Αριθμού.Με τη γεννήτρια γραμμάτων προσωπικού αριθμού μπορείτε να επιλέξετε εσείς έναν καλό συνδυασμό γραμμάτων για τον προσωπικό σας αριθμό. Θα τη βρείτε στο www.balab.aueb.gr/genpa/ 034
Diomidis Spinellis @coolsweng.bsky.social · 27/10/2025I just added a note in the advice for writing LaTeX documents GitHub repository to avoid using the “itemize” environment, when you're describing elements. The “description” environment is better for this purpose. github.com/dspinellis/l... 041
Diomidis Spinellis @coolsweng.bsky.social · 18/10/2025Fun, fun, fun! I'm running a binary tournament merge to combine 64 SQLite databases (83 GB in total) into one. More details in doi.org/10.1109/MS.2... 1383
Diomidis Spinellis @coolsweng.bsky.social · 19/09/2025With all the GenAI buzz we tend to forget the value of 100% correct deterministic tools. Thank you Rust clippy! 0134
Diomidis Spinellis @coolsweng.bsky.social · 27/08/2025Google Scholar's lack of an API hinders automation and scientometric studies. In common with all proprietary academic databases, searches are opaque and non-replicable. With the Alexandria3k Python package you can run sophisticated queries on your laptop. dspinellis.github.io/alexandria3k/ 0123
Diomidis Spinellis @coolsweng.bsky.social · 24/08/2025That's a first! As I write a program's error message, I catch myself thinking whether GenAI will be able to understand it and produce a useful suggestion. (It does.) 030
Diomidis Spinellis @coolsweng.bsky.social · 14/08/2025Many years ago I contributed to #GraphViz code for several new node shapes, including UML notes. Now #ChatGPT advises me how to use them! 😃 050
Diomidis Spinellis @coolsweng.bsky.social · 07/08/2025I'm sure psychologists have a diagnostic name for this disorder. 010
Diomidis Spinellis @coolsweng.bsky.social · 09/07/2025Ever wondered why car ergonomics have gone down the drain as touch screens replaced buttons to drive down costs? This reader comment on an @financialtimes.com article on the topic says it all. 2111
Diomidis Spinellis @coolsweng.bsky.social · 27/06/2025My LLM coding interactions taught me that their benchmark results vastly overstate their capabilities. The paper by M. Mancoridis et al. “Potemkin Understanding in LLMs” explains and formalizes my feeling. Benchmarks derived from human tests are unsuitable for LLM assessment. doi.org/10.48550/arX... 0122
Diomidis Spinellis @coolsweng.bsky.social · 26/06/2025This week two US courts ruled in favor of AI's use of copyrighted works to train LLMs. How is such a use legal? Should it be legal? Two questions with very different answers. More (and an explanation of the audio cassette's relevance) at www.spinellis.gr/blog/20250626/ 052
Diomidis Spinellis @coolsweng.bsky.social · 29/05/2025Wow! The Rust compiler correctly guessed the correct method I should be calling. Helpful and very impressive error handling! 091
Diomidis Spinellis @coolsweng.bsky.social · 27/05/2025In 2023 a fake AI-generated scientific article was falsely attributed to me. I was not the scheme's only victim. My study, just published in the Research Integrity and Peer Review journal, analyzes what going on and who profited from the mass publication of AI-generated articles. rdcu.be/enQqG 0115
Diomidis Spinellis @coolsweng.bsky.social · 08/05/2025When you forget to switch the active window from ChatGPT to vim… 030
Diomidis Spinellis @coolsweng.bsky.social · 02/05/2025Shocking! When I said text should wrap at 72 columns, a student asked what a “column” is. With punched cards and fixed-width font line / dot matrix printers fading into history, the idea of a text column doesn't seem to be obvious anymore. 2114
Diomidis Spinellis @coolsweng.bsky.social · 25/04/2025ChatGPT seems to struggle with its "Deep research" feature due to difficulties in accessing several web sites. I guess the high-volume of its accesses is causing many sites to block it. These examples are from a single prompt. 041
Diomidis Spinellis @coolsweng.bsky.social · 23/04/2025Correct, but verbose and unreadable ChatGPT (4o) code (in red) vs the human-edited equivalent (in green). (The hex_digits string isn't even used.) Without human code ownership our software risks degenerating into unmaintainable junk. 1145
Diomidis Spinellis @coolsweng.bsky.social · 14/04/2025Many sites provide incorrect or incomplete BibTeX entries. I therefore just use the provided DOI and a small shell script to create the BibTeX from it from the definitive data retrieved from Crossref. 1175
Diomidis Spinellis @coolsweng.bsky.social · 11/04/2025Can you spot the six errors in this completely bogus GenAI-derived diagram? Read more in my blog entry on the perils of GenAI student submissions. www.spinellis.gr/blog/20250408/ 252
Diomidis Spinellis @coolsweng.bsky.social · 04/04/2025In the past I've had Google Search, Wikipedia, and StackOverflow point me to my own material for answers. Now ChatGPT does the same. 172
Diomidis Spinellis @coolsweng.bsky.social · 29/03/2025As I was watching the Sun within the clouds, I noticed that a part was missing. Through a quick web search I found out I was watching a partial solar eclipse! I took the photo with a non-fancy smartphone. 020
Diomidis Spinellis @coolsweng.bsky.social · 22/03/2025I love the informative error messages that Clippy provides for Rust programs. 040
Diomidis Spinellis @coolsweng.bsky.social · 13/01/2025When a group of disgruntled academic researchers switches its career to Hollywood… 031
Diomidis Spinellis @coolsweng.bsky.social · 08/01/2025Today, in my Java streams lecture I accompanied a unique words example illustrating their use with a presentation of D. McIlroy's critique of D. Knuth's code in CACM's “Programming Pearls column” and an Indiana Jones scene as a parable. dl.acm.org/doi/pdf/10.1... www.youtube.com/watch?v=kQKr... 061
Diomidis Spinellis @coolsweng.bsky.social · 17/12/2024I thought that ChatGPT caused the engagement with StackExchange sites to crash, but it seems that the fall started way before its 2022 launch. Why do you think this happened? 7110
Diomidis Spinellis @coolsweng.bsky.social · 17/12/2024My ai-repo-feedback scripts used the OpenAI API to prepare and send out twenty 18-page formative feedback reports to student teams working on a term-long programming assignment. They run in less than four hours at a cost of about $0.85. github.com/dspinellis/a... 093
Diomidis Spinellis @coolsweng.bsky.social · 10/12/2024Now there's no excuse for not writing a proper Unix manual page for the tool you've developed. Just prompt ChatGPT with its usage summary and ask for the man page troff source code. Edit for clarity, accuracy, and conciseness, and you're done! 072
Diomidis Spinellis @coolsweng.bsky.social · 21/11/2024Sharp PC-1211: main memory 1920 bytes, 4-bit CPU running at 256 kHz. 24 alphanumeric character display. ~ 1981 111
Diomidis Spinellis @coolsweng.bsky.social · 21/11/2024The social media metrics of followers, shares, and impressions demonstrate Goodhart's Law: “when a measure becomes a target, it ceases to be a good measure.” Nowadays, posts by influencers and companies are directly targeting these metrics, so none of them tracks reliably worthy accounts or content. 0123
Diomidis Spinellis @coolsweng.bsky.social · 14/12/2023The Unix sed command is a stream editor, which means that with it you can process efficiently TB-large files. It's also a frequent pipeline component. Now you can learn how to use it in minutes, with my tiny sed tutorial, which is written as sed code: github.com/adambard/lea... 000
Diomidis Spinellis @coolsweng.bsky.social · 05/12/2023What can possibly go wrong? github.com/motioneye-pr... 000
Diomidis Spinellis @coolsweng.bsky.social · 01/12/2023The amazing rise of open publication data and hardware performance now allow us to conduct reproducible systematic literature reviews as well as bibliometric and scientometric studies on our desktop. More details in the @PLOSONE Alexandria3k article doi.org/10.1371/jour... 000
Diomidis Spinellis @coolsweng.bsky.social · 26/11/2023Two fixes for a "truncation error" fifty years apart. "Plus ça change, plus c’est la même chose." (The more things change, the more they stay the same.) Large language models boost software development productivity, but quality issues will persist per Jevons paradox. 040