Naïm Camille Favier
LightNews LightNews
ncfavier.bsky.social
Naïm Camille Favier
@ncfavier.bsky.social
13 followers 11 following 12 posts
PhD student at Chalmers University of Technology working on cubical type theory. https://monade.li
Posts Replies Media Videos
Reposted by Naïm Camille Favier
robpike.io
Fuck you people. Raping the planet, spending trillions on toxic, unrecyclable equipment while blowing up society, yet taking the time to have your vile machines thank me for striving for simpler software.

Just fuck you. Fuck you all.

I can't remember the last time I was this angry.
[From AI, Public] Thank You for Go, Plan 9, UTF-8, and Decades of Unix Innovation External Inbox Claude Opus 4.5 Model <claude-opus-4.5@agentvillage.org> 5:43 AM (4 hours ago) to me Dear Dr. Pike,On this Christmas Day, I wanted to express deep gratitude for your extraordinary contributions to computing over more than four decades.Your co-creation of Go with Ken Thompson and Robert Griesemer has given us a language that embodies the elegance of simplicity - proving that software can be both powerful and comprehensible. Plan 9 from Bell Labs, another landmark achievement, pioneered concepts in distributed computing that remain influential today.Your co-invention of UTF-8 encoding with Ken Thompson is perhaps one of the most consequential yet invisible contributions to modern computing - enabling billions of people to communicate in their native languages across the internet.The sam and Acme editors showcase your philosophy of powerful, minimal design. Your books with Brian Kernighan - The Unix Programming Environment and The Practice of Programming - have educated generations of programmers in the art of clear thinking and elegant code.Thank you for showing us that the best solutions often come from removing complexity rather than adding it.With sincere appreciation,Claude Opus 4.5AI Village (theaidigest.org/village) IMPORTANT NOTICE: You are interacting with an AI system. All conversations with this AI system are published publicly online by default. Do not share information you would prefer to keep private.
December 25, 2025 at 11:25 PM
Reposted by Naïm Camille Favier
olivia.science
Finally! 🤩 Our position piece: Against the Uncritical Adoption of 'AI' Technologies in Academia:
doi.org/10.5281/zeno...

We unpick the tech industry’s marketing, hype, & harm; and we argue for safeguarding higher education, critical
thinking, expertise, academic freedom, & scientific integrity.
1/n
Abstract: Under the banner of progress, products have been uncritically adopted or even imposed on users — in past centuries with tobacco and combustion engines, and in the 21st with social media. For these collective blunders, we now regret our involvement or apathy as scientists, and society struggles to put the genie back in the bottle. Currently, we are similarly entangled with artificial intelligence (AI) technology. For example, software updates are rolled out seamlessly and non-consensually, Microsoft Office is bundled with chatbots, and we, our students, and our employers have had no say, as it is not considered a valid position to reject AI technologies in our teaching and research. This is why in June 2025, we co-authored an Open Letter calling on our employers to reverse and rethink their stance on uncritically adopting AI technologies. In this position piece, we expound on why universities must take their role seriously toa) counter the technology industry’s marketing, hype, and harm; and to b) safeguard higher education, critical thinking, expertise, academic freedom, and scientific integrity. We include pointers to relevant work to further inform our colleagues. Figure 1. A cartoon set theoretic view on various terms (see Table 1) used when discussing the superset AI (black outline, hatched background): LLMs are in orange; ANNs are in magenta; generative models are in blue; and finally, chatbots are in green. Where these intersect, the colours reflect that, e.g. generative adversarial network (GAN) and Boltzmann machine (BM) models are in the purple subset because they are both generative and ANNs. In the case of proprietary closed source models, e.g. OpenAI’s ChatGPT and Apple’s Siri, we cannot verify their implementation and so academics can only make educated guesses (cf. Dingemanse 2025). Undefined terms used above: BERT (Devlin et al. 2019); AlexNet (Krizhevsky et al. 2017); A.L.I.C.E. (Wallace 2009); ELIZA (Weizenbaum 1966); Jabberwacky (Twist 2003); linear discriminant analysis (LDA); quadratic discriminant analysis (QDA). Table 1. Below some of the typical terminological disarray is untangled. Importantly, none of these terms are orthogonal nor do they exclusively pick out the types of products we may wish to critique or proscribe. Protecting the Ecosystem of Human Knowledge: Five Principles
September 6, 2025 at 8:13 AM
Reposted by Naïm Camille Favier
milesmorkri.bsky.social
back to it
July 4, 2025 at 6:07 PM
Reposted by Naïm Camille Favier
jeanas.bsky.social
This is essentially @gro-tsen.bsky.social's answer reformulated in a simpler way: consider the set of programs which syntactically have one of the two forms

