👋 Sign in for the ability to sort posts by relevant, latest, or top.
Mastering logical thinking for programming
Leetcode Solutions: Count Asterisks
Leetcode Solutions: Check If a Word Occurs As a Prefix of Any Word in a Sentence
Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?
The Most Unusual Programming Language
7 min read
Understanding programming concepts for non-programmers
100 Languages Speedrun: Episode 42: Prolog
Business logic in Rails with operators
The hardest thing I ever did explained as simply as possible.
Fun with Functional Programming!
How to be a newbie (without others realize it)
Code Generation (featuring Tikhon Jelvis)
Separate -ives and +ives maintaining their order
Certainty is a Programming Bug (featuring Hillel Wayne)
Untestable: testing compile-safe strategies via `dynamic`
Accumulators in Declarative Logic Programming
Why there is no NullPointerException in Declarative Programming
Variables in Declarative Programming
Let's Play Checkers with AI and Clojure
Extending Prolog - TerminusDB Discussion #10 55:41
Add two numbers without arithmetic operators 🙅♂️➕
Prolog: Acertijo del granjero, la cabra, el lobo y la col
Streamlining Conditional Statements with Logical Operators
9 Things You Should Practice for Logic Building
Continuation passing style in C#
Mathematics' Architecture & Processes for Programmers
The Curry-Howard Correspondence in C#: Part 2
The Curry-Howard Correspondence in C#
Becoming a logician with TypeScript
Building my dream recipe search in Prolog
Understand Logic and Boolean Algebra with De Morgan's law and Truth tables
How to improve my programing logic?
(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language
Bitwise Operations on your Fingers 🙌👩🏻💻
Types as propositions, programs as proofs
Dividing by zero
Dividing by zero
3 min read
Understanding the Monty Hall Problem
Testing logical equivalences (and more) using Z3 Theorem Prover
How close to the data you like to have your business logic operations?