https://sbaziotis.com Compilers, philosophy, databases. en-us Sun, 12 Jul 2026 14:08:00 -0500 https://sbaziotis.com/non-cs/aristotle-freedom-equality-justice.html Some philosophers claim that freedom, justice, and equality first came up during the early modern period. This is factually and provably false since Aristotle talked about these three all the time with that same language. This article is the proof. https://sbaziotis.com/non-cs/aristotle-freedom-equality-justice.html Sun, 12 Jul 2026 14:08:00 -0500 https://sbaziotis.com/non-cs/spontaneous-data-and-sexually-explicit-ai-content.html This article considers the use of human-generated data by Artificial Intelligence (AI). More specifically, I am concerned with what I call “spontaneous data,” under which Instagram photos and TikTok reels fall. In recent years, such data have fueled a booming area of research: training AI to produce sexually-explicit content. This article takes up the pressing legal and philosophical questions around such use. https://sbaziotis.com/non-cs/spontaneous-data-and-sexually-explicit-ai-content.html Mon, 29 Jun 2026 16:25:00 -0500 https://sbaziotis.com/non-cs/a-rousseauian-analysis-of-free-software.html An analysis of free software from the perspective of Rousseau, his views on property, and the politics of societies. https://sbaziotis.com/non-cs/a-rousseauian-analysis-of-free-software.html Sun, 28 Jun 2026 07:04:00 -0500 https://sbaziotis.com/non-cs/philosophia-glossikis-proodou.html Η γλώσσα αναπόφευκτα προοδεύει και πρέπει να προοδεύει διότι σαν ανθρωπότητα δημιουργούμε νέες έννοιες, κι έτσι χρειαζόμαστε νέα σημαίνοντα για αυτές τις έννοιες. Σε αυτό το άρθρο εισάγω μία φιλοσοφία γλωσσικής προόδου. https://sbaziotis.com/non-cs/philosophia-glossikis-proodou.html Fri, 26 Jun 2026 02:15:00 -0500 https://sbaziotis.com/non-cs/l-amitie-et-l-amour.html Dans cet article je compare l’amitié et l’amour. On donne largement la priorité à l’amour, et ce n’est pas justifié, car seule l’amitié implique les plus hautes qualités de l’humanité, et celles-là seules. Les personnes qui sont d’accord avec moi sont peu nombreuses. La plupart prennent le parti pour l'un des deux côtés. Pour la priorité : Quelques personnes affirment qu’il y a des raisons pour donner la priorité à l’amour. Je soutiens que ces « raisons » ne sont pas justifiées. La priorité n’existe pas : De l’autre côté, où on trouve beaucoup de défenseurs, la position est que l’on ne donne pas la priorité à l’amour. Je soutiens que c’est incompatible avec les faits, et par conséquent, ce n’est pas justifié non plus. https://sbaziotis.com/non-cs/l-amitie-et-l-amour.html Thu, 25 Jun 2026 01:31:00 -0500 https://sbaziotis.com/non-cs/glossa-kai-flirt.html Η αναζήτησι της σαφήνειας μέσω της γλώσσας. https://sbaziotis.com/non-cs/glossa-kai-flirt.html Wed, 24 Jun 2026 02:12:00 -0500 https://sbaziotis.com/non-cs/the-you-can-do-it-too-narrative.html Luck, inequality, and bias in success. https://sbaziotis.com/non-cs/the-you-can-do-it-too-narrative.html Mon, 22 Jun 2026 17:03:00 -0500 https://sbaziotis.com/non-cs/eksousia-kai-glossa.html Οι Γλωσσολόγοι, τα Εγχειρίδιά τους και η Αφανής Εξουσία. https://sbaziotis.com/non-cs/eksousia-kai-glossa.html Sat, 20 Jun 2026 23:48:00 -0500 https://sbaziotis.com/non-cs/la-d%C3%A9g%C3%A9n%C3%A9rescence-de-la-fiabilit%C3%A9.html La fiabilité, sa définition, et sa dégénérescence. https://sbaziotis.com/non-cs/la-d%C3%A9g%C3%A9n%C3%A9rescence-de-la-fiabilit%C3%A9.html Thu, 18 Jun 2026 02:53:00 -0500 https://sbaziotis.com/non-cs/ta-alabournezika-twn-agglopathwn.html Ἡ χρήσι ἀγγλικῶν ὅρων καὶ τὸ Σύνδρομο τῆς Ἀγγλοπαθείας. https://sbaziotis.com/non-cs/ta-alabournezika-twn-agglopathwn.html Thu, 11 Jun 2026 03:42:00 -0500 https://sbaziotis.com/non-cs/wo-ziehen-sie-die-grenze.html Wo zieht man da die Grenze? Oft spielt es keine Rolle. https://sbaziotis.com/non-cs/wo-ziehen-sie-die-grenze.html Sun, 07 Jun 2026 23:59:00 -0500 https://sbaziotis.com/non-cs/quotes-showing-off-credit-construction-of-authorship.html Why do we use quotes? To show off? What about credit? And what is the role of authorship? https://sbaziotis.com/non-cs/quotes-showing-off-credit-construction-of-authorship.html Sat, 06 Jun 2026 00:04:00 -0500 https://sbaziotis.com/non-cs/reddit.html Reflections on the authoritarian personality of Reddit moderators. https://sbaziotis.com/non-cs/reddit.html Mon, 01 Jun 2026 22:23:00 -0500 https://sbaziotis.com/non-cs/de-la-personnalit%C3%A9-par-opposition-au-sujet-en-philosophie-et-dans-les-sciences-exactes.html La fixation avec la personnalité à la philosophie. https://sbaziotis.com/non-cs/de-la-personnalit%C3%A9-par-opposition-au-sujet-en-philosophie-et-dans-les-sciences-exactes.html Sun, 31 May 2026 05:50:00 -0500 https://sbaziotis.com/non-cs/epikairotis-1-greekonomics.html Ἕνας κριτικὸς σχολιασμὸς στὸ βίντεο τοῦ Greekonomics. https://sbaziotis.com/non-cs/epikairotis-1-greekonomics.html Wed, 27 May 2026 23:07:00 -0500 https://sbaziotis.com/in-the-midst-of-philosophy/contogeorgis-democracy-as-freedom.html A discussion about democracy, freedom, technology, and the evolution of societies. https://sbaziotis.com/in-the-midst-of-philosophy/contogeorgis-democracy-as-freedom.html Thu, 21 May 2026 22:38:00 -0500 https://sbaziotis.com/non-cs/the-banality-of-formal-writing.html This article proposes that formal writing is about form, not seriousness or propriety. https://sbaziotis.com/non-cs/the-banality-of-formal-writing.html Tue, 12 May 2026 16:24:00 -0500 https://sbaziotis.com/non-cs/hebergement.html Je décris la tristesse de l’hébergement aux États-Unis avec photos. https://sbaziotis.com/non-cs/hebergement.html Tue, 21 Apr 2026 21:25:00 -0500 https://sbaziotis.com/non-cs/rousseau-raison-conscience.html On compare la conception de la raison dans l’œuvre de Rousseau avec la notion de la conscience et son origine. https://sbaziotis.com/non-cs/rousseau-raison-conscience.html Thu, 19 Mar 2026 18:08:00 -0500 https://sbaziotis.com/non-cs/giati-milame-ellinika.html Ἐκτείνοντας τὴν κριτικὴ στὸ φυσικό της τέλος. https://sbaziotis.com/non-cs/giati-milame-ellinika.html Mon, 16 Mar 2026 06:59:00 -0500 https://sbaziotis.com/non-cs/on-pronouns.html On the solutions for gender-neutral pronouns. https://sbaziotis.com/non-cs/on-pronouns.html Fri, 06 Feb 2026 01:21:00 -0500 https://sbaziotis.com/compilers/having-fun-with-k-and-r-c.html We explore different aspects of C as it was compiled in Unix v7 on PDP-11 https://sbaziotis.com/compilers/having-fun-with-k-and-r-c.html Mon, 24 Nov 2025 11:55:00 -0500 https://sbaziotis.com/uncat/simulating-pdp-11-with-in-depth-explanations.html We learn the details of PDP-11 and Unix v7. https://sbaziotis.com/uncat/simulating-pdp-11-with-in-depth-explanations.html Mon, 24 Nov 2025 11:55:00 -0500 https://sbaziotis.com/databases/serializability-multi-object-multi-operation.html Why is serializability multi-object, multi-operation? https://sbaziotis.com/databases/serializability-multi-object-multi-operation.html Tue, 14 Oct 2025 23:07:00 -0500 https://sbaziotis.com/databases/building-and-debugging-postgres.html I collected useful information on how to build and debug Postgres in one place. https://sbaziotis.com/databases/building-and-debugging-postgres.html Wed, 08 Oct 2025 18:35:00 -0500 https://sbaziotis.com/non-cs/on-reading-books.html My requested two cents on reading books https://sbaziotis.com/non-cs/on-reading-books.html Sat, 20 Sep 2025 12:00:00 -0500 https://sbaziotis.com/non-cs/les-mots-francais-en-grec-2.html Deuxième partie de la série sur les mots français utilisés en grec, mais avec des sens un peu différents. https://sbaziotis.com/non-cs/les-mots-francais-en-grec-2.html Sat, 02 Aug 2025 09:22:00 -0500 https://sbaziotis.com/compilers/metap.html he metap package, and what meta-programming is and isn't https://sbaziotis.com/compilers/metap.html Mon, 21 Jul 2025 00:55:00 -0500 https://sbaziotis.com/non-cs/pos-oi-xatzifrageta-mas-ekanan-dianooumenous.html Γιὰ τὴν ἰδιαιτέρα γλῶσσα τῶν Χατζηφραγκέτα. https://sbaziotis.com/non-cs/pos-oi-xatzifrageta-mas-ekanan-dianooumenous.html Wed, 16 Jul 2025 04:36:00 -0500 https://sbaziotis.com/non-cs/les-mots-francais-en-grec.html Les mots français qui sont utilisés en grec, mais avec des sens un peu différents. https://sbaziotis.com/non-cs/les-mots-francais-en-grec.html Tue, 8 Jul 2025 11:57:00 -0500 https://www.pandas-rewriter.com/ We created an online Godbolt-like interface with which you can try Dias without downloading anything. https://www.pandas-rewriter.com/ Mon, 30 Jun 2025 15:09:00 -0500 https://adapt.cs.illinois.edu/projects/PandasBench.html We describe how we constructed the first benchmark for the Pandas API, and how we used it to evaluate modern Pandas optimization techniques. https://adapt.cs.illinois.edu/projects/PandasBench.html Wed, 18 Jun 2025 12:16:00 -0500 https://sbaziotis.com/in-the-midst-of-philosophy/federica-frabetti.html A discussion with the Cultural Studies expert and former software engineer Federica Frabetti on how software develops from the perspective of Continental Philosophy. https://sbaziotis.com/in-the-midst-of-philosophy/federica-frabetti.html Wed, 18 Jun 2025 23:43:00 -0500 https://sbaziotis.com/non-cs/the-curse-of-microlearning.html Perhaps surprisingly, your program won't (quite) crash and burn. https://sbaziotis.com/non-cs/the-curse-of-microlearning.html Sat, 17 May 2025 14:45:00 -0500 https://sbaziotis.com/compilers/what-happens-if-we-inline-everything.html Perhaps surprisingly, your program won't (quite) crash and burn. https://sbaziotis.com/compilers/what-happens-if-we-inline-everything.html Wed, 7 May 2025 15:10:00 -0500 https://sbaziotis.com/non-cs/on-hypocritical-writing-short-essay.html A unique way to approach non-fiction writing. https://sbaziotis.com/non-cs/on-hypocritical-writing-short-essay.html Sat, 3 May 2025 14:23:00 -0500 https://open.spotify.com/show/7zHdgtzzY2j7vIIlqryaEV?si=ijH_OqI2RlmW2e4gOQAkhw As you may know, I recently started a series of discussions with important figures from the fields of Philosophy, Technology, and Science. Up to now, these discussions have been available only on my Youtube channel. Now I also created a Spotify podcast: In the Midst of Philosophy. My discussion with Bill is already uploaded. Soon my discussion with Federica Frabetti will also be uploaded. I hope this podcast will make it even easier to engage with the discussions. https://open.spotify.com/show/7zHdgtzzY2j7vIIlqryaEV?si=ijH_OqI2RlmW2e4gOQAkhw Mon, 28 Apr 2025 09:30:00 -0500 https://www.youtube.com/watch?v=AH7DRQ8qgpE An improved recording of the Dias presentation to celebrate the recent Honorable Mention for the Best Artifact Award at SIGMOD 2024. https://www.youtube.com/watch?v=AH7DRQ8qgpE Fri, 25 Apr 2025 17:05:00 -0500 https://sbaziotis.com/non-cs/listening-to-your-own-music-short-essay.html Why listening to your own music is not weird. https://sbaziotis.com/non-cs/listening-to-your-own-music-short-essay.html Fri, 04 Apr 2025 17:55:00 -0500 https://sbaziotis.com/discussions/rapaport-discussion.html A discussion with the philosopher and computer scientist William J. Rapaport. https://sbaziotis.com/discussions/rapaport-discussion.html Wed, 02 Apr 2025 12:19:00 -0500 https://sbaziotis.com/non-cs/sinopoulou-stiegler.html Μία σύντομος ἔκθεσι γιὰ τὴν παγκοσμίου βεληνεκοῦς μετάφρασι τῆς κ. Σινοπούλου στὸ ἔργο τοῦ Στίγκλερ. https://sbaziotis.com/non-cs/sinopoulou-stiegler.html Sat, 22 Mar 2025 04:56:00 -0500 https://sbaziotis.com/non-cs/polytoniko.html Μία προσωπικὴ ὀπτικὴ γιὰ τὴν χρήση τοῦ πολυτονικοῦ. https://sbaziotis.com/non-cs/polytoniko.html Tue, 18 Mar 2025 00:23:00 -0500 https://sbaziotis.com/compilers/getting-started-with-compilers.html A guide and a list of resources to get started with compilers. https://sbaziotis.com/compilers/getting-started-with-compilers.html Thu, 13 Mar 2025 14:18:00 -0500 https://sbaziotis.com/non-cs/tempi.html A curated list of translated statements from politicians and journalists that have contributed to Greece's indignation. https://sbaziotis.com/non-cs/tempi.html Tue, 4 Mar 2025 16:18:00 -0600 https://sbaziotis.com/non-cs/glossari-karagatsi.html Glossary on the work of M. Karagatsis. https://sbaziotis.com/non-cs/glossari-karagatsi.html Sat, 22 Feb 2025 00:22:00 -0600 https://sbaziotis.com/performance/a-beginners-guide-to-vectorization-by-hand-part-4-convolution.html Part 4 of the Vectorization by Hand series. We apply everything we learned to vectorize convolution. https://sbaziotis.com/performance/a-beginners-guide-to-vectorization-by-hand-part-4-convolution.html Sat, 15 Feb 2025 15:47:00 -0600 https://sbaziotis.com/non-cs/short-essays-feb-2025.html On the value of a non-thesis CS master's in a top school in the US, Descartes' conception of infinity, Unified theories as a type of compression, Two interpretations of the rise of authoritarian regimes https://sbaziotis.com/non-cs/short-essays-feb-2025.html Wed, 12 Feb 2025 18:00:00 -0600 https://www.youtube.com/watch?v=nzHeAfgG84Y This presentation has 3 main themes, presented in order: (1) Query Interpretation, (2) Query Compilation / Code Generation, and (3) an overview of the paper: Query Compilation Without Regrets, which tries to reconcile the two. https://www.youtube.com/watch?v=nzHeAfgG84Y Tue, 17 Dec 2024 19:31:00 -0600 https://sbaziotis.com/compilers/common-misconceptions-about-compilers.html A curated list of misconceptions about mainstream compilers. https://sbaziotis.com/compilers/common-misconceptions-about-compilers.html Mon, 9 Dec 2024 12:00:00 -0600 https://sbaziotis.com/compilers/defining-all-undefined-behavior-and-leveraging-compiler-transformation-apis.html A serious consideration of the proposal to define all undefined behavior to the the platform's behavior. Then, I consider a vision of leveraging compiler transformation APIs. https://sbaziotis.com/compilers/defining-all-undefined-behavior-and-leveraging-compiler-transformation-apis.html Mon, 2 Dec 2024 12:00:00 -0600 https://sbaziotis.com/compilers/compiler-opt.html In this article, I'll explain compiler optimizations through a series of examples, focusing on what compilers do. https://sbaziotis.com/compilers/compiler-opt.html Sat, 16 Nov 2024 12:00:00 -0600 https://www.youtube.com/watch?v=SY9UWvtpKBM A video intro to program synthesis. It's an all-in-one intro covering: overview of Hoare logic, loops and verification conditions, using a program synthesizer (Sketch), and an in-depth explanation of CounterExample-Guided Inductive Program Synthesis. https://www.youtube.com/watch?v=SY9UWvtpKBM Mon, 4 Nov 2024 12:00:00 -0600