# logic

10 min read

Readul Islam Niyon

Oct 11 '22

Java Pattern Problem

#pattern #problem #logic #java

9 min read

SalahElhossiny

Jul 2 '22

Leetcode Solutions: Count Asterisks

#logic #programming #leetcode #tutorial

1 min read

SalahElhossiny

Jul 1 '22

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

#python #leetcode #programming #logic

1 min read

Tomasz Wegrzanowski

Jun 14 '22

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

#z3 #math #logic

5 min read

Mia

Jun 13 '22

Learning Pilog - 4: Recursion

#picolisp #lisp #functional #logic

3

5 min read

Niklas Gruhn

Mar 20 '22

The Most Unusual Programming Language

#prolog #logic

6 min read

Luis "shadowtampa" Gomes

Feb 10 '22

Set theory(with PHP)

#php #logic #set #sheet

1 min read

Pato Z

Feb 2 '22

My condition

#memory #pirates #abstraction #logic

3

7 min read

George K.

Feb 1 '22

Understanding programming concepts for non-programmers

#programming #learning #thinking #logic

7 min read

Tomasz Wegrzanowski

Jan 1 '22

100 Languages Speedrun: Episode 42: Prolog

#prolog #logic

12 min read

Anunirva

Oct 8 '21

PAGINATION in pieces

#react #javascript #pagination #logic

3

2 min read

Petr Hlavicka

Oct 19 '21

Business logic in Rails with operators

#ruby #rails #logic #poro

27

13

6 min read

DrBearhands

Sep 5 '21

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

#functional #logic #idris

15 min read

Viktor Ilie

Aug 25 '21

COMPUTATIONAL THINKING

#algorithms #programming #computerscience #logic

3 min read

Nitin Reddy

Jul 4 '21

Fun with Functional Programming!

#functional #programming #javascript #logic

29

3 min read

Saulo Vargas

Jun 22 '21

How to be a newbie (without others realize it)

#think #resolve #javascript #logic

3 min read

Marianne

Apr 7 '21

Code Generation (featuring Tikhon Jelvis)

#programming #logic #smt #prolog

19 min read

Aastha Talwaria

Feb 7 '21

Separate -ives and +ives maintaining their order

#discuss #algorithms #javascript #logic

2 min read

yoanbello

Dec 9 '20

Solving Programming Challenges

#challenge #python #logic #reasoning

1 min read

Marianne

Nov 25 '20

Certainty is a Programming Bug (featuring Hillel Wayne)

#specification #logic #programming #modeling

10

14 min read

Tea

Nov 16 '20

Untestable: testing compile-safe strategies via `dynamic`

#testing #csharp #logic

3 min read

Montegasppα Cacilhας

Nov 4 '20

Accumulators in Declarative Logic Programming

#logic #prolog

3 min read

Patrik Mäsiar

Sep 16 '20

Learn algorithms

#java #algorightms #logic #programming

1 min read

James Liu

Sep 13 '20

Symbolic logic and programming

#ocaml #logic

1 min read

Montegasppα Cacilhας

Aug 13 '20

Prolog Natural Numbers

#functional #logic #prolog

3 min read

Can Mingir for Nucleoid

Jun 26 '20

Why there is no NullPointerException in Declarative Programming

#declarative #programming #logic #node

2 min read

Can Mingir for Nucleoid

Jun 23 '20

Variables in Declarative Programming

#declarative #programming #logic #javascript

10

2 min read

Rafik Naccache

Jun 12 '20

Let's Play Checkers with AI and Clojure

#ai #clojure #logic #games

29

11 min read

55:41

Cheuk Ting Ho 🐍 for TerminusDB Community

May 16 '20

Extending Prolog - TerminusDB Discussion #10

#prolog #logic #programming #talks

1 min read

Abhishek Keshri

May 3 '20

Add two numbers without arithmetic operators 🙅‍♂️➕

#leetcode #logic #problem #programming

3 min read

Bosley

Apr 2 '20

Actionable bitwise with C++

#cpp #bitwise #logic #bitset

5 min read

Fabian Quijosaca

Mar 28 '20

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

#prolog #riddle #logic

8 min read

Alex MacArthur

Mar 9 '20

Streamlining Conditional Statements with Logical Operators

#javascript #logic #programming #syntax

4 min read

Slim Coder

Feb 6 '20

9 Things You Should Practice for Logic Building

#programming #slimcoder #logic

16

2 min read

Brian Berns

Jan 28 '20

Continuation passing style in C#

#csharp #dotnet #logic #functional

4 min read

Brian Berns

Jan 26 '20

Double negation in C#

#csharp #dotnet #logic #functional

17

4 min read

Risav

Jan 17 '20

Mathematics' Architecture & Processes for Programmers

#mathematics #logic #hypergraphs #calculus

4 min read

Brian Berns

Jan 10 '20

The Curry-Howard Correspondence in C#: Part 2

#csharp #dotnet #functional #logic

3 min read

Brian Berns

Dec 31 '19

The Curry-Howard Correspondence in C#

#csharp #dotnet #functional #logic

11

3 min read

Txus for codegram

Sep 17 '19

Becoming a logician with TypeScript

#typescript #typetheory #logic

5 min read

ginger

Sep 5 '19

Ways to control flow...

#boolean #logic #javascript

2 min read

Valerie Woolard

Jul 24 '19

Building my dream recipe search in Prolog

#prolog #logic #declarativeprogramming #programminglanguages

21

3 min read

tang

May 22 '19

NAND2Tetris: The Magic of NAND

#nand2tetris #booleanalgebra #logic

4 min read

tang

May 21 '19

Logic Gates: The Controlled Not

#boolean #logic #algorithms #puzzle

2 min read

paschal

Apr 20 '19

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

#webdev #computerscience #logic #javascript

56

4 min read

Budi Salah 🐋

Jan 22 '19

How to improve my programing logic?

#discuss #javascript #programing #logic

11

1 min read

Donald Sebastian Leung

Dec 29 '18

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

#computerscience #discretemath #language #logic

114

15

7 min read

Emily Cain

Nov 29 '18

Bitwise Operations on your Fingers 🙌👩🏻‍💻

#bitwise #logic #binary #math

53

4 min read

Andrew (he/him)

Nov 19 '18

Compute Smart, Not Hard

#mathematics #puzzles #logic #optimization

18

13

2 min read

DrBearhands

Nov 15 '18

Types as propositions, programs as proofs

#functional #math #logic

40

7 min read

DrBearhands

Nov 17 '18

Dividing by zero

#functional #math #logic

12

3 min read

Micah Shute

Sep 21 '18

Understanding the Monty Hall Problem

#logic #math #problemsolving

18

8 min read

Donald Sebastian Leung

Sep 16 '18

Testing logical equivalences (and more) using Z3 Theorem Prover

#computerscience #discretemath #logic #smtsolvers

33

6 min read

1hko

Jul 21 '18

Finding Truth with Elm

#showdev #elm #logic #learning

10

6 min read

monsterooo

Jun 20 '18

better conditional operator than javascript itself

#react #statements #logic

1 min read

Juan C. Andreu

Nov 28 '17

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

#discuss #design #business #logic

11

23

1 min read

Quinn Lashinsky

Mar 19 '20

Low-Level Logical Operations

#logic #gates #programming #coding

3 min read

Naivedh

Nov 13 '19

Swastik Pattern in C++

#cpp #pattern #logic

2 min read

Mez Charney

Oct 30 '19

Anticipating User Input When Building a CLI App

#ruby #logic #cliapp