https://abuseofnotation.github.io/boolean-thinking/ #BooleanLogic #ClearThought #CreativityConspiracy #DeepThoughtFail #BinaryCode #HackerNews #ngated
The case against boolean logic
https://abuseofnotation.github.io/boolean-thinking/
#HackerNews #booleanlogic #logic #debate #criticalthinking #techdiscussion
Three-Valued Logic: AND - OR With NULL?!
SQL has THREE truth values: TRUE, FALSE, and UNKNOWN (NULL)! AND/OR with NULL creates logic that breaks everything! Watch!
#sql #sqltricks #database #sqltutorial #threevaluedlogic #null #sqlquiz #codingchallenge #sqlshorts #sqlbugs #booleanlogic #sqlwtf
Any and All Functions: Boolean Logic SHORTCUTS!
Python's any() and all() vs PHP's loops - which is more elegant? This changes EVERYTHING!
#php #python #phpvspython #anyfunction #allfunction #booleanlogic #shortcircuit #viralcoding #pythonmagic #syntaxelegance #programmingtricks #mindblown
AND/OR With NULL Breaks Logic!
SQL boolean logic with NULL creates chaos! AND/OR operations with NULL give results that make NO sense. This is why queries fail! Watch now!
#sql #sqltricks #database #sqltutorial #booleanlogic #nullhandling #sqlquiz #codingchallenge #sqlshorts #sqlweird #databasequeries #sqlbugs
лмао, пригодилося
I just published a post on an interesting MSc thesis I supervised. Arvid Rydberg and Selina Sand Engberg took on the computational challenge of level-p-complexity (D_p(f)) of Boolean functions.
They optimised the algorithms using hash-consing & normalisation, and developed tools for exact calculations using algebraic numbers.
Details:
https://patrikja.owlstown.net/posts/4554
#Haskell #CompSci #BooleanLogic
I presented earlier work (from before this MSc thesis) at ICFP 2024: https://www.youtube.com/watch?v=mxDjPTDwbGE
A neat explanation:
“That XOR Trick” [2020], Florian Hartmann (https://florian.github.io//xor-trick/).
On HN: https://news.ycombinator.com/item?id=25821718 & https://news.ycombinator.com/item?id=44425880