Logic

yoanbello

Dec 9 '20

Solving Programming Challenges

#challenge #python #logic #reasoning

2

1 min read

Marianne

Nov 25 '20

Certainty is a Programming Bug (featuring Hillel Wayne)

#specification #logic #programming #modeling

4

14 min read

Tea

Nov 16 '20

Untestable: testing compile-safe strategies via `dynamic`

#testing #csharp #logic

6

3 min read

Patrik Mäsiar

Sep 16 '20

Learn algorithms

#java #algorightms #logic #programming

2

1 min read

James Liu

Sep 13 '20

Symbolic logic and programming

#ocaml #logic

2

1 min read

Arĥimedeς ℳontegasppα ℭacilhας

Aug 13 '20

Prolog Natural Numbers

#functional #logic #prolog

8 1

3 min read

Can Mingir for Nucleoid

Jun 26 '20

Why there is no NullPointerException in Declarative Programming

#declarative #programming #logic #node

6

2 min read

Can Mingir for Nucleoid

Jun 23 '20

Variables in Declarative Programming

#declarative #programming #logic #javascript

6

2 min read

Abhishek Keshri

May 3 '20

Add two numbers without arithmetic operators 🙅‍♂️➕

#leetcode #logic #problem #programming

6

3 min read

Bosley

Apr 2 '20

Actionable bitwise with C++

#cpp #bitwise #logic #bitset

7 2

5 min read

Fabian Quijosaca

Mar 28 '20

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

#prolog #riddle #logic

6

8 min read

Zen

Feb 22 '20

Apa itu korupsi?

#corrupt #algoritm #logic

7

1 min read

Slim Coder

Feb 6 '20

9 Things You Should Practice for Logic Building

#programming #slimcoder #logic

6 2

2 min read

Frankie

Sep 5 '19

Ways to control flow...

#boolean #logic #javascript

6

2 min read

Valerie Woolard

Jul 24 '19

Building my dream recipe search in Prolog

#prolog #logic #declarativeprogramming #programminglanguages

19 1

3 min read

tang

May 21 '19

Logic Gates: The Controlled Not

#boolean #logic #algorithms #puzzle

9

2 min read

paschal

Apr 20 '19

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

#webdev #computerscience #logic #javascript

55 2

4 min read

Budi Salah 🐋

Jan 22 '19

How to improve my programing logic?

#discuss #javascript #programing #logic

9 7

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

104 15

7 min read

Emily Cain (@data_bae)

Nov 29 '18

Bitwise Operations on your Fingers 🙌👩🏻‍💻

#bitwise #logic #binary #math

51 9

4 min read

Andrew (he/him)

Nov 19 '18

Compute Smart, Not Hard

#mathematics #puzzles #logic #optimization

17 13

2 min read

DrBearhands

Nov 15 '18

Types as propositions, programs as proofs

#functional #math #logic

39 7

7 min read

Rafik Naccache

Jun 12 '20

Let's Play Checkers with AI and Clojure

#ai #clojure #logic #games

27 1

11 min read

55:41

Cheuk Ting Ho 🐍 🥑 for TerminusDB Community

May 16 '20

Extending Prolog - TerminusDB Discussion #10

#prolog #logic #programming #talks

4

1 min read

Quinn Lashinsky

Mar 19 '20

Low-Level Logical Operations

#logic #gates #programming #coding

7

3 min read

Alex MacArthur

Mar 9 '20

Streamlining Conditional Statements with Logical Operators

#javascript #logic #programming #syntax

7

4 min read

Brian Berns

Jan 28 '20

Continuation passing style in C#

#csharp #dotnet #logic #functional

8

4 min read

Brian Berns

Jan 26 '20

Double negation in C#

#csharp #dotnet #logic #functional

17 8

4 min read

Risav

Jan 17 '20

Mathematics' Architecture & Processes for Programmers

#mathematics #logic #hypergraphs #calculus

6

4 min read

Brian Berns

Jan 10 '20

The Curry-Howard Correspondence in C#: Part 2

#csharp #dotnet #functional #logic

5 6

3 min read

Brian Berns

Dec 31 '19

The Curry-Howard Correspondence in C#

#csharp #dotnet #functional #logic

12 4

3 min read

Noah Trupin

Nov 22 '19

Programming with Logic

#functional #logic #productivity

6

5 min read

Naivedh

Nov 13 '19

Swastik Pattern in C++

#cpp #pattern #logic

4

2 min read

Mez Charney

Oct 30 '19

Anticipating User Input When Building a CLI App

#ruby #logic #cliapp

8

3 min read

Txus for codegram

Sep 17 '19

Becoming a logician with TypeScript

#typescript #typetheory #logic

5

5 min read

YairMorr

Jul 10 '19

CS101 —Python exercise: counting days between two dates

#logic #python #exercise #algorithms

4

4 min read

tang

May 22 '19

NAND2Tetris: The Magic of NAND

#nand2tetris #booleanalgebra #logic

5

4 min read

Alex K

Feb 26 '19

Consistently Logical

#haskell #theriddler #logic

6

8 min read

DrBearhands

Nov 17 '18

Dividing by zero

#functional #math #logic

12 4

3 min read

Micah Shute

Sep 21 '18

Understanding the Monty Hall Problem

#logic #math #problemsolving

24 7

8 min read

Donald Sebastian Leung

Sep 16 '18

Testing logical equivalences (and more) using Z3 Theorem Prover

#computerscience #discretemath #logic #smtsolvers

31 1

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

8 2

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

DEV Community is a community of 552,441 amazing developers

Log in to continue