Articles by Tag #logic
Browse our collection of articles on various topics related to IT technologies. Dive in and explore something new!
Halloween, (CSS) Masks, and Logic Gates
I learned about CSS masks by replicating a nerdy Halloween meme with HTML and CSS... refreshing my knowledge of logic and logic gates in the process.
The Blueprint of Logic
The connections between philosophy and software engineering, specifically focusing on logic and abstraction
Tackling fundamental logic: A very hard automated deduction challenge (free for all)
Earlier this year, I created an open-ended logic puzzle that turned out to be quite a demanding...
I just published my solution of 22561 proof steps! 🥳
Tackling fundamental logic: A very hard automated deduction...
Building JSONLogic in Rust with Github Copilot: A 5-Hour Journey
Hey devs! 👋 I recently took on an interesting challenge: implementing the complete JSONLogic...
🧠Tabela verdade é isso:
Na programação, isso ajuda o sistema a tomar decisões certas com base em várias condições. ...
The 3 Ls of Quantum Physics Law Logic and Love
Explore the fascinating world of quantum physics through the lens of the 3 Ls - Law, Logic, and Love. Discover how these concepts intertwine to unravel the mysteries of the universe, from guessing playing cards to understanding the intricate dance of particles at the subatomic level.
I am currently reducing at least 22 proofs by at least 99312 steps total.
Tackling fundamental logic: A very hard automated deduction...
Numeric comparison in CSS (for conditional logic)
Conditional logic in CSS is tantalisingly close. Until CSS supports if() and else then we have to...
Part II: Foundations of Logical Thinking in Programming, Logical Connectors
Logical Connectors Introduction If you haven't read the previous article If you...
Turning Sequences of Numbers into Arithmetic Progressions
I've been thinking quite a bit about arithmetic progressions since I came across the problem "The...
My next contribution will take a few weeks longer. I am down to 25045 proof steps right now.
Tackling fundamental logic: A very hard automated deduction...