toad.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server operated by David Troy, a tech pioneer and investigative journalist addressing threats to democracy. Thoughtful participation and discussion welcome.

Administered by:

Server stats:

258
active users

#TheoreticalComputerScience

0 posts0 participants0 posts today
Bytes Europe<p>Indian‑origin professor wins Godel Prize for groundbreaking computer science work <a href="https://www.byteseu.com/1116058/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">byteseu.com/1116058/</span><span class="invisible"></span></a> <a href="https://pubeurope.com/tags/cryptography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>cryptography</span></a> <a href="https://pubeurope.com/tags/DavidZuckerman" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DavidZuckerman</span></a> <a href="https://pubeurope.com/tags/EshanChattopadhyay" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>EshanChattopadhyay</span></a> <a href="https://pubeurope.com/tags/G%C3%B6delPrize" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GödelPrize</span></a> <a href="https://pubeurope.com/tags/pseudorandomness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pseudorandomness</span></a> <a href="https://pubeurope.com/tags/RandomnessExtractor" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RandomnessExtractor</span></a> <a href="https://pubeurope.com/tags/Science" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Science</span></a> <a href="https://pubeurope.com/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://pubeurope.com/tags/Two" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Two</span></a>‑sourceExtractor</p>
Oscar Cunningham<p>People say it's a misconception that quantum computers can evaluate a function on all its possible inputs in parallel. But actually a lot of quantum algorithms do begin by applying a function to a superposition of all possible inputs. It's just that after that point you need to do some difficult linear algebra and you can't always extract the information you want.</p><p>In fact, you can define a lot of important complexity classes in this way. The set of problems solvable in polynomial time with an oracle that evaluates a given circuit on all its possible inputs and tells you …</p><p>P: … nothing.<br>BPP: … a randomly chosen output.<br>PP: … a majority output.<br>NP: … if any of the outputs is nonzero.<br>co-NP: … if all of the outputs are nonzero.<br>PSPACE: … a fixed point.</p><p><a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Maths</span></a> <a href="https://mathstodon.xyz/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> <a href="https://mathstodon.xyz/tags/ComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputerScience</span></a> <a href="https://mathstodon.xyz/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://mathstodon.xyz/tags/Quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Quantum</span></a> <a href="https://mathstodon.xyz/tags/QuantumComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuantumComputing</span></a></p>
UK<p><a href="https://www.europesays.com/uk/84163/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="">europesays.com/uk/84163/</span><span class="invisible"></span></a> Cisco Systems joins quantum computing race with new chip <a href="https://pubeurope.com/tags/CiscoSystems" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CiscoSystems</span></a> <a href="https://pubeurope.com/tags/ComputationalComplexityTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputationalComplexityTheory</span></a> <a href="https://pubeurope.com/tags/Computing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Computing</span></a> <a href="https://pubeurope.com/tags/Google" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Google</span></a> <a href="https://pubeurope.com/tags/ibm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ibm</span></a> <a href="https://pubeurope.com/tags/Internet" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Internet</span></a> <a href="https://pubeurope.com/tags/JensenHuang" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JensenHuang</span></a> <a href="https://pubeurope.com/tags/Microsoft" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Microsoft</span></a> <a href="https://pubeurope.com/tags/MicrosoftAzureQuantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MicrosoftAzureQuantum</span></a> <a href="https://pubeurope.com/tags/Nvidia" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Nvidia</span></a> <a href="https://pubeurope.com/tags/Quantinuum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Quantinuum</span></a> <a href="https://pubeurope.com/tags/QuantumComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuantumComputing</span></a> <a href="https://pubeurope.com/tags/QuantumCryptography" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuantumCryptography</span></a> <a href="https://pubeurope.com/tags/QuantumInformationScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuantumInformationScience</span></a> <a href="https://pubeurope.com/tags/QuantumNetwork" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuantumNetwork</span></a> <a href="https://pubeurope.com/tags/QuantumTeleportation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>QuantumTeleportation</span></a> <a href="https://pubeurope.com/tags/Quartz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Quartz</span></a> <a href="https://pubeurope.com/tags/Technology" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Technology</span></a> <a href="https://pubeurope.com/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://pubeurope.com/tags/UK" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UK</span></a> <a href="https://pubeurope.com/tags/UnitedKingdom" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>UnitedKingdom</span></a></p>
Stephan Schäperklaus<p>Solving P = NP would be a master key, but for what? <a href="https://mastodon.social/tags/PvsNP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PvsNP</span></a> <a href="https://mastodon.social/tags/ComplexityTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComplexityTheory</span></a> <a href="https://mastodon.social/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CyberSecurity</span></a> <a href="https://mastodon.social/tags/AIResearch" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AIResearch</span></a> <a href="https://mastodon.social/tags/Innovation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Innovation</span></a> <a href="https://mastodon.social/tags/FutureOfTech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FutureOfTech</span></a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://mastodon.social/tags/Optimization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Optimization</span></a> <a href="https://t.co/UjIYoASNgg" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">t.co/UjIYoASNgg</span><span class="invisible"></span></a></p>
Mark Gritter<p>Is there a meaningful way to characterize some "fastest growing function", subject to particular computational limitations? (I answered a question today that asked if all computable functions have polynomial bounds, which they obviously don't.)</p><p>We can't ask for the fastest-growing function in FP, because the composition of polynomial runtimes is polynomial. So if f(x) is in FP, so is the faster-growing f(f(x)).</p><p>Could we identify the fastest-growing function (using binary) in DTIME(n^2)? It seems like it would be something like "given an n-bit input, write n^2 1's after the input". So if the input was 2^a, we'd get 2^a * 2^(a^2) + (2^(a^2+1) - 1) as output.</p><p>But, strictly speaking, there would be a little bit of overhead meaning we couldn't do quite that well. The algorithm above is in DTIME(O(n^2)) but not DTIME(n^2). So it feels like there is a sequence of functions that converges on this one, but there might not be any best possible. And if we permit O(n^2) we're back to not having any fastest-growing function again because we can just slap bigger multiples on our allowed runtime.</p><p>So, is there a nontrivial class of computable functions that has an unambiguously fastest-growing member?</p><p><a href="https://mathstodon.xyz/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a></p>
Clément Canonne<p>This Karp Distinguished Lecture at at the Simons Institute by Rocco Servedio on July 10 on "New Directions in Property Testing" looks exciting! Rocco is a fantastic speaker.<br><a href="https://simons.berkeley.edu/events/new-directions-property-testing-richard-m-karp-distinguished-lecture" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">simons.berkeley.edu/events/new</span><span class="invisible">-directions-property-testing-richard-m-karp-distinguished-lecture</span></a></p><p>The Karp Lectures are public lectures, meant for a broad, general <a href="https://mathstodon.xyz/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> audience. Registration is free, in person or online.</p><p>To check your time zone: <a href="https://timeanddate.com/worldclock/converter.html?iso=20240710T223000&amp;p1=tz_pt&amp;p2=240&amp;p3=195&amp;p4=179&amp;p5=438&amp;p6=236" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">timeanddate.com/worldclock/con</span><span class="invisible">verter.html?iso=20240710T223000&amp;p1=tz_pt&amp;p2=240&amp;p3=195&amp;p4=179&amp;p5=438&amp;p6=236</span></a></p>
Ross Gayler<p>Here's a really interesting (long) paper on what a theory of computing based on arbitrary physical substrates might look like: <a href="http://arxiv.org/abs/2307.15408" rel="nofollow noopener" target="_blank"><span class="invisible">http://</span><span class="">arxiv.org/abs/2307.15408</span><span class="invisible"></span></a></p><p>"Toward a formal theory for computing machines made out of whatever physics offers: extended version"</p><p>Herbert Jaeger, Beatriz Noheda, Wilfred G. van der Wiel (2023)</p><p><span class="h-card"><a href="https://mas.to/@bnoheda" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>bnoheda</span></a></span> </p><p><a href="https://aus.social/tags/NewPaper" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NewPaper</span></a> <a href="https://aus.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://aus.social/tags/neuromorphic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>neuromorphic</span></a> <a href="https://aus.social/tags/CogSci" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CogSci</span></a> <a href="https://aus.social/tags/CognitiveScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CognitiveScience</span></a> <a href="https://aus.social/tags/VSA" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VSA</span></a> <a href="https://aus.social/tags/VectorSymbolicArchitecture" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>VectorSymbolicArchitecture</span></a> <a href="https://aus.social/tags/HDC" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HDC</span></a> <a href="https://aus.social/tags/HyperdimensionalComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HyperdimensionalComputing</span></a> <a href="https://aus.social/tags/AnalogComputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AnalogComputing</span></a></p>
Clément Canonne<p>Very nice and clear article by <span class="h-card"><a href="https://sciencemastodon.com/@benbenbrubaker" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>benbenbrubaker</span></a></span> on <span class="h-card"><a href="https://mstdn.social/@QuantaMagazine" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>QuantaMagazine</span></a></span>, describing the meaning and implications of the latest advances regarding random <a href="https://mathstodon.xyz/tags/quantum" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantum</span></a> circuit sampling: <br><a href="https://www.quantamagazine.org/new-algorithm-closes-quantum-supremacy-window-20230109/" rel="nofollow noopener" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">quantamagazine.org/new-algorit</span><span class="invisible">hm-closes-quantum-supremacy-window-20230109/</span></a></p><p>Heck, I felt I understood something! <a href="https://mathstodon.xyz/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://mathstodon.xyz/tags/TCS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TCS</span></a> <a href="https://mathstodon.xyz/tags/ComputationalComplexity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ComputationalComplexity</span></a></p>
Clément Canonne<p>I have been making online <a href="https://mathstodon.xyz/tags/weaeklyquiz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>weaeklyquiz</span></a> in <a href="https://mathstodon.xyz/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> and <a href="https://mathstodon.xyz/tags/maths" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>maths</span></a> for more than 3 years now: first on Twitter weekly, now fortnightly both there and here on Mastodon. If you're interested, they're all listed here: <br><a href="https://ccanonne.github.io/weeklyquiz.html" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ccanonne.github.io/weeklyquiz.</span><span class="invisible">html</span></a></p>
Lenore Blum<p>Manuel Blum and I study <a href="https://sigmoid.social/tags/consciousness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>consciousness</span></a> from a <a href="https://sigmoid.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> (TCS) perspective. <br> TCS is a branch of <a href="https://sigmoid.social/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> concerned with understanding the underlying principles of <a href="https://sigmoid.social/tags/computation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>computation</span></a> and <a href="https://sigmoid.social/tags/complexity" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>complexity</span></a>, including the implications and surprising consequences of resource limitations. <br> For a TCS perspective on <a href="https://sigmoid.social/tags/consciousness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>consciousness</span></a>, see, <a href="https://bit.ly/38zAhf6" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/38zAhf6</span><span class="invisible"></span></a> <br> For a TCS perspective on <a href="https://sigmoid.social/tags/FreeWill" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FreeWill</span></a>, see, <a href="https://arxiv.org/pdf/2206.13942.pdf" rel="nofollow noopener" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/pdf/2206.13942.pdf</span><span class="invisible"></span></a></p>
Lenore Blum<p>Hello everyone!👋 Newly arrived from the site that shall not be named. Miss my friends and all that I learned there. Would love 😍 to make new friends on @mastodon interested in: <a href="https://sigmoid.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematics</span></a> or <a href="https://sigmoid.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>TheoreticalComputerScience</span></a> or <a href="https://sigmoid.social/tags/Consciousness" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Consciousness</span></a> or <a href="https://sigmoid.social/tags/Philosophy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Philosophy</span></a> or <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> or <a href="https://sigmoid.social/tags/Neuroscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Neuroscience</span></a> or <a href="https://sigmoid.social/tags/Life" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Life</span></a> ... (to be cont'd)</p>
aliivibrio<p>following intro up with some hashtags</p><p>Things I do actively!</p><p>Programming: <a href="https://mathstodon.xyz/tags/csharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>csharp</span></a> <a href="https://mathstodon.xyz/tags/fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fsharp</span></a> <a href="https://mathstodon.xyz/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mathstodon.xyz/tags/idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>idris</span></a> <a href="https://mathstodon.xyz/tags/clojure" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>clojure</span></a> <a href="https://mathstodon.xyz/tags/typescript" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typescript</span></a><br>Gamedev: <a href="https://mathstodon.xyz/tags/bitsy" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bitsy</span></a> <a href="https://mathstodon.xyz/tags/twine" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>twine</span></a> <a href="https://mathstodon.xyz/tags/interactivefiction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>interactivefiction</span></a> <a href="https://mathstodon.xyz/tags/pico8" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>pico8</span></a> <a href="https://mathstodon.xyz/tags/roguelike" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>roguelike</span></a> <a href="https://mathstodon.xyz/tags/rotjs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rotjs</span></a><br>Music: <a href="https://mathstodon.xyz/tags/guitar" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>guitar</span></a> <a href="https://mathstodon.xyz/tags/lute" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lute</span></a> <a href="https://mathstodon.xyz/tags/earlymusic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>earlymusic</span></a> <a href="https://mathstodon.xyz/tags/mbira" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mbira</span></a> <a href="https://mathstodon.xyz/tags/livecoding" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>livecoding</span></a> <a href="https://mathstodon.xyz/tags/sonicpi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>sonicpi</span></a> <a href="https://mathstodon.xyz/tags/dungeonsynth" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>dungeonsynth</span></a></p><p>Interests!<br>Math: <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mathstodon.xyz/tags/tessellations" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>tessellations</span></a> <a href="https://mathstodon.xyz/tags/theoreticalcomputerscience" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theoreticalcomputerscience</span></a> <a href="https://mathstodon.xyz/tags/polyhedra" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>polyhedra</span></a> <a href="https://mathstodon.xyz/tags/abstractalgebra" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>abstractalgebra</span></a><br>Nature <a href="https://mathstodon.xyz/tags/ferns" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ferns</span></a> <a href="https://mathstodon.xyz/tags/fungi" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>fungi</span></a> <a href="https://mathstodon.xyz/tags/slimemold" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>slimemold</span></a> <a href="https://mathstodon.xyz/tags/lichen" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>lichen</span></a> <a href="https://mathstodon.xyz/tags/invertebrates" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>invertebrates</span></a><br>Other: <a href="https://mathstodon.xyz/tags/bicycling" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>bicycling</span></a> <a href="https://mathstodon.xyz/tags/swordandsorcery" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>swordandsorcery</span></a></p>