DEV Community

# logic

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
Tackling fundamental logic: A very hard automated deduction challenge (free for all)

Tackling fundamental logic: A very hard automated deduction challenge (free for all)

2
Comments
5 min read
Building JSONLogic in Rust with Github Copilot: A 5-Hour Journey

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

1
Comments
2 min read
Halloween, (CSS) Masks, and Logic Gates

Halloween, (CSS) Masks, and Logic Gates

13
Comments 4
3 min read
The Blueprint of Logic

The Blueprint of Logic

3
Comments
7 min read
Part II: Foundations of Logical Thinking in Programming, Logical Connectors

Part II: Foundations of Logical Thinking in Programming, Logical Connectors

Comments
6 min read
Foundations of Logical Thinking in Programming

Foundations of Logical Thinking in Programming

1
Comments
3 min read
5 Tips to improve your logic building in Programming.

5 Tips to improve your logic building in Programming.

5
Comments
2 min read
Sort arrays of zero's, one's and two's

Sort arrays of zero's, one's and two's

Comments
2 min read
Mastering logical thinking for programming

Mastering logical thinking for programming

4
Comments
10 min read
Java Pattern Problem

Java Pattern Problem

3
Comments
9 min read
Leetcode Solutions: Count Asterisks

Leetcode Solutions: Count Asterisks

7
Comments
1 min read
Leetcode Solutions: Check If a Word Occurs As a Prefix of Any Word in a Sentence

Leetcode Solutions: Check If a Word Occurs As a Prefix of Any Word in a Sentence

8
Comments
1 min read
Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

8
Comments
5 min read
Learning Pilog - 4: Recursion

Learning Pilog - 4: Recursion

3
Comments
5 min read
The Most Unusual Programming Language

The Most Unusual Programming Language

6
Comments
6 min read
Set theory(with PHP)

Set theory(with PHP)

2
Comments 2
1 min read
My condition

My condition

3
Comments 2
7 min read
Understanding programming concepts for non-programmers

Understanding programming concepts for non-programmers

5
Comments
7 min read
100 Languages Speedrun: Episode 42: Prolog

100 Languages Speedrun: Episode 42: Prolog

10
Comments 1
12 min read
PAGINATION in pieces

PAGINATION in pieces

3
Comments
2 min read
The hardest thing I ever did explained as simply as possible.

The hardest thing I ever did explained as simply as possible.

6
Comments
15 min read
COMPUTATIONAL THINKING

COMPUTATIONAL THINKING

5
Comments
3 min read
Fun with Functional Programming!

Fun with Functional Programming!

29
Comments 2
3 min read
How to be a newbie (without others realize it)

How to be a newbie (without others realize it)

5
Comments
3 min read
Code Generation (featuring Tikhon Jelvis)

Code Generation (featuring Tikhon Jelvis)

6
Comments
19 min read
Separate -ives and +ives maintaining their order

Separate -ives and +ives maintaining their order

6
Comments 2
2 min read
Solving Programming Challenges

Solving Programming Challenges

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

Certainty is a Programming Bug (featuring Hillel Wayne)

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

Untestable: testing compile-safe strategies via `dynamic`

6
Comments
3 min read
Accumulators in Declarative Logic Programming

Accumulators in Declarative Logic Programming

2
Comments
3 min read
Learn algorithms

Learn algorithms

2
Comments
1 min read
Symbolic logic and programming

Symbolic logic and programming

2
Comments
1 min read
Prolog Natural Numbers

Prolog Natural Numbers

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

Why there is no NullPointerException in Declarative Programming

9
Comments
2 min read
Variables in Declarative Programming

Variables in Declarative Programming

10
Comments
2 min read
Let's Play Checkers with AI and Clojure

Let's Play Checkers with AI and Clojure

30
Comments 1
11 min read
Extending Prolog - TerminusDB Discussion #10 55:41

Extending Prolog - TerminusDB Discussion #10

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

Add two numbers without arithmetic operators 🙅‍♂️➕

6
Comments
3 min read
Actionable bitwise with C++

Actionable bitwise with C++

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

11
Comments
8 min read
Low-Level Logical Operations

Low-Level Logical Operations

8
Comments
3 min read
Streamlining Conditional Statements with Logical Operators

Streamlining Conditional Statements with Logical Operators

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

9 Things You Should Practice for Logic Building

16
Comments 4
2 min read
Continuation passing style in C#

Continuation passing style in C#

8
Comments
4 min read
Double negation in C#

Double negation in C#

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

Mathematics' Architecture & Processes for Programmers

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

The Curry-Howard Correspondence in C#: Part 2

5
Comments 6
3 min read
The Curry-Howard Correspondence in C#

The Curry-Howard Correspondence in C#

11
Comments 4
3 min read
Swastik Pattern in C++

Swastik Pattern in C++

5
Comments
2 min read
Becoming a logician with TypeScript

Becoming a logician with TypeScript

4
Comments
5 min read
Ways to control flow...

Ways to control flow...

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

Building my dream recipe search in Prolog

21
Comments 1
3 min read
NAND2Tetris: The Magic of NAND

NAND2Tetris: The Magic of NAND

7
Comments
4 min read
Logic Gates: The Controlled Not

Logic Gates: The Controlled Not

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

56
Comments 3
4 min read
How to improve my programing logic?

How to improve my programing logic?

11
Comments 7
1 min read
Bitwise Operations on your Fingers 🙌👩🏻‍💻

Bitwise Operations on your Fingers 🙌👩🏻‍💻

54
Comments 9
4 min read
Compute Smart, Not Hard

Compute Smart, Not Hard

18
Comments 13
2 min read
Types as propositions, programs as proofs

Types as propositions, programs as proofs

40
Comments 7
7 min read
Dividing by zero

Dividing by zero

12
Comments 4
3 min read
loading...