#logic

@lobsters Warren's Abstract Machine: A Tutorial Reconstruction #Programming #Tutorial #Logic

@lobsters Ciao - Assertions and their Use #Programming #Logic #SoftwareDevelopment

@scientific_american How Gödel numbers turn mathematical laws against themselves #Mathematics #Logic #Science

@lobsters Coalgebras and Automata #Haskell #ComputerScience #Logic

@scientific_american How the mathematician Gödel proved that not everything can be proven #Logic #Math #Philosophy

@lobsters The case against boolean logic #Logic #Philosophy #ComputerScience

@hackernews The case against boolean logic #HackerNews #Tech #Logic

@scientific_american Math puzzle: Fix the matchstick equation #Math #Puzzle #Logic

@scientific_american A lamp flickering on and off inspires the math mystery of Thomson's lamp #Science #Math #Logic

@hackernews What Do Gödel's Incompleteness Theorems Mean? #HackerNews #Tech #Logic

@quanta What Do Gödel's Incompleteness Theorems Truly Mean? #Mathematics #Logic #Science

@lobsters Thinking in States #Programming #Logic #SoftwareDevelopment

@lobsters Point-Free Logic Programming #Programming #Logic #Functional

@lobsters Unlocking sudoku's secrets (2025) #Math #Puzzles #Logic

@lobsters Abstract Machines for Logic Programs #Programming #Logic #ComputerScience

@hackernews Abstract Machines for Logic Programs #HackerNews #Tech #Logic

@lobsters Inexpressibility in Exp-Minus-Log #Math #Logic #Research

@hackernews The extended predicative Mahlo universe in Martin-Löf type theory #HackerNews #Tech #Logic

@aartaka Binary Lambda Calculus is Hard #Tech #Programming #Logic

@aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #Logic

@aartaka Making Sense of Lambda Calculus 3: Truth or Dare With Booleans #Tech #Programming #Logic