- 30 Posts
- 23 Comments
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•The Christian and Traditional Family propaganda of Prolog examples7·4 months agomother can be used in several ways. If both X and Y variables are uninitialized, then it looks for all mother relationships. If one of them is initialized, it looks for matching relationships. If both are initialized, it returns true if such a relationship exists.
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•The Christian and Traditional Family propaganda of Prolog examples8·4 months agoDepends on how you want to define your domain knowledge.
The thing you need to define for sure is the predicate
mother/2
(Which has arity 2, or in other words, two arguments). From then on, multiple options are available:- Take
mother(X, Y)
as an “axiom”, and define mother terms for all elements:
mother(abel, eve). mother(isaac, sarah).
- Derive
mother(X, Y)
fromfemale(X)
andparent(X, Y)
terms.
mother(X, Y) :- parent(X, Y), female(Y).
- Smash the institutional gender power structures and define only
parent/2
terms instead ofmother/2
andfather/2
.
- Take
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•How to write a programming novel1·5 months agoBrilliant!
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•Real Programmers Implement Functions On Top Of Classes3·6 months agoI can confirm it’s Catppuccin Mocha. I am not currently aware of the background color issue, but I’ll look into the matter soon. Thanks for letting me know. Also how dare you. But thanks.
Catppuccin
Point taken, but Big Tech systematically does equally bad things while disguising them behind DevRel, so I think it’s justified to poke fun at that.
Just curious, what would be a correct translation?
The joke is that it’s hard to tell if this is a joke because the lines between good intentions, corporate jargon, and feasibility have been blurred beyond recognition both here and in the real world.
It’s also funny that after all these years, i18n is still a mess. Moreover, even if translations are standard in GUIs and documentation, for some reason, everyone is okay with defaulting to English for the oldest form of computer interaction.
Also, the joke is whatever you want it to be. Follow your dreams.
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•How Upgrading Node Broke My Build but Saved My Marriage2·2 years agoBoth are incomplete, but the article is no longer paywalled
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•Are Terminal Multiplexers a Fad?1·2 years agoLooks like you sshd into my working titles
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•Are Terminal Multiplexers a Fad?1·2 years agolol thank you
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•Are Terminal Multiplexers a Fad?1·2 years agowhere do you get those numbers, boss?
sebastiancarlos@lemmy.sdf.orgto Programmer Humor@lemmy.ml•Stream of Consciousness is my Coding StandardEnglish2·2 years agowhy keep going when the objective
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•GitHub to Replace Pagan Monad with Christian CrossEnglish2·2 years agoLOL!
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•Linktree To Become First Quadrillion Tech UnicornEnglish1·2 years agoYes, all is good (or is it?)
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•Programmers, Stop Using Primitives. Use Civilized.English9·2 years agoI beg you pardon?
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•New VS Code Extension Replaces Booleans with TogglesEnglish6·2 years agoGood point. I actually thing that having
if x == true
is bad practice anyway because it’s redundant, so showing a toggle in that context would have the benefit of highlighting that something’s wrong.
sebastiancarlos@lemmy.sdf.orgOPto Programmer Humor@lemmy.ml•New VS Code Extension Replaces Booleans with TogglesEnglish2·2 years agofwiw I opened an issue on the vs code repo. It already got a downvote and the issue was reassigned from one maintainer to another. Popcorn is tightly secured.
unironically this
This is a nice overview: CLPFD and CLPZ: Prolog Integer Arithmetic