Die (glaub' von @anneroth) in «"They Talk Tech" live mit Anne Roth» https://events.ccc.de/congress/2025/hub/event/detail/they-talk-tech-live-mit-anne-roth erwähnten @ChatonsOrg scheinen selbst am #39c3 zu sein 👍:

https://39c3.c3nav.de/l/interhack/

Is it just me, or is the #English #pronunciation of «formally» and «formerly» almost the same? How do people distinguish between the two in fields (such as proving stuff mathematically) where both can occur in the exactly same context?

#Haskell #opinion #poll:

Check all that you consider functions in Haskell. (The question is not whether you believe these exist in Haskell (all 4 do), but rather which ones (according to your opinion / your terminology use) are to be considered to be "functions".)

#functionalProgramming #opinionPoll #concept #mentalModel

I believe #GitLab issue https://gitlab.com/gitlab-org/gitlab/-/issues/324126 is important (not top-prio, but still important), but can't really put my finger on why. Can you help me come up with reasons so I can comment arguing for it to be reopened (and hopefully fixed)?

Maybe @yournameisinvalid can help? The #bug is about #fileName​s, not names of people, but I suspect there might be some overlap.

I'd refer to @spolsky's https://www.joelonsoftware.com/2003/10/08/the-absolute-minimum-every-software-developer-absolutely-positively-must-know-about-unicode-and-character-sets-no-excuses/, but I fear that might come across as condescending, which isn't my goal.

#TIL (today, I've learned), wie die «#SoftClose»-#Scharnier​e mancher #Klodeckel funktionieren. Clever!

https://www.wdrmaus.de/filme/sachgeschichten/klodeckel_mit_absenkautomatik.php5

Hallo Fediversum!

Obwohl ich bereits einen Account auf @das_g@en.osm.town hatte, bin ich #neuhier. 👋

#Vorstellung: Als #WiMa an einer 🎓Fachhochschule 👨‍🏫betreue ich Übungen & 👩‍🔧Praktika, 👨‍💻entwickle #Software und 👨‍🔬betreibe angewandte "#Forschung". In meiner Freizeit trage ich zu 🗺️#OpenStreetMap bei und lerne & spreche 💚#Esperanto. Ich interessiere mich für #funktionale_Programmierung & #funktionale_Programmiersprache|n wie #Haskell und für das :jugend_hackt: Beibringen des #Programmieren|s.

Saluton Fediverso!

Kvankam mi antaŭe havis konton ĉe @das_g@en.osm.town, mi estas 👋#nova_ĉi_tie.

#Sinprezento: Mi laboras kiel 👨‍🏫 #instruisthelpanto & 👨‍💻 #programisto/👨‍🔬"#esploristo" ĉe 🎓fakaltlernejo. Libertempe mi kontribuas al 🗺️ #OpenStreetMap kaj (evidente) mi estas 💚#Esperantisto. Mi interesiĝas interalie pri #funkciaj_programlingvoj kiel #Haskell kaj pri :jugend_hackt: #instruado de #programado.