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
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
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
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 · 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 · 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 · 07/10/2025
One day!
030
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
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
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
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 · 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 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 · 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
MiniCzechBenchmark 🇨🇿 Update including QwQ-32B, Claude 3.7, Gemini 2.0, and DeepSeek-R1! * Gemini 2.0 Flash is cost effective, fast and great * 🇨🇳 open models to pay attention: V3, QwQ-32B, R1 * Mistral-Small-24B-Instruct-2501 = open alternative to haiku / gpt-4o-mini github.com/simecek/Mini...
110
Petr Šimeček @psimecek.bsky.social · 02/03/2025
This is seriously crazy! Promting multimodal LLM to play games IN REAL TIME x.com/haoailab/sta... This is the repo github.com/lmgame-org/G... A this is prompt responsible for tetris github.com/lmgame-org/G... GeminiFlash is fast enough to play SuperMario (on par with Sonnet 3.5)
x.com
Hao AI Lab on X: "We built Gaming agents to run platformers and puzzle video games in real time. Check out our demos and try our repo yourself to customize your own gaming agent! 🎮 https://t.co/OMJUHsVuIi In addition to Super Mario Bros, we also support 2048, as well as Tetris. More games are https://t.co/nvrCvKmFzX" / X
We built Gaming agents to run platformers and puzzle video games in real time. Check out our demos and try our repo yourself to customize your own gaming agent! 🎮 https://t.co/OMJUHsVuIi In addition to Super Mario Bros, we also support 2048, as well as Tetris. More games are https://t.co/nvrCvKmFzX
000
Petr Šimeček @psimecek.bsky.social · 28/02/2025
Test LLM šolynou. Hlubší než si myslíte. Většina thinking modelů to dá (ale ne DeepSeek-R1, ani QWEN)
110
Petr Šimeček @psimecek.bsky.social · 27/02/2025
ChatGPT4.5 is here www.youtube.com/watch?v=cfRY... I love that they let the model to be introduced by engineers (with all the imperfections of normal people in front of the camera)
100
Petr Šimeček @psimecek.bsky.social · 26/02/2025
The hottest new UI is English www.linkedin.com/posts/sytayl... or in less fancy form www.linkedin.com/posts/lukasz...
linkedin.com
Simon Taylor on LinkedIn: This demo is wild! 😳 Watch an engineer build Stripe integration through… | 189 comments
This demo is wild! 😳 Watch an engineer build Stripe integration through conversation. No coding, just chat. How? Meet MCP (Model Context Protocol). Remember… | 189 comments on LinkedIn
010
Petr Šimeček @psimecek.bsky.social · 25/02/2025
From screenshot to AirBnB clone in 30mins github.com/sullyo/webap...
github.com
GitHub - sullyo/webapp-starter: A monorepo template for building webapps - perfect for LLMs
A monorepo template for building webapps - perfect for LLMs - sullyo/webapp-starter
000
Petr Šimeček @psimecek.bsky.social · 20/02/2025
www.theatlantic.com/internationa...
theatlantic.com
The End of the Postwar World
Trump and Vance are sending a dark message to America’s allies.
010
Petr Šimeček @psimecek.bsky.social · 20/02/2025
Today, while exploring the slides from the Vienna DL Meetup (great talks, by the way!), I discovered gamma.app —an awesome presentation tool that shines even if ignore AI features (but AI-generated images are a fantastic bonus!)
gamma.app
Gamma
Made with Gamma. A new medium for presenting ideas, powered by AI.
000
Reposted by Petr Šimeček
Karel "CaCO3" Berka @krapnik.bsky.social · 08/02/2025
Saturday protein science: not #alphafoldogy but lunch: Italian recipe for the best cooking of eggs: - periodic exchange of hot and cold baths 8x2mins www.nature.com/articles/s44...
nature.com
Periodic cooking of eggs - Communications Engineering
Emilia Di Lorenzo and colleagues propose an approach to address the energy transport problem of cooking the albumen and yolk of a boiled egg at their optimal temperatures without separation. By altern...
1123
Reposted by Petr Šimeček
Eric Topol @erictopol.bsky.social · 09/02/2025
New A.I. models in spatial omics —singe cell GPT @bowang87.bsky.social www.biorxiv.org/content/10.1... —CORAL @jameszou.bsky.social www.biorxiv.org/content/10.1... These are coming along incredibly fast and helping us learn the language of life www.science.org/doi/10.1126/... @science.org
210618
Petr Šimeček @psimecek.bsky.social · 11/02/2025
Wow! I would never believe #BBCNews can publish 💩 like this www.bbc.com/news/article... www.bbc.co.uk/aboutthebbc/... The title just caught my attention, originally I was curious but this is... unbelievable. Please, submit this to ML conference, reviewers deserve a good laugh.
bbc.co.uk
100
Petr Šimeček @psimecek.bsky.social · 29/01/2025
The best 4 sources about DeepSeek: * Computerphile: DeepSeek is a Game Changer for AI www.youtube.com/watch?v=gY4Z... * Alberto’s Substack: DeepSeek vs World, albertoai.substack.com/p/ai-update-22 * Jeremy Howard X feed * In Czech: stanislavfort.substack.com/p/pokrok-v-a... + my post from yesterday
youtube.com
DeepSeek is a Game Changer for AI - Computerphile
YouTube video by Computerphile
000
Petr Šimeček @psimecek.bsky.social · 28/01/2025
Pár slov, co si myslím o DeepSeeku a dalších věcech, co teď hýbou světem umělé inteligence prevaznenevazne.substack.com/p/bidenova-g...
000
Petr Šimeček @psimecek.bsky.social · 28/01/2025
I teach one-semester intro to Deep learning. Every year... CNNs: Students nod & get it ✅ Transformers: 👀 visible confusion This is the best non-technical transformer explanation I have ever seen! Hope it will save us from the blank stares 😅 www.youtube.com/watch?v=KJtZ...
youtube.com
Visualizing transformers and attention | Talk for TNG Big Tech Day '24
YouTube video by Grant Sanderson
000
Petr Šimeček @psimecek.bsky.social · 09/01/2025
If ML 🌎 is a pizza & Neural Networks are eating it, the last 2 slices (time series & tabular data) that were untouched a year ago are now gone! 🔥 TabPFN v2 github.com/PriorLabs/Ta... www.nature.com/articles/s41... 🔥 TS foundation models in sktime 📦 www.sktime.net/en/stable/ap... Crazy times!
github.com
GitHub - PriorLabs/TabPFN: ⚡ TabPFN: Foundation Model for Tabular Data ⚡
⚡ TabPFN: Foundation Model for Tabular Data ⚡. Contribute to PriorLabs/TabPFN development by creating an account on GitHub.
010
Petr Šimeček @psimecek.bsky.social · 06/01/2025
Let us make BlueSky nicer that X has ever been. It is OK to ask questions (even hard ones) but I will block accounts shaming people / opinions (even bad ones). Not because tough discussions are not needed but because social networks (like X/BlueSky/Mastodon...) are bad medium for them.
010
Petr Šimeček @psimecek.bsky.social · 06/01/2025
New Year resolution - moving to BlueSky bsky.app/profile/psim... I will keep coming to X for @python_tip (mirror it when I find easy way to do it) I have found Sky Follower Bridge chrome extension useful for the move chromewebstore.google.com/detail/sky-f...
chromewebstore.google.com
Sky Follower Bridge - Chrome Web Store
Easily transfer your following users and list members from X to Bluesky.
020