KLEINZACH: to uz asi spis sem, ne? :))
[Multimédia z internetového pravěku.]

KLEINZACH: Part2

top gun part 2
https://www.youtube.com/watch?v=H6QPNXI-JPA

heh, jutub na me vytah devadesatkovou klasiku :)

Top Gun - Animace - kultovní to počin z dob minulých
https://www.youtube.com/watch?v=ZLqhRWMzUMQ

E2E4: Tuhle tabulku vidím tenhle týden už podruhý s úplně jinýma číslama. Jen 9% v IT nebo dokonce 99 ze sta učitelů si nepřijdou zbytečný? Buď maj rozptyl tak +- devadesát procent nebo to se ptali nějakých zdrogovaných lidí.

zaujalo.

https://www.nyx.cz/discussion/275939/id/57898483

ALMAD: K te korektnosti - na te stejne konferenci byl i typek z Google (Michael cosi) co dela na sandboxu ve V8. Ten rikal, ze pres 90% vsech security issues co maji je ve skutecnosti "correctness issue" a tedy ze security <=> correctnes.

Samozrejme, vsichni vime, jak zakazniky zajima security :-) takze mas pravdu, neni to protiargument k tomu co rika ten clovek z rethinkdb.

CERMI_FOX: Obavam se, ze u tehle typu projektu to neni tak jednoduche jak by se mohlo zdat.

JANFROG: je otazka, jestli v dobe, kdy uz testy prestavaji skalovat, neprestali programatori skalovat uz davno. Neboli mi to prijde jako indikator potreby ten projekt nejak roztrhat, zmodularizovat nebo neco podobneho

JANFROG: Moc ne, je to spis anekdotalni/osobni zkusenost.

Protipriklad ve smyslu ze projekty co se prilis soustredily na korektnost testu misto delivery dost casto neusoely proti konkurenci co to delala naopak.

Mluvi o tom treba rethinkdb tady https://gist.github.com/ramalho/93b87e961b6e019be8e1f6f82864b6f9#wrong-metrics-of-goodness

Ale samozrejme na podporu NOHOUS, tak nejak zalezi jestli se bavime o databazi, kompilatoru, kernelu, webovym frontendu a nebo beznym SaaSu :)

v cislicovych navrzich se jede constrained random a to je taky peklo sveho druhu, ale tam nastesti jakmile design splni specifikaci, uz do nej nikdo nema moc tendenci hrabat. Kazdopadne korporaty jedou v teto oblasti tezky waterfall s oddelenym verifikacnim a implementacnim tymem; priserne je, ze se neda moc testovat inkrementalne, verifikacni tym jede typicky black box integracni test.

JANFROG: Ono jde taky o to jaky testy. On se v podstate zazil jeden typ testu a to regression testy, ale je toho mnohem vic a s jinejma pristupama, jenom se to nikdy nedostalo do mainstreamu.

Jediny co me na tom trapi je, ze ty showcasy co to moc pekne popsaly jsou software projekty co se jaksi neprosadily, myslim ze tam muze byt urcita kauzalita :)

IMHO dva hlavni protipriklady jsou AWS sluzby a TLA+ (ale to uz je spis formalni verifikace nez testy) a SQLite, co to ma imho udelany i popsany moc hezky.

How SQLite Is Tested
https://www.sqlite.org/testing.html

SULTHAN: Neznám jazyk/framework, kde by ten můj přístup nefungoval. Ale těžko ti to vysvětlím, když ho považuješ za damage.

AXTHEB: většinou mi nejlépe vycházelo mockovat věci na rozhraní systémů...