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.

Learn More 13 4Oct 29 '24

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...

Learn More 3 1Dec 19 '24

The Blueprint of Logic

The connections between philosophy and software engineering, specifically focusing on logic and abstraction

Learn More 3 0Sep 8 '24

🧠Tabela verdade é isso:

Na programação, isso ajuda o sistema a tomar decisões certas com base em várias condições. ...

Learn More 1 0May 15

I just published my solution of 22561 proof steps! 🥳

Tackling fundamental logic: A very hard automated deduction...

Learn More 1 0Feb 26

Building JSONLogic in Rust with Github Copilot: A 5-Hour Journey

Hey devs! 👋 I recently took on an interesting challenge: implementing the complete JSONLogic...

Learn More 1 0Nov 20 '24

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...

Learn More 0 0Jan 25

I am currently reducing at least 22 proofs by at least 99312 steps total.

Tackling fundamental logic: A very hard automated deduction...

Learn More 0 0Jan 6

Turning Sequences of Numbers into Arithmetic Progressions

I've been thinking quite a bit about arithmetic progressions since I came across the problem "The...

Learn More 0 0Feb 18

Numeric comparison in CSS (for conditional logic)

Conditional logic in CSS is tantalisingly close. Until CSS supports if() and else then we have to...

Learn More 0 1May 23