Petr Šimeček
@psimecek.bsky.social
📤 42
📥 55
📝 64
Marie Skłodowska-Curie Fellow. Stupid tweets are my own. All the glory belongs to CEITEC and Aisle.
AI created new burden for maintainers. But used well, it may also be part of the relief
socket.dev/blog/the-nex...
loading . . .
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.
https://socket.dev/blog/the-next-open-source-security-race-triage-at-machine-speed
3 days ago
0
0
0
The Romantic Age of Mathematics Is Over
www.linkedin.com/posts/simece...
Full 🇨🇿 version on Substack
prevaznenevazne.substack.com/p/romanticka...
loading . . .
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...
https://www.linkedin.com/posts/simecekpetr_the-romantic-age-of-mathematics-is-over-activity-7413671890067554304-m_3v?utm_source=social_share_send&utm_medium=member_desktop_web&rcm=ACoAAAB_PfgBsL4w8dCi9wIyQLatN_3k_nTllm0
about 1 month ago
0
0
0
The state of coding agents in late 2025
simonwillison.net/2025/Dec/15/...
loading . . .
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...
https://simonwillison.net/2025/Dec/15/porting-justhtml/
about 2 months ago
0
0
0
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)
3 months ago
0
0
0
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 - 🙈
3 months ago
1
2
0
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...
4 months ago
1
6
2
One day!
add a skeleton here at some point
4 months ago
0
3
0
NeurIPS workshop paper accepted. San Diego, here I come!
www.youtube.com/watch?v=BIWF...
loading . . .
Phantom Planet - California (Lyrics)
YouTube video by bemu Rock
https://www.youtube.com/watch?v=BIWFqScJYWY
5 months ago
0
2
0
reposted by
Petr Šimeček
Jestli mne nikdo nezastaví, převezmu po víkendu skupinu a poslední Prague R Meetup bude ve středu 22.10.
5 months ago
1
1
1
reposted by
Petr Šimeček
For the Love of Missy
6 months ago
Sometimes you rock. Sometimes you roll. Sometimes you take a nap and start over.
58
3473
228
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
?
6 months ago
1
1
0
Czech contribution to AI discussion
6 months ago
0
0
0
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...
loading . . .
Introducing gpt-oss
gpt-oss-120b and gpt-oss-20b push the frontier of open-weight reasoning models
https://openai.com/index/introducing-gpt-oss/
6 months ago
0
0
0
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...
8 months ago
0
1
0
Je strašně málo tlustejch šachistů. (Josef Šlerka v
open.spotify.com/episode/5SBB...
)
loading . . .
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
https://open.spotify.com/episode/5SBBEWJFg2eudNvODKB5v0?si=JDKh2GnGTieFgIc06k40Pg
9 months ago
1
1
0
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)
10 months ago
0
2
1
I believe if anyone showed us GPT4.5 10 years ago, we would call it AGI. (Standa Fort is killing it at
#MLPrague2025
)
10 months ago
0
1
0
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
!
loading . . .
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...
https://arxiv.org/abs/2306.15595
10 months ago
0
0
0
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
loading . . .
Low-background steel - Wikipedia
https://en.wikipedia.org/wiki/Low-background_steel
10 months ago
1
2
0
Stručný návod na home office ve Vietnamu (jen si sem schovávám) 🇨🇿
vikend.hn.cz/c1-67713380-...
🔒
loading . . .
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?...
https://vikend.hn.cz/c1-67713380-strucny-navod-boomera-na-home-office-ve-vietnamu-proc-to-neni-jen-pro-mlade-a-jak-na-tom-mohou-firmy-vydelat
10 months ago
0
0
0
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...
11 months ago
0
1
0
Ondřej Svoboda má na LinkedInu pěkné ukázky, že 4o-image zvládne i české styly
www.linkedin.com/posts/ondrej...
11 months ago
1
2
0
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...
11 months ago
0
1
0
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...
11 months ago
1
2
0
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
11 months ago
2
0
0
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
loading . . .
Image Generation & Editing - a Hugging Face Space by philschmid
Generate and Edit images with Gemini 2.0
https://huggingface.co/spaces/philschmid/image-generation-editing
11 months ago
1
1
0
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...
11 months ago
1
1
0
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)
loading . . .
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
https://x.com/haoailab/status/1895557916209590720
12 months ago
0
0
0
Test LLM šolynou. Hlubší než si myslíte. Většina thinking modelů to dá (ale ne DeepSeek-R1, ani QWEN)
12 months ago
1
1
0
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)
12 months ago
1
0
0
The hottest new UI is English
www.linkedin.com/posts/sytayl...
or in less fancy form
www.linkedin.com/posts/lukasz...
loading . . .
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
https://www.linkedin.com/posts/sytaylor_this-demo-is-wild-watch-an-engineer-build-ugcPost-7299019093758693376-OWJf?utm_source=social_share_send&utm_medium=member_desktop_web&rcm=ACoAAAB_PfgBsL4w8dCi9wIyQLatN_3k_nTllm0
12 months ago
0
1
0
From screenshot to AirBnB clone in 30mins
github.com/sullyo/webap...
loading . . .
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
https://github.com/sullyo/webapp-starter
12 months ago
0
0
0
www.theatlantic.com/internationa...
loading . . .
The End of the Postwar World
Trump and Vance are sending a dark message to America’s allies.
https://www.theatlantic.com/international/archive/2025/02/trump-ukraine-postwar-world/681745/?gift=hVZeG3M9DnxL4CekrWGK31RhLcP-tNiCRWkRZwfyq10&utm_source=copy-link&utm_medium=social&utm_campaign=share
12 months ago
0
1
1
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!)
loading . . .
Gamma
Made with Gamma. A new medium for presenting ideas, powered by AI.
https://gamma.app/
12 months ago
0
0
0
reposted by
Petr Šimeček
Karel "CaCO3" Berka
about 1 year ago
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...
loading . . .
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...
https://www.nature.com/articles/s44172-024-00334-w
1
12
3
reposted by
Petr Šimeček
Eric Topol
about 1 year ago
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
2
107
18
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.
loading . . .
https://www.bbc.co.uk/aboutthebbc/documents/bbc-research-into-ai-assistants.pdf
about 1 year ago
1
0
0
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
loading . . .
DeepSeek is a Game Changer for AI - Computerphile
YouTube video by Computerphile
https://www.youtube.com/watch?v=gY4Z-9QlZ64
about 1 year ago
0
0
0
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...
about 1 year ago
0
0
0
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...
loading . . .
Visualizing transformers and attention | Talk for TNG Big Tech Day '24
YouTube video by Grant Sanderson
https://www.youtube.com/watch?v=KJtZARuO3JY
about 1 year ago
0
0
0
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!
loading . . .
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.
https://github.com/PriorLabs/TabPFN
about 1 year ago
0
1
0
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.
about 1 year ago
0
1
0
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...
loading . . .
Sky Follower Bridge - Chrome Web Store
Easily transfer your following users and list members from X to Bluesky.
https://chromewebstore.google.com/detail/sky-follower-bridge/behhbpbpmailcnfbjagknjngnfdojpko?pli=1
about 1 year ago
0
2
0
you reached the end!!
feeds!
log in