Konto erstellenAnmelden

Frühere Suchanfragen

Keine früheren Suchanfragen

Suchoptionen

Nur verfügbar, wenn angemeldet.
nrw.social ist einer von vielen unabhängigen Mastodon-Servern, mit dem du dich im Fediverse beteiligen kannst.
Wir sind eine freundliche Mastodon Instanz aus Nordrhein-Westfalen. Ob NRW'ler oder NRW-Sympathifanten, jeder ist hier willkommen.

Verwaltet von:

Serverstatistik:

2,8 Tsd.
aktive Profile

nrw.social: ÜberStatusProfilverzeichnisImpressum/Datenschutz

Mastodon: ÜberApp herunterladenTastenkombinationenQuellcode anzeigenv4.3.7

#theoreticalComputerScience

0 Beiträge0 Beteiligte0 Beiträge heute
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 noreferrer" target="_blank">#<span>PvsNP</span></a> <a href="https://mastodon.social/tags/ComplexityTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComplexityTheory</span></a> <a href="https://mastodon.social/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CyberSecurity</span></a> <a href="https://mastodon.social/tags/AIResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIResearch</span></a> <a href="https://mastodon.social/tags/Innovation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Innovation</span></a> <a href="https://mastodon.social/tags/FutureOfTech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FutureOfTech</span></a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://mastodon.social/tags/Optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Optimization</span></a> <a href="https://mastodon.social/tags/DigitalInfrastructure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>DigitalInfrastructure</span></a></p><p><a href="https://t.co/qgPMixQpt6" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">t.co/qgPMixQpt6</span><span class="invisible"></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 noreferrer" target="_blank">#<span>PvsNP</span></a> <a href="https://mastodon.social/tags/ComplexityTheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ComplexityTheory</span></a> <a href="https://mastodon.social/tags/CyberSecurity" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CyberSecurity</span></a> <a href="https://mastodon.social/tags/AIResearch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AIResearch</span></a> <a href="https://mastodon.social/tags/Innovation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Innovation</span></a> <a href="https://mastodon.social/tags/FutureOfTech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FutureOfTech</span></a> <a href="https://mastodon.social/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> <a href="https://mastodon.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://mastodon.social/tags/Optimization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Optimization</span></a> <a href="https://t.co/UjIYoASNgg" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">t.co/UjIYoASNgg</span><span class="invisible"></span></a></p>
Catarina :mastodon_oops:<p>PhD studentship availabe at <a href="https://masto.pt/tags/Durham" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Durham</span></a> University, <a href="https://masto.pt/tags/UK" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>UK</span></a>, for home students, to work on the boundaries of <a href="https://masto.pt/tags/Mathematics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Mathematics</span></a> and <a href="https://masto.pt/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoreticalComputerScience</span></a><br>on the project Promise CSPs: Structure and Complexity.<br>Durham is a great place to study :ablobcool: </p><p>🔗 <a href="https://andreikrokhin.webspace.durham.ac.uk/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">andreikrokhin.webspace.durham.</span><span class="invisible">ac.uk/</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 noreferrer" 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 noreferrer" target="_blank">@<span>bnoheda</span></a></span> </p><p><a href="https://aus.social/tags/NewPaper" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>NewPaper</span></a> <a href="https://aus.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoreticalComputerScience</span></a> <a href="https://aus.social/tags/neuromorphic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>neuromorphic</span></a> <a href="https://aus.social/tags/CogSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CogSci</span></a> <a href="https://aus.social/tags/CognitiveScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CognitiveScience</span></a> <a href="https://aus.social/tags/VSA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VSA</span></a> <a href="https://aus.social/tags/VectorSymbolicArchitecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>VectorSymbolicArchitecture</span></a> <a href="https://aus.social/tags/HDC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HDC</span></a> <a href="https://aus.social/tags/HyperdimensionalComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HyperdimensionalComputing</span></a> <a href="https://aus.social/tags/AnalogComputing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AnalogComputing</span></a></p>
Lenore Blum<p>Manuel Blum and I study <a href="https://sigmoid.social/tags/consciousness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>consciousness</span></a> from a <a href="https://sigmoid.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" 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 noreferrer" target="_blank">#<span>computation</span></a> and <a href="https://sigmoid.social/tags/complexity" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#<span>consciousness</span></a>, see, <a href="https://bit.ly/38zAhf6" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#<span>FreeWill</span></a>, see, <a href="https://arxiv.org/pdf/2206.13942.pdf" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#<span>Mathematics</span></a> or <a href="https://sigmoid.social/tags/TheoreticalComputerScience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TheoreticalComputerScience</span></a> or <a href="https://sigmoid.social/tags/Consciousness" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Consciousness</span></a> or <a href="https://sigmoid.social/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Philosophy</span></a> or <a href="https://sigmoid.social/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AI</span></a> or <a href="https://sigmoid.social/tags/Neuroscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Neuroscience</span></a> or <a href="https://sigmoid.social/tags/Life" class="mention hashtag" rel="nofollow noopener noreferrer" 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 noreferrer" target="_blank">#<span>csharp</span></a> <a href="https://mathstodon.xyz/tags/fsharp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fsharp</span></a> <a href="https://mathstodon.xyz/tags/functionalprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>functionalprogramming</span></a> <a href="https://mathstodon.xyz/tags/idris" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>idris</span></a> <a href="https://mathstodon.xyz/tags/clojure" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>clojure</span></a> <a href="https://mathstodon.xyz/tags/typescript" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typescript</span></a><br>Gamedev: <a href="https://mathstodon.xyz/tags/bitsy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bitsy</span></a> <a href="https://mathstodon.xyz/tags/twine" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>twine</span></a> <a href="https://mathstodon.xyz/tags/interactivefiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>interactivefiction</span></a> <a href="https://mathstodon.xyz/tags/pico8" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pico8</span></a> <a href="https://mathstodon.xyz/tags/roguelike" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>roguelike</span></a> <a href="https://mathstodon.xyz/tags/rotjs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rotjs</span></a><br>Music: <a href="https://mathstodon.xyz/tags/guitar" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>guitar</span></a> <a href="https://mathstodon.xyz/tags/lute" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lute</span></a> <a href="https://mathstodon.xyz/tags/earlymusic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>earlymusic</span></a> <a href="https://mathstodon.xyz/tags/mbira" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>mbira</span></a> <a href="https://mathstodon.xyz/tags/livecoding" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>livecoding</span></a> <a href="https://mathstodon.xyz/tags/sonicpi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sonicpi</span></a> <a href="https://mathstodon.xyz/tags/dungeonsynth" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dungeonsynth</span></a></p><p>Interests!<br>Math: <a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mathstodon.xyz/tags/tessellations" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>tessellations</span></a> <a href="https://mathstodon.xyz/tags/theoreticalcomputerscience" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoreticalcomputerscience</span></a> <a href="https://mathstodon.xyz/tags/polyhedra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>polyhedra</span></a> <a href="https://mathstodon.xyz/tags/abstractalgebra" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>abstractalgebra</span></a><br>Nature <a href="https://mathstodon.xyz/tags/ferns" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ferns</span></a> <a href="https://mathstodon.xyz/tags/fungi" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>fungi</span></a> <a href="https://mathstodon.xyz/tags/slimemold" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>slimemold</span></a> <a href="https://mathstodon.xyz/tags/lichen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lichen</span></a> <a href="https://mathstodon.xyz/tags/invertebrates" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>invertebrates</span></a><br>Other: <a href="https://mathstodon.xyz/tags/bicycling" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bicycling</span></a> <a href="https://mathstodon.xyz/tags/swordandsorcery" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>swordandsorcery</span></a></p>
EntdeckenLive-Feeds
Über