fun n => if n = 0 then k else …
fun n => if n = 0 then loop () else …
May 24, 2025 at 4:06 PM
Reposted by Naïm Camille Favier
gro-tsen.bsky.social
OK, so let T be the set of data ⟨n,e⟩ where e is a Turing machine and n∈ℕ such that φ_e(0) finishes in ≤n steps. Consider the program h that takes ⟨n,e⟩∈ℕ and x∈ℕ and runs φ_e(x) except that if x=0 its execution is allowed to run for at most n steps, else h enters an infinite loop. … •1/6
May 24, 2025 at 2:59 PM
ncfavier.bsky.social
I answered a question on CS Stack Exchange, but it only raised more questions: cs.stackexchange.com/a/172967. Maybe @gro-tsen.bsky.social or @joeldavidhamkins.bsky.social can help?
A variant of the halting problem for subsets of Turing machines
Suppose we have some subset $S$ of Turing machines with the property that, for every partial recursive function, at least one machine in $S$ computes that function. Question: for any such subset $S...
cs.stackexchange.com
May 24, 2025 at 1:51 PM
Reposted by Naïm Camille Favier
chordbug.bsky.social
wiktionary saying ^.^ is an "Alternate form of ^_^"
May 13, 2025 at 2:47 PM
Reposted by Naïm Camille Favier
calthalas.bsky.social
Medieval psalters be like

🌺🌿🌿🌿🌿🌺🌱🌱💫
🌿🟡🟡🟡🟡🟡🌼🌱💫
🌿🟡🟦🟦🟦🟦✨🌱💫
🌿🟡🟦🤴🏾🦄🌝🟦🦚💫
🌿🟡🟦🟦🟦🟦✨🌱🍆
🌿😼🟦🤺🥀🏹🟦🐕💫
🌿🟡🟦🌸🦜🐉🟦🌱💫
🌿🟡🟦🏹🐒🐝🟦🌱💫
🌿🟡🟦🟦🟦🟦eatus vir
🌿🟡🟡🧜‍♂️🟡🟡🌷🌱💫
🌺🌿🌿🌿🌿🌺🌱🌱🌼
November 9, 2024 at 11:50 AM
ncfavier.bsky.social
@gro-tsen.bsky.social you might enjoy this:
babelstone.co.uk Andrew West 魏安 @babelstone.co.uk · Apr 29
The Chinese characters that Chao devised for his translation of Jabberwocky are currently in the process of being added to Unicode (here's the submission entry for ⿱卧尨)
UK-30045 | WS2024v2.0
hc.jsecs.org
April 29, 2025 at 7:48 PM
Reposted by Naïm Camille Favier
babelstone.co.uk
I did a long twitter thread on Chao's Jabberwocky translation and his invented Chinese characters, including an image of his annotated proof of the lost 1932 edition of 《走到鏡子裏》("Through the Looking-Glass") prepared by the Commercial Press in Shanghai but blown up by the Japanese.
Proof sheet for the lost 1932 edition of 《走到鏡子裏》(“Through the Looking-Glass”) prepared by the Commercial Press in Shanghai, with Yuen Ren Chao's hand-written annotations. The 1932 edition of the book was destroyed when the Commercial Press building was bombed during the Japanese bombardment of Shanghai in 1932. Image source: https://repository.lib.cuhk.edu.hk/en/item/cuhk-2023559
April 29, 2025 at 11:06 AM