Příspěvky

1006

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 23:44:33 »

jenže současné mainstreamové jazyky mají prostě omezenou syntax.

Uveď příklad prosím.

Celé to je hezky shrnuté zde: https://dl.acm.org/doi/10.1145/1062455.1062488

Skončil jsem u toho, že chtěj placenej účet.

Tak sem hoď jeden dva příklady.

Jinak příkladem je jakýkoliv netriviální dotaz, například:

Kód: [Vybrat]

var query = \person => person.age > xyz

Žádný mně známý rozšířený jazyk neumožňuje z λ-výrazu vytvořit efektivní dotaz (nad indexy databáze). To je jádro věci. Nejblíže k tomu má asi C++, ale taky to jde jen horkotěžko.

Další komplikace jsou pak sémantického rázu, zmíněná db4objects používá kvůli efektivitě proxy objekty, jejichž parametry se musí konfigurovat atd. Celkově tehdy (před 10-15 lety) to byl dost vopruz, proto OODB zůstaly na okraji zájmu (podle Rosenbergera, i když toho to asi moc netrápí, prodal svou OODB za hezkou sumičku).

1007

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 23:37:22 »

jenže současné mainstreamové jazyky mají prostě omezenou syntax.

Uveď příklad prosím.

Celé to je hezky shrnuté zde: https://dl.acm.org/doi/10.1145/1062455.1062488

Skončil jsem u toho, že chtěj placenej účet.

Tak sem hoď jeden dva příklady.

Dej to do Googlu, tohle by mělo být na Research Gate nebo něčem podobném.

1008

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 22:17:16 »

Samozřejmě, napsat typy aka Java/C#, to je možná pod tvou rozlišovací schopnost

U těchto jazyků je implementace vskutku jednoduchá, ale i to dodrbali. Kvalitně je inference typů udělaná v Rustu.

1009

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 22:14:12 »

jenže současné mainstreamové jazyky mají prostě omezenou syntax.

Uveď příklad prosím.

Celé to je hezky shrnuté zde: https://dl.acm.org/doi/10.1145/1062455.1062488

1010

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 22:08:58 »

celej složitej aparát validace

Pokud stačí generické typy, tak složitý není. Až složitější typové systémy implementaci komplikují.

1011

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 21:39:15 »

...a to je mi právě záhada, proč se více neuchytily a nerozšířily objektové databáze.

