Příspěvky

1

Vývoj / Re:Ako sa naucit rozmyslat?

« kdy: 04. 07. 2022, 23:20:17 »

Případně vzhledem k věku asi nejlépe korespondenční semináře - třeba KSP ( https://ksp.mff.cuni.cz/ )...

A k The art of programming - zkusil bych fakt knihovnu - dle https://www.knihovny.cz/Record/mzk.MZK01-001261154 existuje po jednom výtisku v Praze, Brně a Olomouci. Jestli to je fakticky čtivá kniha a nebo nudná encyklopedie netuším.

(Ty knihy co doporučuji výše jsou fajn, ale je potřeba mít vůli a zájem se jima prokousat.)

2

Vývoj / Re:Ako sa naucit rozmyslat?

« kdy: 04. 07. 2022, 22:55:38 »

Pc hry:
- spacechem
- factorio

Knihy (hutné, ale se spoustou přemýšlivých úloh pro čtenáře):
- Kapitoly z diskrétní matematiky
- Průvodce labyrintem algoritmů

Nejlépe samozřejmě zapsat se na výšku - třeba na tzv celoživotní vzdělávání, kde člověk může studovat dle svých preferencí za drobný poplatek.

(Všechna doporučení jsou na broušení obecných problem-solving skillů.)

a ono se to naucit podle me neda - na to je treba mit talent

Bullshit. Alespoň to buď nazývejme otevřeně inteligencí (kterou se učit opravdu moc nedá), nebo magií (ať je alespoň otevřeně zřejmé že nevíme o čem mluvíme a nemáme ambici to pochopit). Ale i nehledě na inteligenci udělá deliberate-practice obrovský rozdíl.

Jinak co hledate je "jak se naucit algoritmizaci"

Nemyslím si. Myslím si, že to co se hledá je ještě o úroveň obecnější než jen algoritmizace.

3

Vývoj / Re:Ověření pravidel pro funktory

« kdy: 04. 03. 2022, 12:31:15 »

Obecně ne, protože problém rovnosti turingovo strojů není rozhodnutelný.

Pro slabší nástroje podobného typu lze hledat klíčová slova:

• "programming by contract" - což ale efektivně vede jen na různé formy assertů, kde co umíš upočítat to umíš ověřit. Obecnou ekvivalenci nad nekonečnou doménou ale neupočítáš.
• "symbolic evaluation" - neb jsou jazyky kde:
  
  • funkce jsou first-class objekty ve smyslu že funkce je možné nejen genericky tvořit a předávat, ale i (zpětně) číst a editovat (třeba lisp)
  • výrazy je možné vyhodnocovat i částečně, protože vše je jen symbol, a tedy s výrazy lze velmi flexibilně manipulovat včetně změn pořadí vyhodnocování, což z hlediska dokazování přeci jen dává člověku do ruky určité nástroje. (třeba mathematica)
    

Jinak samotné podmínky funktoru nejsou nijak složité a není důvod v nich knihovnám nevěřit. Hlavní problém je vyjádřit je tak aby se daly ověřit nad libovolným funktorem, protože pokud bychom dokázali genericky vyjádřit danou podmínku, pak bychom pravděpodobně dokázali sestavit plně generický funktor a vůbec nepotřebovali různé knihovní implementace.

4

Vývoj / Re:Kotlin nebo Scala pro backend?

« kdy: 01. 11. 2020, 12:57:05 »

S prominutím, ale jazyk bez pattern matchingu, bez algebraickych datovych typu, a optimalizovany na to aby se operace provadely skrz efekty neni funkcionalni jazyk. Kotlin ma o nekolik radu slabsi typovy system a vpodstate nepouzitelnou generiku. Zkratka je to funkcionalne **vypadajici** hromadka syntaktickeho cukru nad javou.

Zajem o scalu by byl, bohuzel s nabidkou pozic je to bida :-(.

5

Hardware / Re:Mechanická klávesnica zelené spínače

« kdy: 24. 11. 2019, 17:27:59 »

Pokud chceš vyzkoušet něco méně konvenčního, tak https://ultimatehackingkeyboard.com/ se se zelenými dodává - výroba a všechno probíhá v Maďarsku, takže doručení je celkem rychlé a clení nehrozí.

Ad blogový zápisek - celkem by mě zajímalo proč mají být mechanické odolnější proti tekutinám - žiji v domění že když mechanickou poleju, tak mám tekutinu ihned ve veškeré elektronice, zatímco u membránové mě od elektroniky celkem spolehlivě odděluje právě membrána - takže stačí rozebrat, opláchnout membránu, opláchnout plastový blok, složit a mohu jet dále.