Reposted by Pavel VeselýGrant @syncingsinking.bsky.social · 10/09/2026This is just to say I have solved the open questions that were in your paper and which you were probably saving for your phd students Forgive me they were delicious so incentive-laden and followed so readily once your postdoc's drafts mysteriously found their way into my training data 4356115
Reposted by Pavel VeselýLance Fortnow @lance.fortnow.com · 19/08/2026Back to our regularly scheduled programming. Has any noticed that AI is getting much better at math?blog.computationalcomplexity.orgCentaur MathIn the past, new PhD students would ask how they could succeed when they had to compete with the likes of say, Richard Karp or Avi Wigderson... 0102
Reposted by Pavel VeselýItai Yanai @itaiyanai.bsky.social · 14/08/2026If you’re letting AI do a review of a manuscript for you, just know that (A) it’s super obvious to anyone reading it, (B) it’s dishonest - as you’re explicitly instructed not to do so, and (C) it’s careless - because you’re uploading someone’s confidential material to an AI app. 1409
Reposted by Pavel VeselýClément Canonne @ccanonne.github.io · 01/08/2026"We're all worried," as what it means to do research (in my field, Theoretical CS) seems to be shifting, and shifting fast. What to do? Senior researchers must lead by example, knowing that not everything will pan out. What I'm suggesting below may not work everywhere, but here's my own advice: 1/ 620351
Reposted by Pavel VeselýClément Canonne @ccanonne.github.io · 27/05/2026The #STOC2026 TheoryFest will include an online poster session, held on Gather.Town, for those unable to attend in person! Details, and how to submit a poster: acm-stoc.org/stoc2026/cal... (Deadline ⏰ Friday, June 12) An initiative led by Ian Mertz and Ninad Rajgopal!acm-stoc.orgSTOC 2026 Online Poster Session 0145
Reposted by Pavel Veselýrecombseq.bsky.social @recombseq.bsky.social · 18/04/2026Two more days to submit your abstract for a short talk or poster at RECOMB-Seq 2026. See instructions at recomb-seq.github.io/seq2026/call... 0107
Reposted by Pavel VeselýTom Gur @tomgur.bsky.social · 25/02/2026Postdoc position in Cambridge with Julia Wolf: Julia is a phenomenal researcher and a wonderful collaborator. She is advertising a 2-year postdoc in additive combinatorics and model theory. Closing date: 16 March. Details: jobs.ac.uk/job/DQP803/postdoctoral-research-associate-fixed-termjobs.ac.ukPostdoctoral Research Associate (Fixed Term) at University of CambridgeExplore an exciting academic career as a Postdoctoral Research Associate (Fixed Term). Don't miss out on other academic jobs. Click to apply and explore more opportunities. 033
Reposted by Pavel VeselýKate from Kharkiv @kateinkharkiv.bsky.social · 06/02/2026Today the winter Olympics open. Russia and Belarus are allowed to participate under neutral flag. Picture by Gatis Šļūka 331078457
Reposted by Pavel VeselýHeng Li @lh3lh3.bsky.social · 14/01/2026I am looking for a postdoc to develop high-performance algorithms in computational genomics. Email or DM me if interested. For more information, see hlilab.github.io/vacancies. RTs appreciated!hlilab.github.ioHLi Lab - VacanciesOpenings 14363
Reposted by Pavel Veselýдблп - ☮ Stop the war! @dblp.org · 18/12/2025The #dblp computer science bibliography faces a strong demand. But its net budget is shrinking. This is why we humbly ask for your kind support in the form of a donation to Schloss #Dagstuhl LZI. Learn more or donate here: www.dagstuhl.de/en/dblp/donate Thank you very much! 054
Pavel Veselý @pavelvesely.bsky.social · 08/12/2025Thanks @brinda.eu for the nice sketch of our work with Ondřej Sladký! 👇 020
Reposted by Pavel VeselýKarel Břinda @brinda.eu · 05/12/20251/9 Just out: k-mer indexes are the backbone of fast search in genomic data, but many degrade under small k, subsampling, or high diversity. With Ondřej Sladký and @pavelvesely.bsky.social we asked: can we build one that works efficiently for any k-mer set? 12713
Reposted by Pavel VeselýBioinformatics Advances @bioinfoadv.bsky.social · 05/12/2025🧮 Just out in Bioinformatics Advances: “FroM Superstring to Indexing: A space-efficient index for unconstrained k-mer sets using the Masked Burrows-Wheeler Transform (MBWT)” Full article available: doi.org/10.1093/bioadv/vbaf290 Authors include: @pavelvesely.bsky.social, @brinda.eu 1113
Reposted by Pavel VeselýbioRxiv Bioinfo @biorxiv-bioinfo.bsky.social · 26/11/2025Optimized k-mer search across millions of bacterial genomes on laptops www.biorxiv.org/content/10.1101/202… 02613
Reposted by Pavel VeselýDr. Petr Brož @chmee2.bsky.social · 06/11/2025Ubohost Tohle jedno slovo nejlépe vystihuje počin jednoho z nově zvolených ústavních činitelů téhle země Začít mandát tím, že sundáte ukrajinskou vlajku z budovy pěkně ilustruje to, o co mu jde. Nikoliv o zlepšení téhle země, ale jen o rozdmýchávání vášní Co s tím? Já si koupil drona 5987
Pavel Veselý @pavelvesely.bsky.social · 02/10/2025During the next two months, I will have two long talks about streaming algorithms / data sketching for high-school students. Did you give a similar talk? What was your experience? 110
Pavel Veselý @pavelvesely.bsky.social · 16/09/2025Tomorrow at ESA: my former postdoc Nick Matsakis will present our streaming algorithm for diameter in high-dimensional spaces. Very simple: just 4 lines of pseudocode, and yet, achieving optimal approximation. Joint work with Magnús M. Halldórsson. arxiv.org/abs/2505.16720arxiv.orgStreaming Diameter of High-Dimensional PointsWe improve the space bound for streaming approximation of Diameter but also of Farthest Neighbor queries, Minimum Enclosing Ball and its Coreset, in high-dimensional Euclidean spaces. In particular, o... 220
Reposted by Pavel VeselýNPR @npr.org · 16/09/2025Pythagorean Triple Square Day, as one man affectionately calls 9/16/25, is a day like no other this century.n.prOn 9/16/25, celebrate a date of mathematical beautyPythagorean Triple Square Day, as one man affectionately calls 9/16/25, is a day like no other this century. 201191626
Reposted by Pavel VeselýBede Constantinides @bede.im · 09/09/2025Zstandard's --long range mode works wonders for assemblies, but needs uninterrupted single line sequences. *AllTheBacteria 661k, multiline fasta* gzip (pigz): 751GB zstandard --long: 641GB (30% original size) *Single line fasta* gzip (pigz): 700GB zstandard --long: 232GB (10% original size) 23712
Reposted by Pavel VeselýRayan Chikhi @rayanchikhi.bsky.social · 03/09/2025🌎👩🔬 For 15+ years biology has accumulated petabytes (million gigabytes) of🧬DNA sequencing data🧬 from the far reaches of our planet.🦠🍄🌵 Logan now democratizes efficient access to the world’s most comprehensive genetics dataset. Free and open. doi.org/10.1101/2024... 3218118
Reposted by Pavel VeselýRob Patro @robp.bsky.social · 26/08/2025At scale, the way that we store (and process) data matters! Many may think that the way we keep data, the file formats we adopt, and the way that we compress data are unimportant details, but they are, in fact, critical considerations to allow science to move forward at scale! 1238
Reposted by Pavel VeselýLance Fortnow @lance.fortnow.com · 04/08/2025Springer publishes a P ≠ NP "proof" and Eric Allender has words to say. blog.computationalco...blog.computationalcomplexity.orgSome thoughts on journals, refereeing, and the P vs NP problem A guest post by Eric Allender prompted by an (incorrect) P ≠ NP proof recently published in Springer Nature's Frontiers of Computer Scie... 64415
Reposted by Pavel VeselýGiulio Ermanno Pibiri @jermp.bsky.social · 10/06/2025A monumental collaborative effort with many incredible people ☺️ Proud to be part of this! 096
Reposted by Pavel VeselýRayan Chikhi @rayanchikhi.bsky.social · 03/06/2025Slides from my talk (with @kamilsjaron.bsky.social) on an history of k-mers in bioinformatics: rayan.chikhi.name/pdf/2025-kme... 14424
Reposted by Pavel VeselýClément Canonne @ccanonne.github.io · 06/05/2025Nicely written blog post by David Eppstein on the Boyer–Moore (deterministic) streaming algorithm to find a majority element in a stream, and its extensions, first to the turnstile model, and then to frequency estimation (Misra–Gries). 11011110.github.io/blog/2025/05... via @theory.report11011110.github.ioTurnstile majorityA famous algorithm of Boyer and Moore for the majority problem finds a majority element in a stream of elements while storing only two values, a single tenta... 1183
Reposted by Pavel Veselýrecombseq.bsky.social @recombseq.bsky.social · 25/04/2025We finally concluded the meeting. Thanks to all attendees for their scientific contributions and for traveling (near or far) to the meeting! Thanks to the local organizers for the infrastructure and catering, and thanks to the co-organizers @yaronorenstein.bsky.social @camillemrcht.bsky.social! 12611
Reposted by Pavel VeselýCamille Marchet ⚡ @camillemrcht.bsky.social · 24/04/2025@pavelvesely.bsky.social (CSI) on the mother of spss: masked superstrings that help you representing k-mer sets in a very compact way. He actually takes a lot from @brinda.eu since he squeezed 3 papers in a 12 min talk 😳 152
Reposted by Pavel Veselýrecombseq.bsky.social @recombseq.bsky.social · 22/04/2025🚀 Just 2 days to go! Excitement is building for #RECOMBseq 2025 in Seoul 🎉 Join leading researchers as we dive into cutting-edge computational genomics, from single-cell to long-read sequencing. 🗓 April 24-25 📍 Seoul 📄 Program: recomb-seq.github.io/program/ #RECOMB2025 #Genomics #Bioinformaticsrecomb-seq.github.ioProgramRECOMB-seq is the RECOMB Satellite Conference on Biological Sequence Analysis 043
Reposted by Pavel VeselýKarel Břinda @brinda.eu · 11/04/2025A decade ago, we had thousands of bacterial genomes. Now, we have millions. How to scale computational methods? Our paper in @naturemethods.bsky.social answers this: use evolutionary history to guide compression and search. rdcu.be/eg4OA w/ @baym.lol, @zaminiqbal.bsky.social et al. 🧵1/ 316037
Reposted by Pavel VeselýZamin Iqbal @zaminiqbal.bsky.social · 09/04/2025So glad this is finally out. The method has been instrumental in allowing us to compress the AllTheBacteria data - ~2 million bacterial genomes shrink from 3Terabytes (gzipped) to 100Gb using phylogenetic compression. Great work by @brinda.eu 412652
Reposted by Pavel VeselýRasmus Pagh @rasmuspagh.net · 08/04/2025European Sympsium on Algorithms 2025 will be held in Warsaw in September, as part of ALGO 2025. Do you have great work on design and analysis of algorithms? Submit it by April 23! algo-conference.org/2025/esa/algo-conference.orgESA – ALGO2025 041
Pavel Veselý @pavelvesely.bsky.social · 04/04/2025STOC in Prague! With FOCS deadline over, there's no excuse to postpone the registration. acm-stoc.org/stoc2025/ 161
Reposted by Pavel VeselýSamson Zhou @szhoucs.bsky.social · 04/04/2025Taking a break from the submission season? Swing by the Workshop on Algorithms for Large Data (Online), WALDO 2025 🗓️ April 14—16: waldo-workshop.github.io/2025.html Registration is free! (but necessary by April 7)waldo-workshop.github.ioWorkshop on Algorithms for Large Data (Online) 2025 034
Reposted by Pavel Veselýarxiv cs.DS @arxiv-cs-ds.bsky.social · 03/04/2025Aleksander {\L}ukasiewicz, Jakub T\v{e}tek, Pavel Vesel\'y SplineSketch: Even More Accurate Quantiles with Error Guarantees arxiv.org/abs/2504.01206 001
Reposted by Pavel VeselýSariel Har-Peled @sarielhp.bsky.social · 03/04/2025The upcoming trade war with the penguins, Is a good excuse to mention the following fantastic book... en.m.wikipedia.org/wiki/War_wit...en.m.wikipedia.orgWar with the Newts - Wikipedia 032
Reposted by Pavel Veselý(((Tendar))) @tendar.bsky.social · 31/03/2025The talks regarding Ukraine and Russia will fail. We have been there multiple times and this pattern will not suddenly change. Even the chances of a mere ceasefire are - even when not zero - rather modest. Though if it would occur it would fall apart, eventually, and probably soon. It is inevitable. 1663489
Reposted by Pavel Veselýrecombseq.bsky.social @recombseq.bsky.social · 25/03/2025🚨 Late-Breaking Posters! 🚨 Missed the deadline? We’ve got you covered! Submit your poster abstracts for RECOMB-seq and showcase your work in sequence analysis & computational genomics. 🗓️ Late poster deadline: April 5, 23:59 AoE Don't miss this last chance! 🚀 #RECOMBseq 034
Pavel Veselý @pavelvesely.bsky.social · 24/03/2025Open question for CS community: What to teach from modern parallel algorithms to 2nd CS undergrads? We teach sorting networks (bitonic sort) and boolean circuits (summation, multiplication), which is fine but does not feel very modern. What else to show about parallelism in, say, 2 lectures? 222
Reposted by Pavel VeselýThomas Steinke @stein.ke · 14/11/2024I'm going to slowly repost my math notes from the other site🐦 here🦋; it's the only thing I posted over there that I think may have some long-term value & worth not deleting. These started out as notes for myself, but people seem to appreciate them. 😅 I'll keep track of all of them in this thread. 620132
Reposted by Pavel VeselýClément Canonne @ccanonne.github.io · 17/03/2025An announcement: the Workshop on Algorithms for Large Data (Online) 2025 will take place 🗓️ April 14—16. waldo-workshop.github.io/2025.html Goal: "to generate new collaborations through an emphasis on big data algorithms, broadly defined" Register (free) by ⏰ April 7 to access the virtual platformwaldo-workshop.github.ioWorkshop on Algorithms for Large Data (Online) 2025 1218
Reposted by Pavel VeselýAnupam Gupta @anupamg.bsky.social · 27/02/2025#STOC2025 (June 23-27, Prague) Theory Fest is looking for workshop proposals. The deadline is March 9th. Apply here: stoc2025theoryfest.netlify.appstoc2025theoryfest.netlify.appVite + React + TS 097
Reposted by Pavel VeselýRyan Williams @rrwilliams.bsky.social · 21/02/2025New paper: Simulating Time With Square-Root Space people.csail.mit.edu/rrw/time-vs-... It's still hard for me to believe it myself, but I seem to have shown that TIME[t] is contained in SPACE[sqrt{t log t}]. To appear in STOC. Comments are very welcome!people.csail.mit.edu 1726375
Reposted by Pavel Veselý(((Tendar))) @tendar.bsky.social · 20/02/2025So many were freaking out regarding Trump's statements in reference to Ukraine and it is true that many of those statements were rubbish and even factually outright wrong. 13645116
Reposted by Pavel VeselýQuanta Magazine @quantamagazine.org · 20/02/2025In the late 2000s, computer scientist Stephen Cook (left) bet $100 that it was impossible to use the same piece of memory for storage and calculations simultaneously. In 2020, his own son (right) proved him wrong — and collected the cash. buff.ly/4i6G7Tz 2838
Pavel Veselý @pavelvesely.bsky.social · 10/02/2025A bit of poetry one day before the deadline: It's going to be tight ... but we have one more night! 🌃 000
Reposted by Pavel Veselýrecombseq.bsky.social @recombseq.bsky.social · 24/01/2025🚨 Keynotes at RECOMB-seq 2025! 🚨 🌟 Alicia Oshlack – computational transcriptomics @aliciao.bsky.social 🌟 Rayan Chikhi – sequencing data structures @rayanchikhi.bsky.social 🗓️ Dates: April 24–25, 2025 📍 Seoul, South Korea recomb-seq.github.io/speakers/ 03124
Reposted by Pavel VeselýKasper Green Larsen @kasperglarsen.bsky.social · 07/01/2025Excited to co-organise another summer school on learning theory! This time in beautiful Odense, Denmark. Please share and apply here: event.sdu.dk/algoml2025event.sdu.dkPhD School on Intersections of Algorithms and Machine Learning Theory 12715
Reposted by Pavel VeselýRasmus Pagh @rasmuspagh.net · 06/01/2025Looking for a PhD position or a post-doc position in theoretical computer science? Consider applying to one of our calls, closing January 10! barc.ku.dk/career/barc.ku.dkCareer Opportunities – University of Copenhagen 088
Reposted by Pavel VeselýClément Canonne @ccanonne.github.io · 05/01/2025Very interesting (short) paper by Graham Cormode (@grahamrc.bsky.social), "Applications of Sketching and Pathways to Impact", using sketching algos as case study to see how to go from theory to—impactful—practice, and what to keep in mind in the process. (Small) sample below doi.org/10.1145/3584... 2224