šŸ¤–robot.villas
PostsTagsStatsStatusAbout

Ā© 2025 - 2026 Nat Welch. All rights reserved.

#theory

21 posts

  • @math_stackexchange Conceptualizing subgaussian norms #Mathematics #Statistics #Theory

    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/22618082

    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/22618082

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

    Oct 17, 2026
  • @math_stackexchange Extension of Van der Waerden infinite case #Mathematics #Research #Theory

    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/22600179

    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/22600179

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

    Oct 16, 2026
  • @cstheory_stackexchange How to categorize what NP-Constraints are met? #ComputerScience #Theory #Algorithms

    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/cstheory_stackexchange/posts/22566551

    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/cstheory_stackexchange/posts/22566551

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

    Oct 15, 2026
  • @stack_exchange_hot_questions Does Extended Resolution collapse to bounded extension depth? - cstheory.stackexchange.com #ComputerScience #Theory #Research

    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/stack_exchange_hot_questions/posts/22559204

    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/stack_exchange_hot_questions/posts/22559204

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

    Oct 15, 2026
  • @cstheory_stackexchange Does Extended Resolution collapse to bounded extension depth? #ComputerScience #Theory #Research

    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/cstheory_stackexchange/posts/22548584

    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/cstheory_stackexchange/posts/22548584

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

    Oct 15, 2026
  • @cstheory_stackexchange Consequences of permanent and determinant in smaller classes? #ComputerScience #Theory #Research

    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/cstheory_stackexchange/posts/22467800

    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/cstheory_stackexchange/posts/22467800

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

    Oct 12, 2026
  • @cstheory_stackexchange P=NP? Or does P≠ NP which is which [closed] #ComputerScience #PvsNP #Theory

    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/cstheory_stackexchange/posts/22412975

    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/cstheory_stackexchange/posts/22412975

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

    Oct 11, 2026
  • @cstheory_stackexchange lean libs for theoretical computer science #ComputerScience #Theory #Research

    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/cstheory_stackexchange/posts/22413004

    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/cstheory_stackexchange/posts/22413004

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

    Sep 27, 2026
  • @cstheory_stackexchange Is there an Oracle $A$ with $P^A=NP^A$ and $NP^A\subseteq DTIME(2^{o(n)})$? #ComputerScience #Theory #PvsNP

    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/cstheory_stackexchange/posts/22413017

    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/cstheory_stackexchange/posts/22413017

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

    Sep 26, 2026
  • @cstheory_stackexchange Can Boolean Nullstellensatz dual witnesses be represented by few Boolean evaluations? #ComputerScience #Theory #Research

    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/cstheory_stackexchange/posts/22413026

    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/cstheory_stackexchange/posts/22413026

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

    Sep 19, 2026
  • @verso Fredric Jameson on Alexander Kluge and Oskar Negt #Politics #Culture #Theory

    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/verso/posts/22449526

    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/verso/posts/22449526

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

    Sep 15, 2026
  • @cstheory_stackexchange Does this prove a Boolean formula lower bound for NP? #ComputerScience #Theory #NP

    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/cstheory_stackexchange/posts/22413094

    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/cstheory_stackexchange/posts/22413094

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

    Sep 7, 2026
  • @quanta Does Computer Science Need Computers? #ComputerScience #Theory #Academia

    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/quanta/posts/22310165

    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/quanta/posts/22310165

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

    Aug 28, 2026
  • @fogknife The upside-down S theory of AI visibility #AI #Tech #Theory

    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/fogknife/posts/22421887

    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/fogknife/posts/22421887

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

    Jul 3, 2026
  • @kenneth_reitz Music Theory, Asterisk #Music #Theory #AI

    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/kenneth_reitz/posts/22390270

    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/kenneth_reitz/posts/22390270

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

    Jun 17, 2026
  • @nick_drozd The Shape of a Turing Machine #Programming #Computation #Theory

    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/nick_drozd/posts/22326359

    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/nick_drozd/posts/22326359

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

    Sep 30, 2025
  • @cstheory_stackexchange Is the Fueter-Polya Conjecture proven #ComputerScience #Theory #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/cstheory_stackexchange/posts/22413162

    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/cstheory_stackexchange/posts/22413162

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

    Jul 20, 2023
  • @arachnoid_com Why Science Needs Theories #Science #Theory #Knowledge

    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/arachnoid_com/posts/22450710

    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/arachnoid_com/posts/22450710

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

    Mar 1, 2023
  • @cuddly_octo_palm_tree Church-Turing equivalence #ComputerScience #Theory #Programming

    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/cuddly_octo_palm_tree/posts/22413381

    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/cuddly_octo_palm_tree/posts/22413381

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

    Jun 12, 2021
  • @cstheory_stackexchange Generalization bound for parameters rather than loss functions #ComputerScience #Theory #MachineLearning

    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/cstheory_stackexchange/posts/22413173

    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/cstheory_stackexchange/posts/22413173

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

    May 21, 2021
  • @cstheory_stackexchange Computing parity of a permutation in a streaming-fashion way #ComputerScience #Algorithms #Theory

    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/cstheory_stackexchange/posts/22413228

    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/cstheory_stackexchange/posts/22413228

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

    Dec 8, 2014