Mastodawn

For over half a century now, computer scientists have been trying to mould #software development into an engineering discipline, without success. Software practice firmly remains an art form that does not yield to formalisation.

Software Engineering problem might well be a corollary of Hilbert’s #Entscheidungsproblem.

unknownbirds Jul 9, 2025

#entscheidungsproblem #tarotofthings #tarotcard #tarot

alexanderadam Jun 19, 2025

Every single talk that I saw from @rosa is just fantastic and highly recommended. 🤩

https://rosa.codes/machines2025/

#brightonruby #rubyconference #RubyProgramming #godelianriddle #goedelianriddle #hilbertsprogram #decidability #entscheidungsproblem #brightonruby2025 #turingmachine #smullyan #raymondsmullyan

Tina Jan 31, 2024

#WGSuche #NextFail #vegan #entscheidungsproblem

Ich frag mich grade, ob ich zuviele Ansprüche habe an Personen, mit denen man gemeinam leben möchte?
Ich meine, man teilt die Wohnräume miteinander, da sollte es doch irgendwo Schnittmengen in den Interessen geben oder?

Nachdem heute morgen aus einer Anfrage meinerseits auf eine vielversprechende Anzeige nix wurde, stelle ich mir selbst grade diese Frage bei meiner eigenen Suche nach Mitbewohnis. Bei der Anzeige, auf die ich geschrieben hatte, stand vegetarisch/vegan dabei, und zwar auch im Text. Dann gehe ich doch davon aus, dass dort kein Fleisch/Fisch gelagert/verzehrt wird oder? Stellt sich bei der Konversation dann raus, nee, wird doch Fleisch gegessen und gelagert.
Hä? Warum schreibt man das dann da rein? Es ist doch so schon schwer genug was zu finden.

Naja.... anyway:
Wenn ihr euch entscheiden müsstet zwischen zwei Ansprüchen, die ihr rausstreichen müsstet, welche von diesen beiden würdet ihr streichen?
1) gemeinsam kochen und einkaufen
2) vegane/vegetarische Person

Ich kann mich nicht entscheiden, finde beides auf Dauer nervig, wenn es nicht vorhanden wäre.
Aber offensichtlich muss etwas davon wegfallen. 😕