Kdysi jsem se bavil s autorem db4objects (C. Rosenberger). Hlavní problém je v neflexibilnosti tzv. OO jazyků. On zápasil s Javou (a portem pro C#, pro ten si napsal transpiler z Javy), dnes by to pro Rust, Swift nebo Go bylo ještě horší.

Když si vezmu třeba něco takového: https://crates.io/crates/diesel, což je ještě implementace, která se mi líbí, tak jsem skončil u toho, že takto to dělat nechci. Není to správně OOP.

Ono se (teoreticky) ví, jak objektové databáze dělat správně, jenže současné mainstreamové jazyky mají prostě omezenou syntax. Ten zmíněný Rosenberger o tom měl dokonce akademické články. Jeho implementace v Javě používala hodně hnusné hacky.

1012

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 21:34:27 »

A přitom ve skutečnosti vznikli jen díky tomu, že jazyk bez typové kontroly je možné snáz implementovat.

Není to spíš naopak? Je implementoval oba typy jazyků a runtime pro jazyk bez typové kontroly je těžší napsat, právě kvůli absenci garancí.

Jaké garance máš na mysli?

Co je kde v paměti za hodnotu. Typová kontrola (inference) při překladu prostě přesně zjistí typy, velikost hodnot a polí atd.

1013

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 16:47:06 »

...a to je mi právě záhada, proč se více neuchytily a nerozšířily objektové databáze.

Kdysi jsem se bavil s autorem db4objects (C. Rosenberger). Hlavní problém je v neflexibilnosti tzv. OO jazyků. On zápasil s Javou (a portem pro C#, pro ten si napsal transpiler z Javy), dnes by to pro Rust, Swift nebo Go bylo ještě horší.

1014

Server / Re:MariaDB vs Postgres vs SQL Server

« kdy: 23. 04. 2021, 16:36:30 »

A přitom ve skutečnosti vznikli jen díky tomu, že jazyk bez typové kontroly je možné snáz implementovat.

Není to spíš naopak? Je implementoval oba typy jazyků a runtime pro jazyk bez typové kontroly je těžší napsat, právě kvůli absenci garancí.

1015

Hardware / Re:Intel NUC jako pracovní počítač

« kdy: 23. 04. 2021, 16:02:42 »

Koukám, že mám přesně model, na který se tazatel ptá... a běží pěkně.

Stejně bych ale v jeho případě zvážil nový NUC s Tiger Lakem (má prakticky stejné TDP).

1016

Hardware / Re:Intel NUC jako pracovní počítač

« kdy: 23. 04. 2021, 15:34:43 »

Navíc mi imponuje design, velikost a hmotnost.

V tomto jsou hodně sympatické, jen to chlazeni by mohli vylepšit.

1017

Hardware / Re:Intel NUC jako pracovní počítač

« kdy: 23. 04. 2021, 15:32:20 »

Mám zkušenost se dvěma NUCy (Intel 10 nm), člověk si je může poskládat (kupoval jsem přes SimplyNUC). Výkon je rozhodně v pohodě, jedinou výhradou je větrák, jede nonstop a dost hlasitě, i když CPU je na 1%. Osobně bych Comet Lake rozhodně nekupoval, u NUCu bych asi šel do AMD (nebo aspoň 11. gen., je-li nutností Intel například kvůli AVX-512).

1018

Windows a jiné systémy / Re:Macbook Pro 2015 i7 je rychlejsi nez Macbook 2020 Air i7

« kdy: 23. 04. 2021, 12:01:58 »

Takhle to má i nový Tiger Lake, nedosažitelný papírový boost a hlasitý větrák skoro furt (aspoň ne v klidu, to je ale slabá útěcha). Možná za pár let bude nějaký úspornější proces 10nm++++++++ :/

No pockat, ja mam za to ze ty nove procesory 11. gen uz pojedou dobre. A i fakticky vzato to ukazuje Geekbench:

https://browser.geekbench.com/v5/cpu/compare/7545012?baseline=7540996

AHA, pockat, neukazuje, valcuje to jeno singlecore, ale multicore skoro vubec. Tak to je PROPADAK!!! Predpokladam ze to je proto, ze se ten procesor neuchladi. Me vzdycky kompilace zatizi vsechny 4 jadra, takze bych dost mozna nemel lepsivysledky ani s tim novym procesorem.

Mám 1165G7 a rozhodně si na výkon nestěžuju, nicméně větrák dostává zabrat a teoretického boostu to nedosahuje (by design).

1019

Windows a jiné systémy / Re:Macbook Pro 2015 i7 je rychlejsi nez Macbook 2020 Air i7

« kdy: 23. 04. 2021, 11:18:25 »

Nemuzete porovnavat H procesory (45W) s necim z ULV segmentu (9W).

Samozrejme ze je MUZU porovnavat, co to je zase za pind ze nemuzu.

Srovnávat můžete, co chcete a zjistíte. Že surové parametry procesoru prostě nelžou.

To nevim jak je mysleno, surovy parametr procesoru je, ze umi Boost 3.8GHz, ale nikde uz neni napsane, ze to ten Air kvuli mizernemu chlazeni neudrzi ani 10 sekund, aniz by mu teplota nevystrelila na 100C, a to idyz mu zaplnu naplno vetrak, ze to rva jak 350 v blate. Muj Mac 2015 se nedostane na 100C ani po 3 minutach kompilace a vetraky mu jen tak seveli, ze ani nejdou slyset.

Takhle to má i nový Tiger Lake, nedosažitelný papírový boost a hlasitý větrák skoro furt (aspoň ne v klidu, to je ale slabá útěcha). Možná za pár let bude nějaký úspornější proces 10nm++++++++ :/

1020

Windows a jiné systémy / Re:Macbook Pro 2015 i7 je rychlejsi nez Macbook 2020 Air i7

« kdy: 23. 04. 2021, 02:34:35 »

Třeba klasické modely kvantových počítačů pracují reversibilně

U těch nyní použitelných (s únosnou dekoherencí apod.) je zas brutální redundance, 10²³ molekul pro pár qubitů (u kvantového NMR) je běžné, to taky není žádná výhra. Energie se v praxi ztrácí vždy, třeba u toho NMR se kvantová hradla implementují elektromag. zářením, což je v podstatě energie, která se z většiny ztratí.