· @e7_87
25 followers · 33 posts · Server mathstodon.xyzChatGPT introduces me a branch of #theoreticalComputerScience called "#gameSemantics" today!
#gametheory #gamesemantics #theoreticalComputerScience
Clément Canonne · @ccanonne
1562 followers · 539 posts · Server mathstodon.xyz
Clément Canonne · @ccanonne
1549 followers · 516 posts · Server mathstodon.xyz
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
#ComputationalComplexity #tcs #theoreticalComputerScience #quantum
Clément Canonne · @ccanonne
1523 followers · 501 posts · Server mathstodon.xyzICYMI, 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_1
David 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
#talks #tcs #theoreticalComputerScience #datascience #algorithms
Clément Canonne · @ccanonne
1519 followers · 500 posts · Server mathstodon.xyzHey, 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 :)
#theoreticalComputerScience #arxiv #tcs
Clément Canonne · @ccanonne
1472 followers · 445 posts · Server mathstodon.xyzI have been making 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, they're all listed here:
https://ccanonne.github.io/weeklyquiz.html
#maths #theoreticalComputerScience #weaeklyquiz
Clément Canonne · @ccanonne
1400 followers · 377 posts · Server mathstodon.xyz
This season of TCS+, 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
#talks #seminars #theoreticalComputerScience
Catarina :mastodon_oops: · @catarinac
607 followers · 3354 posts · Server masto.ptTwo Postdoctoral Research Associate positions are available on the EPSRC-funded KidneyAlgo project: New Algorithms for UK and International Kidney Exchange.
One position is available at Durham, see 🔗https://durham.taleo.net/careersection/du_ext/jobdetail.ftl?job=22002075&lang=en&src=JB10200
One position is available at Glasgow, see 🔗 https://www.dcs.gla.ac.uk/~davidm/adverts/RA-advert.html The closing date is 30 January 2023. #Job #Maths #Mathematics #TheoreticalComputerScience #Algorithms
#job #maths #mathematics #theoreticalComputerScience #algorithms
Clément Canonne · @ccanonne
944 followers · 240 posts · Server mathstodon.xyzAlright, 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
#quiz #theoreticalComputerScience
Catarina Carvalho · @catarinac
484 followers · 1737 posts · Server masto.pt
9 PhD positions and 6 Postdoc positions in theoretical computer science, algebra, and logic to work on an amazing project, with great people. Spread the word!
#TheoreticalComputerScience #Maths #Mathematics #jobs
(now with Alt Text, which I messed up at the first attempt)
#theoreticalComputerScience #maths #mathematics #jobs
Catarina Carvalho · @catarinac
484 followers · 1734 posts · Server masto.pt
9 PhD positions and 6 Postdoc positions in theoretical computer science, algebra, and logic available in Vienna, Dresden and Prague for an amazing project to work with great people! Spread the word. #TheoreticalComputerScience #maths #mathodon #jobs
#theoreticalComputerScience #maths #mathodon #jobs
Dhruva Sambrani(Tech) · @dhruvasambrani
77 followers · 623 posts · Server fosstodon.orgLooking for a #PhD for 2023 #admissions in #quantumInformation #QuantumComputing #quantum #modelling #quantumWalks #search problems and interested in quantum #theoreticalComputerScience too! I am looking out for opportunities in #Europe especially in #maxplanckinstitute or in the #mcqst programs and #USA. I've a strong research background and a proficient at coding in #julialang. Do reply if you have leads on available positions. CV- https://dhruvasambrani.github.io/cv.pdf
#phd #admissions #quantuminformation #quantumcomputing #quantum #modelling #quantumWalks #search #theoreticalComputerScience #europe #maxplanckinstitute #mcqst #usa #julialang
aliivibrio · @aliivibrio
3 followers · 2 posts · Server mathstodon.xyzfollowing 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 #dungeonsynth
Interests!
Math: #categorytheory #logic #tesselations #theoreticalcomputerscience #polyhedra #abstractalgebra
Nature #ferns #fungi #slimemold #lichen #invertebrates
Other: #bicycling #swordandsorcery
#swordandsorcery #bicycling #invertebrates #lichen #slimemold #fungi #ferns #abstractalgebra #polyhedra #theoreticalComputerScience #tesselations #logic #categorytheory #dungeonsynth #sonicpi #livecoding #mbira #earlymusic #lute #guitar #rotjs #roguelike #pico8 #interactivefiction #twine #bitsy #typescript #clojure #idris #functionalprogramming #fsharp #csharp
· @Aarkon
546 followers · 7996 posts · Server metalhead.clubWhat I'm asking myself now (out of curiosity that is) is if there is a name for the problem of detecting infinity in inputs, and if there is any reduction of the halting problem to something as easy to explain as this.
#theoreticalComputerScience