#cstheory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #cstheory, aggregated by home.social.
-
-
The Spring issue of the EATCS Bulletin is now available!
-
The Spring issue of the EATCS Bulletin is now available!
-
Finally, we have the preprint of a result I am so proud of:
http://arxiv.org/abs/2501.14899
It is about deciding some stuff about regular languages and logic. More precisely, if a language can be defined with first order formulas with a fixed number of quantifiers alternations.
It settles a problem open since 1978 :) and on which my PhD advisors and their advisors worked on.
-
Finally, we have the preprint of a result I am so proud of:
http://arxiv.org/abs/2501.14899
It is about deciding some stuff about regular languages and logic. More precisely, if a language can be defined with first order formulas with a fixed number of quantifiers alternations.
It settles a problem open since 1971 :) and on which my PhD advisors and their advisors worked on.
-
the videos for stoc are out. i heartily recommend checking out ian's talk:
https://www.youtube.com/watch?v=pWT4krti5bMthe two of us work in different subfields of cs theory but we spent a long time chatting about ways to make paper talk videos more engaging. i made an attempt at this with my own video last year, but ian takes it to an enviable new level. absolutely knocked it out of the park
-
the videos for stoc are out. i heartily recommend checking out ian's talk:
https://www.youtube.com/watch?v=pWT4krti5bMthe two of us work in different subfields of cs theory but we spent a long time chatting about ways to make paper talk videos more engaging. i made an attempt at this with my own video last year, but ian takes it to an enviable new level. absolutely knocked it out of the park
-
New position new #introduction
I am Sophie and I prove theorems about algorithms. My workplace is LIMOS in beautiful Clermont-Ferrand 🇫🇷 where I work as a CNRS researcher.
Mathematically speaking, I like convex polyhedra and mixed integer linear programming.
🏳️⚧️
#optimization #cstheory #orms -
New position new #introduction
I am Sophie and I prove theorems about algorithms. My workplace is LIMOS in beautiful Clermont-Ferrand 🇫🇷 where I work as a CNRS researcher.
Mathematically speaking, I like convex polyhedra and mixed integer linear programming.
🏳️⚧️
#optimization #cstheory #orms -
Your data structures deserve better. #rust #rustlang #programming #computing #cstheory
https://geeklaunch.io/blog/make-invalid-states-unrepresentable/
-
@benbenbrubaker @rrwilliams @tomgur @boazbaraktcs @joshuagrochow @ccanonne #CSTheory is an alternative to #TCS. No great alternative to #ComputationalComplexity that I can think of. Maybe #AlgoComplexity?
-
@benbenbrubaker @rrwilliams @tomgur @boazbaraktcs @joshuagrochow @ccanonne #CSTheory is an alternative to #TCS. No great alternative to #ComputationalComplexity that I can think of. Maybe #AlgoComplexity?
-
New manuscript on #arXiv: "Deterministic Incremental APSP with Polylogarithmic Update Time and Stretch". Joint work with Yasamin Nazari and Maximilian Probst Gutenberg
-
#introduction
Hi all! I am a postdoc at Columbia in NYC, doing theoretical computer science #tcs #CStheory and thinking about optimization #orms. -
#introduction
Hi all! I am a postdoc at Columbia in NYC, doing theoretical computer science #tcs #CStheory and thinking about optimization #orms.