On related topic, C++'s templates are a good idea, but badly thought out.
Uncategorized
6
Posts
4
Posters
0
Views
-
On related topic, C++'s templates are a good idea, but badly thought out.
There should be a Prolog embedded into the template language.
-
On related topic, C++'s templates are a good idea, but badly thought out.
There should be a Prolog embedded into the template language.
@riley why Prolog? It’s good at like… theorem proving and asking questions but… general-purpose…
-
On related topic, C++'s templates are a good idea, but badly thought out.
There should be a Prolog embedded into the template language.
-
@riley why Prolog? It’s good at like… theorem proving and asking questions but… general-purpose…
-
@aburka Thanks! I'll need to give it a try.
-
undefined oblomov@sociale.network shared this topic on
-
@riley why Prolog? It’s good at like… theorem proving and asking questions but… general-purpose…
@Elizafox Well, yes, I want it to prove the theorem that my program is correct and no assertion ever fails.
Gli ultimi otto messaggi ricevuti dalla Federazione
-
@differx credo che anche il Corsera ne abbia parlato: https://www.corriere.it/cronache/26_febbraio_24/italo-bocchino-intervista-42857d36-8a28-4fc1-9f85-a389d03bfxlk.shtml
-
@carlux Difficile a morire: «sono segregato, ma duro».
-
Ma che ne è di Maduro? Tumulato in cella, e hanno buttato via la chiave?
(link con tracker)
-
RE: https://social.vivaldi.net/@marialeal/116127831503218445
@quinta
Fire, ma soprattutto fox
-
@diazona @marialeal I’m sure they asked ChatGPT to come up with a catch phrase and it picked Vivaldis (as pointed out in their response)
-
@asm @lea @marialeal calling Firefox okay is factually incorrect
-
@lysander @las_lallero mu dpiafr ms go oroblrni con ls tastieea
-
@lea @marialeal @asm vivaldi is especially bad because they brand themselves like an open source, privacy focused option, and then deliver nothing but a ui reskin and a disappointing builtin feed reader / mail client
