Sign in

Petr Šimeček

@psimecek.bsky.social
46 followers 55 following 66 posts

Marie Skłodowska-Curie Fellow. Stupid tweets are my own. All the glory belongs to CEITEC and Aisle.

PostsRepliesMedia
Petr Šimeček @psimecek.bsky.social · 23/02/2026
Claude Opus will get it correctly, so does Gemini Pro
000
Petr Šimeček @psimecek.bsky.social · 23/02/2026
My new favorite AI test (via Fernando Cruz and Tim Chermak)
100
Petr Šimeček @psimecek.bsky.social · 12/02/2026
AI created new burden for maintainers. But used well, it may also be part of the relief socket.dev/blog/the-nex...
socket.dev
The Next Open Source Security Race: Triage at Machine Speed ...
Claude Opus 4.6 has uncovered more than 500 open source vulnerabilities, raising new considerations for disclosure, triage, and patching at scale.
000
Petr Šimeček @psimecek.bsky.social · 05/01/2026
And that is the trouble with AI. You claim it cannot do something... and suddently it can. www.nature.com/articles/d41...
nature.com
DeepMind and OpenAI models solve maths problems at level of top students
For the first time, large language models performed on a par with gold medallists in the International Mathematical Olympiad.
000
Petr Šimeček @psimecek.bsky.social · 05/01/2026
The Romantic Age of Mathematics Is Over www.linkedin.com/posts/simece... Full 🇨🇿 version on Substack prevaznenevazne.substack.com/p/romanticka...
linkedin.com
The Romantic Age of Mathematics Is Over Being trained as a mathematician comes with a peculiar blessing—and a curse: your problems never disappear. The tasks I work on today in industry will be… | P...
The Romantic Age of Mathematics Is Over Being trained as a mathematician comes with a peculiar blessing—and a curse: your problems never disappear. The tasks I work on today in industry will be irre...
000
Petr Šimeček @psimecek.bsky.social · 18/12/2025
Výroba pěkných slajdů už nenese, ani když jsou ty slajdy o LLM? (Jak jsem včera zahlédl koutkem oka na LinkedIn: "výroba pěkných slajdů mne natolik nebavila, že jsem po 9 měsících odletěla do SF a založila tu ...")
000
Petr Šimeček @psimecek.bsky.social · 18/12/2025
The state of coding agents in late 2025 simonwillison.net/2025/Dec/15/...
simonwillison.net
I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in 4.5 hours
I wrote about JustHTML yesterday—Emil Stenström’s project to build a new standards compliant HTML5 parser in pure Python code using coding agents running against the comprehensive html5lib-tests testi...
000
Petr Šimeček @psimecek.bsky.social · 14/11/2025
I have received a message from a colleague with several typos and my first idea was - cool, she wrote it herself, no chatgpt. In a few years from now, will we make mistakes on purpose to prove we are humans? (Then teach AI to imitate it)
000
Petr Šimeček @psimecek.bsky.social · 09/11/2025
I wanted to but I have just noticed I will already be at NeurIPS (San Diego). Next time :-)
100
Petr Šimeček @psimecek.bsky.social · 08/11/2025
The good thing is if I present this at CEITEC Xmas party, the choice of walk-up song (@paveltomancak.bsky.social us asked for), would be easy youtu.be/1BXKsQ2nbno?...
youtu.be
How To Say Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch
YouTube video by donwoodswirral
110
Petr Šimeček @psimecek.bsky.social · 07/11/2025
Final meeting before thesis defense (with my student): - When I asked you to add an example of some bacteria genome, which one did you pick? = Myxococcus llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogochensis - 🙈
120
Petr Šimeček @psimecek.bsky.social · 15/10/2025
ano, prosím! (ale pochopitelně Code of Conduct, respekt, blabla, ale klidně na závěr můžeš pomoct s reinstalací)
010
Petr Šimeček @psimecek.bsky.social · 14/10/2025
Netuším, jestli někdo přijde, ale pozvánka na poslední Prague R Meetup rozeslána @josefslerka.bsky.social www.meetup.com/prague-r-mee...
162
Petr Šimeček @psimecek.bsky.social · 14/10/2025
Jj, sorry, už ji píšu
100
Petr Šimeček @psimecek.bsky.social · 07/10/2025
One day!
030
Petr Šimeček @psimecek.bsky.social · 02/10/2025
Tak sice později než jsem říkal, ale hotovo. Zítra pošlu pozvánku na meetup.
111
Petr Šimeček @psimecek.bsky.social · 25/09/2025
Mně to přišlo v Groningenu skvělý. Jen jsem projížděl a cykloinfrastruktura okolí je fakt úžasná - čirá radost po tom jet. Podzemní garáže se nám hodily! Ikonický zábradlí A'damu ověšený kolama jsou fajn, když si to chcete vyfotit. Ale na snadný zaparkování... a to jsem tam byl v létě.
110
Petr Šimeček @psimecek.bsky.social · 22/09/2025
A Lidovky jsou bohužel ještě horší. Přitom tam stále zůstává několik posledních mohykánů. Ale už na tu stránku kvůli nim asi chodit nechcu.
000
Petr Šimeček @psimecek.bsky.social · 22/09/2025
NeurIPS workshop paper accepted. San Diego, here I come! www.youtube.com/watch?v=BIWF...
youtube.com
Phantom Planet - California (Lyrics)
YouTube video by bemu Rock
020
Reposted by Petr Šimeček
Petr Šimeček @psimecek.bsky.social · 19/09/2025
Jestli mne nikdo nezastaví, převezmu po víkendu skupinu a poslední Prague R Meetup bude ve středu 22.10.
111
Petr Šimeček @psimecek.bsky.social · 19/09/2025
Jestli mne nikdo nezastaví, převezmu po víkendu skupinu a poslední Prague R Meetup bude ve středu 22.10.
111
Petr Šimeček @psimecek.bsky.social · 19/09/2025
Já jsem teď šťastně nezaměstnaný a mám chuť to fakt udělat! V říjnu bych měl mít ještě volno. S lehce nostalgickou notou a plány, co okopírovat do Pythonu (chci ggplot2, a dplyr!)
120
Petr Šimeček @psimecek.bsky.social · 19/09/2025
...a promiň, že jsme nedorazili. Ale ty lístky do divadle máme už dva měsíce.
100
Petr Šimeček @psimecek.bsky.social · 19/09/2025
Já zkoušel Rust na AoC2024. Problém není zvládnout základy, ale že v Pythonu umím dělat se spoustou knihoven a to se špatně přenáší (např. pandas, ano rust má polars, ale pro začátečníka je těžké přejít) Takže upřímně dokud nebudu mít opravdu velkou potřebu, tak spíše neplánuju.
100
Reposted by Petr Šimeček
For the Love of Missy @missybbbobtail.bsky.social · 01/09/2025
Sometimes you rock. Sometimes you roll. Sometimes you take a nap and start over.
Missy the bobtail cat sleeping peacefully on her tan blanket.
573432222
Petr Šimeček @psimecek.bsky.social · 01/09/2025
Nevystavuj mé trollící já pokušení, @josefslerka.bsky.social, já prožil s R spoustu krásných let! Nebo kliknu na na "Yes" a... Může mít počítačový jazyk pohřeb? S Always Look on the Bright Side of Life? Že bychom pozvali Rkaře na #pycamp a #pyvo?
110
Petr Šimeček @psimecek.bsky.social · 06/08/2025
Czech contribution to AI discussion
000
Petr Šimeček @psimecek.bsky.social · 06/08/2025
Was excited about OpenAI's new open-source models until I hit "trained on a mostly English, text-only dataset" For Czech gpt-oss-20b is genuinely bad, gpt-oss-120b is passable but far from impressive. Running formal benchmarks, but casual testing already tells the story 🇨🇿 openai.com/index/introd...
openai.com
Introducing gpt-oss
gpt-oss-120b and gpt-oss-20b push the frontier of open-weight reasoning models
000
Petr Šimeček @psimecek.bsky.social · 10/06/2025
This is actually pretty good illustration of AI-assisted coding success / failure (ignore the term "vibe coding" and be honest - we have all been on the 4th line) Source: www.reddit.com/r/vibecoding...
010
Petr Šimeček @psimecek.bsky.social · 06/05/2025
- Co vy na té fildě vlastně děláte. = My učíme lidi číst a psát.
010
Petr Šimeček @psimecek.bsky.social · 06/05/2025
Mne AI extrémně zajímá jako někdo, kdo je schopný dělat kvalitativní analýzu srovnatelnou s lidským kodérem. Protože v humanitních a sociálních vědách... máme velmi dobře rozpracované teorie, jak dělat obsahovou analýzu, jenom to znamená, že máš 2-3 lidi v týmu, kteří podle (manuálu) dělají kódování
100
Petr Šimeček @psimecek.bsky.social · 06/05/2025
Je strašně málo tlustejch šachistů. (Josef Šlerka v open.spotify.com/episode/5SBB...)
open.spotify.com
Když se mozek učí novým věcem, tak má několikrát vyšší spotřebu energie, než když si jen tak přemýšlí, říká akademik Josef Šlerka (277)
Procento Miloše Čermáka · Episode
110
Petr Šimeček @psimecek.bsky.social · 02/05/2025
Ok, this is crazy. Geoguessing photos with AI: * Gemini 2.5 Pro seems to be the best (crazy how fast it is!) * OpenAI o4-mini-high (on a screenshot) - not bad! * OpenAI o3 - very slow * Grok - is guessing Lisbon, Portugal (=wrong)
020
Petr Šimeček @psimecek.bsky.social · 30/04/2025
I believe if anyone showed us GPT4.5 10 years ago, we would call it AGI. (Standa Fort is killing it at #MLPrague2025)
010
Petr Šimeček @psimecek.bsky.social · 30/04/2025
I had no idea that one of LLM innovations was invented for write better erotic stories. (arxiv.org/abs/2306.15595, enabling LLMs to work with longer texts) What you learn at #mlprague2025!
arxiv.org
Extending Context Window of Large Language Models via Positional Interpolation
We present Position Interpolation (PI) that extends the context window sizes of RoPE-based pretrained LLMs such as LLaMA models to up to 32768 with minimal fine-tuning (within 1000 steps), while demon...
000
Petr Šimeček @psimecek.bsky.social · 29/04/2025
Jon McLoone (Wolfram Research): People are asking AI chatbot wrong questions in the same way they were asking Google wrong questions 20 years ago. It is possible they will learn to do better. #MLPrague2025
000
Petr Šimeček @psimecek.bsky.social · 29/04/2025
From questions to Jon McLoone's talk at ML Prague "Lies, Damn Lies and Gen AI" Sunken WWII shipwrecks are valuable because they are source of low-background steel (en.wikipedia.org/wiki/Low-bac...). Maybe similarly, one day we will be seeking for pre-AI texts. #MLPrague2025
en.wikipedia.org
Low-background steel - Wikipedia
120
Petr Šimeček @psimecek.bsky.social · 27/04/2025
Stručný návod na home office ve Vietnamu (jen si sem schovávám) 🇨🇿 vikend.hn.cz/c1-67713380-... 🔒
vikend.hn.cz
Stručný návod boomera na home office ve Vietnamu. Proč to není jen pro mladé a jak na tom mohou firmy vydělat
Už jste někdy snili o práci z pláže na hodně exotickém místě? A co tropický home office ve Vietnamu? Jaké to je pracovat z Hanoje nebo Ho Či Minova Města a přitom vychutnávat lahodné vietnamské jídlo?...
000
Petr Šimeček @psimecek.bsky.social · 05/04/2025
When I submitted my "Bullshit AI" talk to PyConAT, I had no idea Trump would end up giving me a perfect example. It is worth trillions of dollars. Literally. www.linkedin.com/posts/bastia...
010
Petr Šimeček @psimecek.bsky.social · 05/04/2025
Autora neznám
010
Petr Šimeček @psimecek.bsky.social · 03/04/2025
However,...
100
Petr Šimeček @psimecek.bsky.social · 02/04/2025
Ondřej Svoboda má na LinkedInu pěkné ukázky, že 4o-image zvládne i české styly www.linkedin.com/posts/ondrej...
120
Petr Šimeček @psimecek.bsky.social · 01/04/2025
New models in MiniCzechBenchmark 🇨🇿 Gemini 2.5 Pro 🥇 (as expected), Gemma 12B a very pleasant surprise 🫢 (you can run it in ollama on your 💻), only marginal improvements for new DeepSeek V3, Mistral Small, openai gpt-4o github.com/simecek/Mini...
010
Petr Šimeček @psimecek.bsky.social · 01/04/2025
Despite popular belief it is not true that current LLMs can solve math. olympiad problems. (I have a set of Czech middle school problems Klokánek, most LLMs are slightly above random chance, best thinking at ~90%) arxiv.org/abs/2503.219...
120
Petr Šimeček @psimecek.bsky.social · 30/03/2025
Draw me picture with two schemas explaining the difference between AlphaFold2 and ESMFold (needed extra hint)
000
Petr Šimeček @psimecek.bsky.social · 30/03/2025
My photo is attached. Try to add glasses to it (I am about to buy a new glasses and need to pick the style)
100
Petr Šimeček @psimecek.bsky.social · 30/03/2025
Draw me a little map of XYZ for my future visit. Not real map, just illustration. Include top places I should visit. Please, omit typical turist traps and concentrate on cheap free hipster punk things #gpt4o
200
Petr Šimeček @psimecek.bsky.social · 26/03/2025
If you have ChatGPT Plus (paid $20 version), try new image generation introduced yesterday. Seriously crazy. This is me as Simpsons character (no special model, just prompt) openai.com/index/introd...
000
Petr Šimeček @psimecek.bsky.social · 17/03/2025
LLM image editing solved by Google (model: Gemini Flash 2.0 Image Generation Experimental). Feels like magic - it understands the image on pixel level. Try it: huggingface.co/spaces/phils... Or just use Google AI studio with this model aistudio.google.com
huggingface.co
Image Generation & Editing - a Hugging Face Space by philschmid
Generate and Edit images with Gemini 2.0
110
Petr Šimeček @psimecek.bsky.social · 10/03/2025
The poem is from GPT4.5. Too expensive to be benchmarked (cca 700 CZK) but the first model to properly rhyme in Czech.
000