#theoreticalcomputerscience — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #theoreticalcomputerscience, aggregated by home.social.
-
what's a good introductory video talk or text on coinduction and coinductive data types?
#typetheory #categorytheory #algebra #math #theoreticalComputerScience #recursion #FunctionalProgramming #coinduction
-
Ten advances in mathematics and theoretical computer science
https://openai.com/index/ten-advances-in-mathematics/
Comments: https://news.ycombinator.com/item?id=49157930
#HackerNews #mathematics #theoreticalcomputerscience #advancements #technology #innovation #research
-
Ten advances in mathematics and theoretical computer science
https://openai.com/index/ten-advances-in-mathematics/
Comments: https://news.ycombinator.com/item?id=49157930
#HackerNews #mathematics #theoreticalcomputerscience #advancements #technology #innovation #research
-
OpenAI Unveils Astra, AI Model That Solves Decade-Old Math Problems
Meet Astra, OpenAI's game-changing AI model that's cracking decade-old math problems that have stumped experts for years. This breakthrough tech has achieved ten major advances in mathematics and theoretical computer science, paving the way for new discoveries.
#ArtificialIntelligence #AiModel #Mathematics #TheoreticalComputerScience #Openai
-
OpenAI Unveils Astra, AI Model That Solves Decade-Old Math Problems
Meet Astra, OpenAI's game-changing AI model that's cracking decade-old math problems that have stumped experts for years. This breakthrough tech has achieved ten major advances in mathematics and theoretical computer science, paving the way for new discoveries.
#ArtificialIntelligence #AiModel #Mathematics #TheoreticalComputerScience #Openai
-
🚀 Ah, yes, the cutting-edge intersection of #mathematics and theoretical computer science, where progress apparently requires a PhD in browser settings. 🔧🍪 Who knew the future of #academia would be unlocked by enabling cookies? 🍪🔓
https://openai.com/index/ten-advances-in-mathematics/ #theoreticalComputerScience #browserSettings #cookies #HackerNews #ngated -
🚀 Ah, yes, the cutting-edge intersection of #mathematics and theoretical computer science, where progress apparently requires a PhD in browser settings. 🔧🍪 Who knew the future of #academia would be unlocked by enabling cookies? 🍪🔓
https://openai.com/index/ten-advances-in-mathematics/ #theoreticalComputerScience #browserSettings #cookies #HackerNews #ngated -
Ten advances in mathematics and theoretical computer science
https://openai.com/index/ten-advances-in-mathematics/
Comments: https://news.ycombinator.com/item?id=49132058
#HackerNews #mathematics #theoreticalcomputerscience #advances #innovation #research
-
Ten advances in mathematics and theoretical computer science
https://openai.com/index/ten-advances-in-mathematics/
Comments: https://news.ycombinator.com/item?id=49132058
#HackerNews #mathematics #theoreticalcomputerscience #advances #innovation #research
-
@LaurentFeuilloley The call for papers of the #MFCS2026 conference is now online at https://mfcs2026.irif.fr/#cfp
-
Two associate professor (maître·sse de conférences) positions will soon open at the department of computer science and IRIF (@IRIF) at Université Paris Cité. Applications with a background in theoretical computer science (including both `track A' and `track B') are sought. This is a great scientific environment in Paris, France.
🗓️Important dates:
1. Application deadline: Apr. 3, 2026 (16:00 CEST) on the French `odyssee' application platform
2. Notifications for interviews should be received on May 5. 2026
3. Interviews take place in May 18–19, 2026
4. Positions start on Sept. 1, 2026🔗 https://www.irif.fr/postes/universite
⚠️ Notes:
* Contact people at the department and at IRIF to prepare your application
* Don't forget to apply to both positions
* Some fluency in French is mandatory for these positions: if hired, you'll be teaching in front of a French-speaking class in September.#academicJobs #wearehiring #theoreticalComputerScience #campagne #esr #universite
-
Two associate professor (maître·sse de conférences) positions will soon open at the department of computer science and IRIF (@IRIF) at Université Paris Cité. Applications with a background in theoretical computer science (including both `track A' and `track B') are sought. This is a great scientific environment in Paris, France.
🗓️Important dates:
1. Application deadline: Apr. 3, 2026 (16:00 CEST) on the French `odyssee' application platform
2. Notifications for interviews should be received on May 5. 2026
3. Interviews take place in May 18–19, 2026
4. Positions start on Sept. 1, 2026🔗 https://www.irif.fr/postes/universite
⚠️ Notes:
* Contact people at the department and at IRIF to prepare your application
* Don't forget to apply to both positions
* Some fluency in French is mandatory for these positions: if hired, you'll be teaching in front of a French-speaking class in September.#academicJobs #wearehiring #theoreticalComputerScience #campagne #esr #universite
-
#Mathematics #GroupTheory #Algebra #TheoreticalComputerScience
In my study (a while ago) I learned about Σ Algebras (theoretical computer science).
Then later, I learnt in math there are σ Algebras, which seems sort of the same thing.
Today I'm curious about group theory, and groups are also sort of the same thing.Can anyone tell me what's the difference? Between Σ Algebras, σ Algebras, and groups?
-
#Mathematics #GroupTheory #Algebra #TheoreticalComputerScience
In my study (a while ago) I learned about Σ Algebras (theoretical computer science).
Then later, I learnt in math there are σ Algebras, which seems sort of the same thing.
Today I'm curious about group theory, and groups are also sort of the same thing.Can anyone tell me what's the difference? Between Σ Algebras, σ Algebras, and groups?
-
“Representation shapes what seems possible, even when no one says it out loud. I feel so incredibly lucky to have crossed paths with (...) incredible women.” - Surya Mathialagan
➡️ Find her full story at https://hermathsstory.eu/surya-mathialagan/
#Cryptography #USA #Math #PhD #TheoreticalComputerScience #hermathsstory
-
“Representation shapes what seems possible, even when no one says it out loud. I feel so incredibly lucky to have crossed paths with (...) incredible women.” - Surya Mathialagan
➡️ Find her full story at https://hermathsstory.eu/surya-mathialagan/
#Cryptography #USA #Math #PhD #TheoreticalComputerScience #hermathsstory
-
I wonder whether "fusion trees with multiple roots" exist
what I know after a quick search
- there is a bonsai technique concerning roots of fusion trees
- there is a minecraft modpack called fusion forest
- there is a company called b-forest
- there is a famous counter strike player named forest
- there is a subfield named forest informatics
- there is a greek thing named b dag
-
I wonder whether "fusion trees with multiple roots" exist
what I know after a quick search
- there is a bonsai technique concerning roots of fusion trees
- there is a minecraft modpack called fusion forest
- there is a company called b-forest
- there is a famous counter strike player named forest
- there is a subfield named forest informatics
- there is a greek thing named b dag
-
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.
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: … nothing.
BPP: … a randomly chosen output.
PP: … a majority output.
NP: … if any of the outputs is nonzero.
co-NP: … if all of the outputs are nonzero.
PSPACE: … a fixed point.#Math #Maths #Mathematics #ComputerScience #TheoreticalComputerScience #Quantum #QuantumComputing
-
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.
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: … nothing.
BPP: … a randomly chosen output.
PP: … a majority output.
NP: … if any of the outputs is nonzero.
co-NP: … if all of the outputs are nonzero.
PSPACE: … a fixed point.#Math #Maths #Mathematics #ComputerScience #TheoreticalComputerScience #Quantum #QuantumComputing
-
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.)
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)).
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.
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.
So, is there a nontrivial class of computable functions that has an unambiguously fastest-growing member?
-
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.)
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)).
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.
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.
So, is there a nontrivial class of computable functions that has an unambiguously fastest-growing member?
-
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.
https://simons.berkeley.edu/events/new-directions-property-testing-richard-m-karp-distinguished-lectureThe Karp Lectures are public lectures, meant for a broad, general #TheoreticalComputerScience audience. Registration is free, in person or online.
To check your time zone: https://timeanddate.com/worldclock/converter.html?iso=20240710T223000&p1=tz_pt&p2=240&p3=195&p4=179&p5=438&p6=236
-
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.
https://simons.berkeley.edu/events/new-directions-property-testing-richard-m-karp-distinguished-lectureThe Karp Lectures are public lectures, meant for a broad, general #TheoreticalComputerScience audience. Registration is free, in person or online.
To check your time zone: https://timeanddate.com/worldclock/converter.html?iso=20240710T223000&p1=tz_pt&p2=240&p3=195&p4=179&p5=438&p6=236
-
Call for papers for the LearnAut (#Learning and #Automata) 2024 workshop co-located with ICALP/LICS/FSCD!
Please consider submitting your work. 😊
"The aim of this workshop is to bring together experts on #FormalLanguageTheory that could benefit from #GrammaticalInference tools, and researchers in grammatical inference who could find new insights for their methods in #TheoreticalComputerScience. [...] We do accept submissions of work recently published, currently under review or work-in-progress."
-
📢 Next week (Wed 12/13) on TCS+: at 10am PT/1pm ET, Aaron Bernstein from Rutgers University will speak on "Negative-Weight Single-Source Shortest Paths in Near-linear Time." Join us for the last TCS+ talk of 2023! #Algorithms #TheoreticalComputerScience
Register (optional): https://docs.google.com/forms/d/e/1FAIpQLSdSrnuZ2jH8KGepSEJ0uz_iCRr7mJtMntIu6ZBsXIhhKovI6A/viewform
-
📢 Next week (Wed 12/13) on TCS+: at 10am PT/1pm ET, Aaron Bernstein from Rutgers University will speak on "Negative-Weight Single-Source Shortest Paths in Near-linear Time." Join us for the last TCS+ talk of 2023! #Algorithms #TheoreticalComputerScience
Register (optional): https://docs.google.com/forms/d/e/1FAIpQLSdSrnuZ2jH8KGepSEJ0uz_iCRr7mJtMntIu6ZBsXIhhKovI6A/viewform
-
📢 Next week (Wed 9/27) at 10:00am PT, Hanlin Ren from Oxford will give the first TCS+ talk of the season, on "Polynomial-Time Pseudodeterministic Construction of Primes." #TheoreticalComputerScience
Register (optional): https://docs.google.com/forms/d/e/1FAIpQLScenFfBzn6Kl45Y1reJAB08D1V4Sd_z0eQTgG76XsG4lpPV1w/viewform
-
📢 Next week (Wed 9/27) at 10:00am PT, Hanlin Ren from Oxford will give the first TCS+ talk of the season, on "Polynomial-Time Pseudodeterministic Construction of Primes." #TheoreticalComputerScience
Register (optional): https://docs.google.com/forms/d/e/1FAIpQLScenFfBzn6Kl45Y1reJAB08D1V4Sd_z0eQTgG76XsG4lpPV1w/viewform
-
Here's a really interesting (long) paper on what a theory of computing based on arbitrary physical substrates might look like: http://arxiv.org/abs/2307.15408
"Toward a formal theory for computing machines made out of whatever physics offers: extended version"
Herbert Jaeger, Beatriz Noheda, Wilfred G. van der Wiel (2023)
#NewPaper #TheoreticalComputerScience #neuromorphic #CogSci #CognitiveScience #VSA #VectorSymbolicArchitecture #HDC #HyperdimensionalComputing #AnalogComputing
-
Here's a really interesting (long) paper on what a theory of computing based on arbitrary physical substrates might look like: http://arxiv.org/abs/2307.15408
"Toward a formal theory for computing machines made out of whatever physics offers: extended version"
Herbert Jaeger, Beatriz Noheda, Wilfred G. van der Wiel (2023)
#NewPaper #TheoreticalComputerScience #neuromorphic #CogSci #CognitiveScience #VSA #VectorSymbolicArchitecture #HDC #HyperdimensionalComputing #AnalogComputing
-
Collective #math / #TheoreticalComputerScience memory question: Sometime in the last couple of months I followed a link from Masto to a blog post about computing (in the most general sense) defined as continuous rather than discrete mathematics. This blog post mentioned (with references) that having *partial* functions was essential for computation.
Now I can't find the blog post or references. Any pointers to works explaining why partial functions are essential to computation (or refutation) would be greatly appreciated.
-
Collective #math / #TheoreticalComputerScience memory question: Sometime in the last couple of months I followed a link from Masto to a blog post about computing (in the most general sense) defined as continuous rather than discrete mathematics. This blog post mentioned (with references) that having *partial* functions was essential for computation.
Now I can't find the blog post or references. Any pointers to works explaining why partial functions are essential to computation (or refutation) would be greatly appreciated.
-
ChatGPT introduces me a branch of #theoreticalComputerScience called "#gameSemantics" today!
-
Very nice and clear article by @benbenbrubaker on @QuantaMagazine, describing the meaning and implications of the latest advances regarding random #quantum circuit sampling:
https://www.quantamagazine.org/new-algorithm-closes-quantum-supremacy-window-20230109/Heck, I felt I understood something! #TheoreticalComputerScience #TCS #ComputationalComplexity
-
Very nice and clear article by @benbenbrubaker on @QuantaMagazine, describing the meaning and implications of the latest advances regarding random #quantum circuit sampling:
https://www.quantamagazine.org/new-algorithm-closes-quantum-supremacy-window-20230109/Heck, I felt I understood something! #TheoreticalComputerScience #TCS #ComputationalComplexity
-
ICYMI, there's been a series of online talks on "adversarially robust streaming #algorithms" on the Foundations of #DataScience virtual seminar series. The first 3 recordings are available:
https://sites.google.com/view/dstheory/past-talks_1David Woodruff on "Adversarially Robust Streaming Algorithms"
Edith Cohen "On Robustness to Adaptive Inputs: A Case Study of CountSketch"
Omri Ben-Eliezer on "Robust sampling and online learning"
(one or two more to come this semester!) #TheoreticalComputerScience #TCS #talks
-
ICYMI, there's been a series of online talks on "adversarially robust streaming #algorithms" on the Foundations of #DataScience virtual seminar series. The first 3 recordings are available:
https://sites.google.com/view/dstheory/past-talks_1David Woodruff on "Adversarially Robust Streaming Algorithms"
Edith Cohen "On Robustness to Adaptive Inputs: A Case Study of CountSketch"
Omri Ben-Eliezer on "Robust sampling and online learning"
(one or two more to come this semester!) #TheoreticalComputerScience #TCS #talks
-
Hey, that seems cool!* Zero-Knowledge proofs in the streaming setting (verifier has limited working memory, gets one pass over the input).
https://arxiv.org/abs/2301.02161
By Cormode, Dall’Agnol, @tomgur, and Hickey. #TCS #arXiv #TheoreticalComputerScience* Except for the default bright green color of the links, that is :)
-
Hey, that seems cool!* Zero-Knowledge proofs in the streaming setting (verifier has limited working memory, gets one pass over the input).
https://arxiv.org/abs/2301.02161
By Cormode, Dall’Agnol, @tomgur, and Hickey. #TCS #arXiv #TheoreticalComputerScience* Except for the default bright green color of the links, that is :)
-
Oh, polynomial3sat.org is down and the respective code on GitHub is removed. The corresponding paper on arXiv is still accessible. Does anyone know more about what happened?
https://arxiv.org/abs/1903.10081
#satsolving #complexitytheory #PequalsNP #compsci #theoreticalcomputerscience
-
Oh, polynomial3sat.org is down and the respective code on GitHub is removed. The corresponding paper on arXiv is still accessible. Does anyone know more about what happened?
https://arxiv.org/abs/1903.10081
#satsolving #complexitytheory #PequalsNP #compsci #theoreticalcomputerscience
-
I have been making an online #weaeklyquiz 📊 in #TheoreticalComputerScience and #maths for more than 3 years now: first on Twitter weekly, now fortnightly both there and here on Mastodon. If you're interested, all the #quiz threads and their answers are listed here:
https://ccanonne.github.io/weeklyquiz.html -
I have been making an online #weaeklyquiz 📊 in #TheoreticalComputerScience and #maths for more than 3 years now: first on Twitter weekly, now fortnightly both there and here on Mastodon. If you're interested, all the #quiz threads and their answers are listed here:
https://ccanonne.github.io/weeklyquiz.html -
This season of TCS+ has concluded, with 7 talks (including two Test-of-Time surveys), which you can (re)watch at will on the TCS+ website! https://tcsplus.org/welcome/past-talks/2022-2023 📽️
We're going to decide on next semester's speakers very soon, so if you have suggestions, please send them through: https://tcsplus.org/welcome/suggest-a-talk
See you next year, and Happy Holidays! 🎉 #TheoreticalComputerScience #seminars #talks
-
This season of TCS+ has concluded, with 7 talks (including two Test-of-Time surveys), which you can (re)watch at will on the TCS+ website! https://tcsplus.org/welcome/past-talks/2022-2023 📽️
We're going to decide on next semester's speakers very soon, so if you have suggestions, please send them through: https://tcsplus.org/welcome/suggest-a-talk
See you next year, and Happy Holidays! 🎉 #TheoreticalComputerScience #seminars #talks
-
Manuel Blum and I study #consciousness from a #TheoreticalComputerScience (TCS) perspective.
TCS is a branch of #mathematics concerned with understanding the underlying principles of #computation and #complexity, including the implications and surprising consequences of resource limitations.
For a TCS perspective on #consciousness, see, https://bit.ly/38zAhf6
For a TCS perspective on #FreeWill, see, https://arxiv.org/pdf/2206.13942.pdf -
Manuel Blum and I study #consciousness from a #TheoreticalComputerScience (TCS) perspective.
TCS is a branch of #mathematics concerned with understanding the underlying principles of #computation and #complexity, including the implications and surprising consequences of resource limitations.
For a TCS perspective on #consciousness, see, https://bit.ly/38zAhf6
For a TCS perspective on #FreeWill, see, https://arxiv.org/pdf/2206.13942.pdf -
Is there a canonical term for "either coinitial or composable #traces"? Concomitant? Adjacent? #TheoreticalComputerScience #CS
-
Alright, that's all for today. Please comment below if you have any questions, feedback, or comments on this #theoreticalcomputerscience #quiz!
And see you next week! 🏄
12/end
-
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: #Mathematics or #TheoreticalComputerScience or #Consciousness or #Philosophy or #AI or #Neuroscience or #Life ... (to be cont'd)
-
following intro up with some hashtags
Things I do actively!
Programming: #csharp #fsharp #functionalprogramming #idris #clojure #typescript
Gamedev: #bitsy #twine #interactivefiction #pico8 #roguelike #rotjs
Music: #guitar #lute #earlymusic #mbira #livecoding #sonicpi #dungeonsynthInterests!
Math: #categorytheory #logic #tessellations #theoreticalcomputerscience #polyhedra #abstractalgebra
Nature #ferns #fungi #slimemold #lichen #invertebrates
Other: #bicycling #swordandsorcery
