The new #ruby website is quite pretty, tho I miss the big claim of "what ruby is" from the old one
Uncategorized
1
Posts
1
Posters
0
Views
-
The new #ruby website is quite pretty, tho I miss the big claim of "what ruby is" from the old one.
I don't get why it requires JavaScript to load (and I see a loader) since it's static but I guess we lost that battle years ago.Also, the reply integration seems odd: either you are showing content and you want people to stay on the page or you want them to try the reply. Ending up on a different page because you want to see what the output of the examples is.. is odd
Feed RSS
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@las_lallero (ma stiamo parlando del manga degli anni '80? o c'è stato un remake che mi sono perso?)
-
@_elena @EUCommission AI-generated socks for everyone!
-
@aeva @morten_skaaning @lritter The Halting Problem is oversold.
1. It's not actually generally hard to prove whether any particular invocation will halt. (Just hard to give a single approach that works on everything.)
2. The HP is not even theoretically hard if you expand the set of valid answers to be { yes, no, not sure }
3. practically speaking, the answer is always yes because at some point there will be a sufficiently long power outage or, more likely, forced OS update
-
@mau @game @aitech Già, è così...
Sul gioco degli alberi, pianta-frutto, ha risposto "il fico". Su quella dell'uovo, ha risposto albume. Dicendo pure "non casco nel tranello del tuorlo!"
Qualche ignorantone potrebbe dire "la macchina è più intelligente di me"; in realtà è semplicemente uno stra-dannato modello che becca i pattern dall'Internet.
-
@morten_skaaning @lritter @rygorous can you check if it halts while you're at it?
-
@lritter @rygorous @aeva I talking about whether the outputs of the program are still useful, not whether syntax is correct
-
@MichelPatrice ça peut être utile: https://easydmarc.com/blog/what-is-dns-a-record-and-how-to-add-an-a-record-to-dns/
-
Dès que j'ai un peu de temps, je vais configurer ça manuellement, mais je vais devoir bien reviser toute la documentation de Yunohost (et de la tienne).
(Je l'avais déjà fait pour un Wordpress il y a deux ou trois ans et il me semble que ça avait été plutôt simple.)
