Advertisement · 728 × 90

Posts by Petr Šimeček

Claude Opus will get it correctly, so does Gemini Pro

1 month ago 0 0 0 0
Post image

My new favorite AI test (via Fernando Cruz and Tim Chermak)

1 month ago 0 0 1 0
Preview
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.

AI created new burden for maintainers. But used well, it may also be part of the relief

socket.dev/blog/the-nex...

2 months ago 0 0 0 0
Preview
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.

And that is the trouble with AI. You claim it cannot do something... and suddently it can.

www.nature.com/articles/d41...

3 months ago 0 0 0 0
Preview
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...

The Romantic Age of Mathematics Is Over
www.linkedin.com/posts/simece...

Full 🇨🇿 version on Substack
prevaznenevazne.substack.com/p/romanticka...

3 months ago 0 0 0 0

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 ...")

4 months ago 0 0 0 0
Preview
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...

The state of coding agents in late 2025

simonwillison.net/2025/Dec/15/...

4 months ago 0 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)

5 months ago 0 0 0 0
Advertisement

I wanted to but I have just noticed I will already be at NeurIPS (San Diego). Next time :-)

5 months ago 0 0 1 0
How To Say Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch
How To Say Llanfairpwllgwyngyllgogerychwyrndrobwllllantysiliogogogoch YouTube video by donwoodswirral

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?...

5 months ago 1 0 1 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
- 🙈

5 months ago 2 0 1 0

ano, prosím! (ale pochopitelně Code of Conduct, respekt, blabla, ale klidně na závěr můžeš pomoct s reinstalací)

6 months ago 1 0 0 0
Post image

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...

6 months ago 6 2 1 0

Jj, sorry, už ji píšu

6 months ago 0 0 1 0

One day!

6 months ago 3 0 0 0
Advertisement
Post image

Tak sice později než jsem říkal, ale hotovo. Zítra pošlu pozvánku na meetup.

6 months ago 1 1 1 0

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ě.

6 months ago 1 0 1 0

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.

6 months ago 0 0 0 0
Phantom Planet - California (Lyrics)
Phantom Planet - California (Lyrics) YouTube video by bemu Rock

NeurIPS workshop paper accepted. San Diego, here I come!

www.youtube.com/watch?v=BIWF...

6 months ago 2 0 0 0

Jestli mne nikdo nezastaví, převezmu po víkendu skupinu a poslední Prague R Meetup bude ve středu 22.10.

7 months ago 1 1 1 0

Jestli mne nikdo nezastaví, převezmu po víkendu skupinu a poslední Prague R Meetup bude ve středu 22.10.

7 months ago 1 1 1 0

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!)

7 months ago 2 0 1 0

...a promiň, že jsme nedorazili. Ale ty lístky do divadle máme už dva měsíce.

7 months ago 0 0 1 0

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.

7 months ago 0 0 1 0
Advertisement
Missy the bobtail cat sleeping peacefully on her tan blanket.

Missy the bobtail cat sleeping peacefully on her tan blanket.

Sometimes you rock. Sometimes you roll.
Sometimes you take a nap and start over.

7 months ago 3462 222 58 4
Post image

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?

7 months ago 1 0 1 0
Post image

Czech contribution to AI discussion

8 months ago 0 0 0 0
Preview
Introducing gpt-oss gpt-oss-120b and gpt-oss-20b push the frontier of open-weight reasoning models

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...

8 months ago 0 0 0 0
Post image

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...

10 months ago 1 0 0 0

- Co vy na té fildě vlastně děláte.
= My učíme lidi číst a psát.

11 months ago 1 0 0 0