Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in logic
Logic programming help
Sep 04, 2026
php
logic
How to prove forall n:nat, ~n<n in Coq?
Sep 02, 2026
logic
rocq-prover
Returning a value after a recursion in Prolog
Aug 31, 2026
prolog
logic
Basic identities of logical expressions and deriving logical expressions from truth table?
Sep 01, 2026
boolean
logic
expression
truthtable
Can anyone explain this bitwise function to compute log(n)
Sep 02, 2026
c
logic
bitwise-operators
how do I disable keyboard input when the video is playng?
Aug 30, 2026
video
logic
processing
Explain how typecasting works at the bit level from int to short in C
Aug 29, 2026
c
math
logic
bit-manipulation
bit
Multiply two numbers without using multiplication [closed]
Aug 29, 2026
javascript
data-structures
logic
Why does the compiler not recognize my return statements?
Aug 27, 2026
java
string
methods
boolean
logic
function to find out how many magic squares are in rectangle made of n*m, where n,m - natural numbers
Aug 27, 2026
algorithm
logic
magic-square
Short circuit evaluation and assigning either true or false to a variable
Aug 25, 2026
javascript
logic
operators
logical-operators
Programming logic best practice - redundant checks [closed]
Aug 25, 2026
php
coding-style
logic
Is a predicate with variable arity acceptable in Prolog?
Aug 23, 2026
prolog
logic
Can XOR be expressed using SKI combinators?
Aug 17, 2026
boolean
logic
lambda-calculus
combinators
combinatory-logic
Chunk Array into groups - what's wrong with my code?
Aug 15, 2026
javascript
arrays
algorithm
loops
logic
Standard boolean order of operation
Aug 13, 2026
javascript
boolean
logic
operator-precedence
The programming logic
Aug 10, 2026
javascript
logic
Azure ADF expression that returns either an existing array, or an empty array, based on a bool
Aug 09, 2026
logic
azure-data-factory
Older Entries »