🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#logic

290 posts

  • @puzzling_stackexchange Place 6 crosses in a 3*3 grid such that no 3 crosses are in the same row, column or diagonal. #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22730613

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22730613

    Don't have an account? Find a server at joinmastodon.org

    Mar 9, 2026
  • @emi_h Wordle as a Two-Player Game #Games #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417411

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/emi_h/posts/22417411

    Don't have an account? Find a server at joinmastodon.org

    Mar 8, 2026
  • @veit_heller Simple Sudoku Solvers SII, EII: Carp #Programming #Software #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/veit_heller/posts/22326139

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/veit_heller/posts/22326139

    Don't have an account? Find a server at joinmastodon.org

    Feb 25, 2026
  • @oatmeal Constraint propagation for fun #Programming #ComputerScience #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/oatmeal/posts/22388568

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/oatmeal/posts/22388568

    Don't have an account? Find a server at joinmastodon.org

    Feb 8, 2026
  • @puzzling_stackexchange Five cards in order #Logic #Puzzles #BrainTeaser

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22584433

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22584433

    Don't have an account? Find a server at joinmastodon.org

    Dec 25, 2025
  • @puzzling_stackexchange Cryptosum Puzzle Creation #Puzzles #Logic #BrainTeasers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22516214

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22516214

    Don't have an account? Find a server at joinmastodon.org

    Dec 19, 2025
  • @works_in_progress The triumph of logical English #Language #Linguistics #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/works_in_progress/posts/22293322

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/works_in_progress/posts/22293322

    Don't have an account? Find a server at joinmastodon.org

    Nov 26, 2025
  • @aartaka Making Sense of Lambda Calculus 6: Recurring Problems #Tech #Programming #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172211

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172211

    Don't have an account? Find a server at joinmastodon.org

    Oct 29, 2025
  • @veit_heller Six Simple Sudoku Solvers III: Prolog #Programming #Prolog #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/veit_heller/posts/22326262

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/veit_heller/posts/22326262

    Don't have an account? Find a server at joinmastodon.org

    Sep 29, 2025
  • @nicole_tietz Proving that every program halts #ComputerScience #Programming #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nicole_tietz/posts/22443100

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nicole_tietz/posts/22443100

    Don't have an account? Find a server at joinmastodon.org

    Jun 23, 2025
  • @puzzling_stackexchange Same but from different point of views #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452666

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452666

    Don't have an account? Find a server at joinmastodon.org

    Jun 20, 2025
  • @math_stackexchange How to substitute a term for a bound variable in a quantified formula of first-order logic? #Mathematics #Logic #FormalLogic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22554673

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22554673

    Don't have an account? Find a server at joinmastodon.org

    Jun 17, 2025
  • @puzzling_stackexchange Making the connection #Puzzles #Logic #BrainTeasers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22535394

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22535394

    Don't have an account? Find a server at joinmastodon.org

    Jun 13, 2025
  • @mea_vita_carpe_diem Shared Proof Theory #Tech #Philosophy #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/mea_vita_carpe_diem/posts/22405821

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/mea_vita_carpe_diem/posts/22405821

    Don't have an account? Find a server at joinmastodon.org

    May 2, 2025
  • @puzzling_stackexchange I can do something impossible #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452674

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452674

    Don't have an account? Find a server at joinmastodon.org

    Mar 1, 2025
  • @puzzling_stackexchange Dig endlessly below treasure mark; turn head around, "Bah!" - round burning torch (7) #Puzzles #Riddles #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452681

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452681

    Don't have an account? Find a server at joinmastodon.org

    Feb 20, 2025
  • @puzzling_stackexchange Which letter knows how to stop spinning? #Puzzles #Riddles #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22731044

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22731044

    Don't have an account? Find a server at joinmastodon.org

    Feb 11, 2025
  • @puzzling_stackexchange Inside the box: A decade! #Puzzles #Logic #BrainTeaser

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452691

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452691

    Don't have an account? Find a server at joinmastodon.org

    Dec 22, 2024
  • @puzzling_stackexchange Which is larger? 999,999! or 2^(11!) #Math #Logic #Puzzles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22642413

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22642413

    Don't have an account? Find a server at joinmastodon.org

    Nov 21, 2024
  • @puzzling_stackexchange Overlap two Chess Games #Puzzles #Logic #Games

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22682329

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22682329

    Don't have an account? Find a server at joinmastodon.org

    Aug 12, 2024
  • @aartaka Making Sense of Lambda Calculus 3: Truth or Dare With Booleans #Tech #Programming #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172081

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/aartaka/posts/22172081

    Don't have an account? Find a server at joinmastodon.org

    Jun 12, 2024
  • @robin_neufeld The rules of Set #GameDesign #BoardGames #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/robin_neufeld/posts/22326670

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/robin_neufeld/posts/22326670

    Don't have an account? Find a server at joinmastodon.org

    Apr 23, 2024
  • @puzzling_stackexchange What's the missing number related to primes? #Math #Logic #Puzzles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22679077

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22679077

    Don't have an account? Find a server at joinmastodon.org

    Dec 23, 2023
  • @puzzling_stackexchange What are Relational, Naming and Petite words? #Puzzles #Language #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22489139

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22489139

    Don't have an account? Find a server at joinmastodon.org

    Dec 19, 2023
  • @puzzling_stackexchange Find the pattern of the sequence of prime numbers 17 23 5 1013 2027 13 #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22666644

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22666644

    Don't have an account? Find a server at joinmastodon.org

    Dec 10, 2023
  • @puzzling_stackexchange A Prime Ant's Excursion in the Cartesian Plane #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22697529

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22697529

    Don't have an account? Find a server at joinmastodon.org

    Nov 15, 2023
  • @james_stanley Taxonomy of locked room murders #Mystery #Logic #Puzzles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/james_stanley/posts/22428645

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/james_stanley/posts/22428645

    Don't have an account? Find a server at joinmastodon.org

    May 24, 2023
  • @puzzling_stackexchange How Many Magic Hexagons that use repeated digits? #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22642414

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22642414

    Don't have an account? Find a server at joinmastodon.org

    Mar 16, 2023
  • @liquidbrain Obviously Wrong #Essays #Community #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/liquidbrain/posts/22611794

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/liquidbrain/posts/22611794

    Don't have an account? Find a server at joinmastodon.org

    Mar 3, 2023
  • @puzzling_stackexchange A Riley, in Song! #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22624907

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22624907

    Don't have an account? Find a server at joinmastodon.org

    Dec 31, 2022
  • @puzzling_stackexchange Prime lights out #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22653527

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22653527

    Don't have an account? Find a server at joinmastodon.org

    Aug 3, 2022
  • @casey_primozic Logic Through the Lens of Neural Networks #MachineLearning #AI #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/casey_primozic/posts/22412748

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/casey_primozic/posts/22412748

    Don't have an account? Find a server at joinmastodon.org

    Jul 19, 2022
  • @puzzling_stackexchange More stepping stones #Puzzles #Logic #BrainTeasers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22697533

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22697533

    Don't have an account? Find a server at joinmastodon.org

    Mar 29, 2022
  • @puzzling_stackexchange Dissecting a figure into three congruent parts in three different ways #Puzzles #Geometry #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452700

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22452700

    Don't have an account? Find a server at joinmastodon.org

    Oct 27, 2021
  • @nic_crane Three Valued Logic #Logic #DataScience #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nic_crane/posts/22442184

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/nic_crane/posts/22442184

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2021
  • @math_stackexchange Is it possible to generate all sequences of '0' and '1' using only these 4 rules? #Mathematics #Logic #ComputerScience

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22642784

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22642784

    Don't have an account? Find a server at joinmastodon.org

    Jan 2, 2021
  • @puzzling_stackexchange Puzzle regarding emptying of cup! #Puzzles #Logic #BrainTeasers

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22674018

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22674018

    Don't have an account? Find a server at joinmastodon.org

    Nov 5, 2020
  • @math_stackexchange Is Smetanich's logic the second from the top in the lattice of intermediate logics? #Mathematics #Logic #Academic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22769113

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22769113

    Don't have an account? Find a server at joinmastodon.org

    Oct 1, 2020
  • @puzzling_stackexchange Even and primes puzzle? #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22665538

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22665538

    Don't have an account? Find a server at joinmastodon.org

    Sep 30, 2020
  • @puzzling_stackexchange A robot making increasing steps #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22767878

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22767878

    Don't have an account? Find a server at joinmastodon.org

    Sep 25, 2020
« NewerOlder »