DEV Community

loading...

# logic

👋 Sign in for the ability sort posts by top and latest.
Conditional logic with CSS – The CSS custom property trick.

Conditional logic with CSS – The CSS custom property trick.

Reactions 11 Comments 4
3 min read
Separate -ives and +ives maintaining their order

Separate -ives and +ives maintaining their order

Reactions 4 Comments 2
2 min read
Solving Programming Challenges

Solving Programming Challenges

Reactions 2 Comments
1 min read
Certainty is a Programming Bug (featuring Hillel Wayne)

Certainty is a Programming Bug (featuring Hillel Wayne)

Reactions 4 Comments
14 min read
Untestable: testing compile-safe strategies via `dynamic`

Untestable: testing compile-safe strategies via `dynamic`

Reactions 6 Comments
3 min read
Accumulators in Declarative Logic Programming

Accumulators in Declarative Logic Programming

Reactions 2 Comments
3 min read
Learn algorithms

Learn algorithms

Reactions 2 Comments
1 min read
Symbolic logic and programming

Symbolic logic and programming

Reactions 2 Comments
1 min read
Prolog Natural Numbers

Prolog Natural Numbers

Reactions 8 Comments 1
3 min read
Why there is no NullPointerException in Declarative Programming

Why there is no NullPointerException in Declarative Programming

Reactions 6 Comments
2 min read
Variables in Declarative Programming

Variables in Declarative Programming

Reactions 7 Comments
2 min read
Extending Prolog - TerminusDB Discussion #10 55:41

Extending Prolog - TerminusDB Discussion #10

Reactions 4 Comments
1 min read
Add two numbers without arithmetic operators 🙅‍♂️➕

Add two numbers without arithmetic operators 🙅‍♂️➕

Reactions 6 Comments
3 min read
Actionable bitwise with C++

Actionable bitwise with C++

Reactions 7 Comments 2
5 min read
Prolog: Acertijo del granjero, la cabra, el lobo y la col

Prolog: Acertijo del granjero, la cabra, el lobo y la col

Reactions 6 Comments
8 min read
Apa itu korupsi?

Apa itu korupsi?

Reactions 7 Comments
1 min read
9 Things You Should Practice for Logic Building

9 Things You Should Practice for Logic Building

Reactions 9 Comments 2
2 min read
The Curry-Howard Correspondence in C#

The Curry-Howard Correspondence in C#

Reactions 11 Comments 4
3 min read
Programming with Logic

Programming with Logic

Reactions 7 Comments
5 min read
Ways to control flow...

Ways to control flow...

Reactions 6 Comments
2 min read
Building my dream recipe search in Prolog

Building my dream recipe search in Prolog

Reactions 20 Comments 1
3 min read
NAND2Tetris: The Magic of NAND

NAND2Tetris: The Magic of NAND

Reactions 6 Comments
4 min read
Logic Gates: The Controlled Not

Logic Gates: The Controlled Not

Reactions 9 Comments
2 min read
Understand Logic and Boolean Algebra with De Morgan's law and Truth tables

Understand Logic and Boolean Algebra with De Morgan's law and Truth tables

Reactions 55 Comments 2
4 min read
How to improve my programing logic?

How to improve my programing logic?

Reactions 10 Comments 7
1 min read
(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language

(Less than) 12 Days of Prolog - A guide + brief review of the Prolog programming language

Reactions 104 Comments 15
7 min read
Bitwise Operations on your Fingers 🙌👩🏻‍💻

Bitwise Operations on your Fingers 🙌👩🏻‍💻

Reactions 51 Comments 9
4 min read
Compute Smart, Not Hard

Compute Smart, Not Hard

Reactions 17 Comments 13
2 min read
Types as propositions, programs as proofs

Types as propositions, programs as proofs

Reactions 39 Comments 7
7 min read
Understanding the Monty Hall Problem

Understanding the Monty Hall Problem

Reactions 18 Comments 7
8 min read
Finding Truth with Elm

Finding Truth with Elm

Reactions 10 Comments
6 min read
better conditional operator than javascript itself

better conditional operator than javascript itself

Reactions 8 Comments 2
1 min read
How close to the data you like to have your business logic operations?

How close to the data you like to have your business logic operations?

Reactions 11 Comments 23
1 min read
Let's Play Checkers with AI and Clojure

Let's Play Checkers with AI and Clojure

Reactions 27 Comments 1
11 min read
Low-Level Logical Operations

Low-Level Logical Operations

Reactions 7 Comments
3 min read
Streamlining Conditional Statements with Logical Operators

Streamlining Conditional Statements with Logical Operators

Reactions 7 Comments
4 min read
Continuation passing style in C#

Continuation passing style in C#

Reactions 8 Comments
4 min read
Double negation in C#

Double negation in C#

Reactions 17 Comments 8
4 min read
Mathematics' Architecture & Processes for Programmers

Mathematics' Architecture & Processes for Programmers

Reactions 6 Comments
4 min read
The Curry-Howard Correspondence in C#: Part 2

The Curry-Howard Correspondence in C#: Part 2

Reactions 5 Comments 6
3 min read
Swastik Pattern in C++

Swastik Pattern in C++

Reactions 4 Comments
2 min read
Anticipating User Input When Building a CLI App

Anticipating User Input When Building a CLI App

Reactions 8 Comments
3 min read
Becoming a logician with TypeScript

Becoming a logician with TypeScript

Reactions 5 Comments
5 min read
CS101 —Python exercise: counting days between two dates

CS101 —Python exercise: counting days between two dates

Reactions 4 Comments
4 min read
Consistently Logical

Consistently Logical

Reactions 6 Comments
8 min read
Dividing by zero

Dividing by zero

Reactions 12 Comments 4
3 min read
Testing logical equivalences (and more) using Z3 Theorem Prover

Testing logical equivalences (and more) using Z3 Theorem Prover

Reactions 31 Comments 1
6 min read
loading...