Víme, jestli je Navier-Stokes správně?

22.9. 22:57 | matematika | | Anketa | Přečteno: 1520× | Komentářů: 44, poslední 30.9. | Hodnocení: 89 % (9 hlasů)

Před dvěma týdny světem otřásla zpráva, že OpenAI vyřešila problém Milénia. Doprovodila jej důkazem v Leanu. Coby někdo, kdo se v oblasti formální matematiky & AI pohybuje, bych rád vysvětlil, jak jsme sebevědomí, že je výsledek matematicky správně, a co by se ještě mohlo zvrtnout.

Abstinent vyzkoušel test Suchýho února

3.2.2021 22:05 | ostatní | Přečteno: 1588× | Komentářů: 23, poslední 5. 2. 2021 | Hodnocení: 88 % (8 hlasů)

Suchej únor je akce podporující běžnou populaci, aby se zkusila na měsíc vzdát akoholu. Tak jsem zkusil vyplnit jejich "test nezávislosti", a nepřijde mi, že by to měli úplně vychytané ...

Osobní sbírka mouder

14.10.2019 00:53 | ostatní | Přečteno: 3624× | Komentářů: 88, poslední 1. 11. 2019 | Hodnocení: 80 % (5 hlasů)

Když narazím na nějakou vtipnou / zajímavou myšlenku tak si jí zapíšu / uložím. Původně jsem to používal zejména pro statusy na Jabberu, ale po odchodu uživatelů Googlu mi už moc nestojí za to v tom pokračovat. Podobně ukazuji náhodně vygenerované moudro na svých stránkách, které jsem používal pro výuku, ale teď už stejnak na MFF nepůsobím. Tak jsem si řekl, že udělám nejlíp, když zveřejním, co mám...

Kdy ovládnou počítače matematiku?

1.8.2017 01:26 | Škola | | Anketa | Přečteno: 3008× | Komentářů: 214, poslední 15. 8. 2017 | Hodnocení: 100 % (11 hlasů)

Když byl v šedesátých letech minulého století vyřešen problém čtyř barev, někteří čekali, že nastává éra problémů vyřešených za použití počítače. Nestalo se. Je zarážející, jak často je ještě dneska nejefektivnějším nástrojem pro řešení matematických problémů papír a tužka. Na druhé straně zaregistrovala v poslední době umělá inteligence několik úspěšných průlomů. V blogu se z pohledu matematika, avšak nikoli odborníka na strojové učení ani automatické dokazování, zamyslím nad touto otázkou.

GMail a XMPP

26.6.2015 23:46 | Internet | Anketa | Přečteno: 2117× | Komentářů: 11, poslední 3. 8. 2015 | Hodnocení: 93 % (15 hlasů)

Původně jsem si myslel, že GMail XMPP obyčejně podporuje. Až ve zdější diskuzi jsem se dozvěděl, že to tak úplně není. Že to, že mi někteří lidi na XMPP přestali odpovídat není náhoda. Na druhou stranu jsem měl pocit, že někteří zde GMail zcela zavrhli coby něco, co už XMPP nepodporuje -- to taky není přesné. Vzhledem k tomu, že většina mých XMPP kontaktů je z GMailu, jal jsem se zjistit a řešit situaci...

Jak se programátor učí morseovku?

4.7.2012 15:42 | ostatní | | Anketa | Přečteno: 3217× | Komentářů: 28, poslední 15. 10. 2019 | Hodnocení: 100 % (6 hlasů)

Nakódí si program, který ho z ní zkouší.
Loni na jaře jsem byl pozván na jistou šifrovací hru. Bylo mi známo, že na podobných akcích je text často zakódován morseovkou, případně abecedním pořadím (1 = A, 26 = Z). Samozřejmě, nejdříve je třeba důmyslně přijít na to, kde v tom to abecední pořadí či morseovku hledat, ale když už na to člověk přijde, případně to chce jen nějak zkusit, je efektivní vidět hned písmenka namísto hledání v tabulkách.

Protest pirátů proti ACTA

3.2.2012 00:42 | Internet | Přečteno: 2980× | Komentářů: 174, poslední 12. 2. 2012 | Hodnocení: 81 % (16 hlasů)

Ještě jsem si nenašel čas si celou ACTA přečíst. Narozdíl od SOPA, PIPA, nebo třeba našeho loterijního zákona, kde mi bylo jasné, proč se zvedá odpor, u ACTA se mi jeví situace složitější, obzvláště po nalezení zápisku ACTA versus fakta. V něm se sice píše "nenechte lež, aby vás vyhnala do ulic", ale mně docela vyhovovaly časoprostorové souřadnice a řekl jsem si, že se tam tedy podívám.

Moje hračičky II

24.8.2011 21:02 | Linux | Přečteno: 2611× | Komentářů: 10, poslední 26. 8. 2011 | Hodnocení: 91 % (11 hlasů)

Po úspěchu prvního blogu o svých hračičkách jsem se rozhodl prezentovat ještě jednu várku her mé programátorské dílny. Tentokrát jsou informace o ovládání a možnostech hry v README či na příslušných stránkách, takže v blogu najdete spíše povídání kolem. Asi bych i ocenil nějakou radu, kam to pořádně publikovat.

Korektní odpovědi na záporné otázky

10.7.2011 23:51 | čeština | Anketa | Přečteno: 6142× | Komentářů: 53, poslední 18. 7. 2011 | Hodnocení: 55 % (20 hlasů)

Nevíš, kolik matfyzáků je potřeba k zasroubování žárovky?

Ano.

Binární čas

21.3.2011 01:07 | ostatní | Přečteno: 5622× | Komentářů: 25, poslední 28. 3. 2011 | Hodnocení: 100 % (5 hlasů)

Před 10 lety jsem dostal binární hodinky, tak jsem se rozhodl poohlédnout se po čase stráveným s nimi. Začalo to zdejší anketou, jestli jsou lepší hodinky digitální nebo analogové. Někdo se v diskusi zmínil, že binární, já to ukázal jako zajímavost a najednou získávám zvláštní dárek.

GIMP Classic

25.1.2011 17:06 | Linux | Anketa | Přečteno: 2048× | Komentářů: 75, poslední 25. 2. 2011 | Hodnocení: 100 % (8 hlasů)

U některých programů jde vývoj kupředu, u některých jiných mám pocit spíše opačný. Například vrátit funkčnost klávesové zkratce Ctrl-Alt-Backspace je s každou verzí těžší a těžší. Jiná změna (jiného programu), která mě naštvala byla nová GUI featura GIMPu, empty image window. Proto mě opět potěšilo zjištění, že toto chování lze zvrátit k normálu (i když bez rýpání se ve zdrojácích se spíš neobejdete).

E-mail od Mistra Jana Husa

14.8.2010 23:13 | čeština | Anketa | Přečteno: 2781× | Komentářů: 45, poslední 10. 9. 2010 | Hodnocení: 100 % (11 hlasů)

Tento text znám již drahnou to chvíli a dle mého názoru je vynikající. Nevím, kdo je jeho autorem, ale jeden čas měl google na prvním místě adresu http://www.avas.cz/email-od-mistra-jana-husa.php (odtud to už zmizelo). Již jednou jsem se na abclinuxu pokusil na tento text odkázat v diskusi k anketě, ale tam se jeden komentář ztratí jako jehla v kupce sena. A stále je to známé tak málo...

Pochybná zpráva na novinkách

22.4.2010 21:28 | ostatní | Přečteno: 1833× | Komentářů: 11, poslední 25. 4. 2010 | Hodnocení: 100 % (5 hlasů)

Obvykle zprávám internetových serverů věřím, ale tohle už je na mne trochu příliš. Dočetl jsem se totiž o zbrusu novém českém hlavolamu Tom Ball ve tvaru Fotbalového míče (odkaz). Jenže mi na tom mnoho věcí nesedí.

Volím náhodně

2.4.2010 20:34 | ostatní | Anketa | Přečteno: 1839× | Komentářů: 49, poslední 5. 4. 2010 | Hodnocení: 80 % (10 hlasů)

Tak jsem se vzhledem k předvolebnímu období rozhodl také napsat něco o politice. Současný volební systém nedává voličům možnost nějakého čachrování s hlasem. Je možné volit nejvýše jednu stranu, není možné dávat antihlasy, není možné svůj hlas rozdělit pro více stran. Leckdy má ale volič pocity, které do takto definovaných možností napasovatelné nejsou.

Moje hračičky

19.2.2010 13:07 | Linux | Anketa | Přečteno: 66113× | Komentářů: 16, poslední 21. 2. 2010 | Hodnocení: 100 % (11 hlasů)

Shledal jsem, že za dobu své programátorské existence jsem stvořil docela dost hračiček (her). Jakmile ovšem byla nějaká hračička již v hratelném stavu, nechtělo se mi to dále vypiplávat, takže tam nejsou meníčka a z části komunikují přes standardní výstup. Z těchto důvodů jsem tyto hračičky zatím příliš nezveřejňoval, ale myslím, že si zaslouží, aby o nich někdo věděl.

Ctrl-C, Ctrl-V, a je to.

4.12.2009 14:32 | Linux | Anketa | Přečteno: 4268× | Komentářů: 74, poslední 7. 12. 2009 | Hodnocení: 64 % (14 hlasů)

Výraz „Ctrl-C, Ctrl-V“ se nám stal jakýmsi synonymem pro kopírování dat, nejčastěji textu. A co já, který u textu tuto technologii kopírování téměř nepoužívám?

Dokoncil jsem domaci ukol

1.2.2009 23:48 | Škola | Komentářů: 25, poslední 8. 2. 2009 | Hodnocení: 81 % (16 hlasů)

Uff. Mozna se to bude pred odevzdanim jeste trochu menit, ale hlavne jsem dokoncil to strasne dokumentovani. Tak jsem si rikal, ze bych to mohl konecne nekde zverejnit.

Mym ukolem bylo vytvorit neco podobneho jako je stara DOSova hra King's Quest 1. Tedy hru na motivy pohadek, kde hrac chodi s panackem a zadava mu slovni prikazy. Vice na strankach tohoto programu.