2017-11-16.log

*** Quits: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) (Ping timeout: 240 seconds)00:12
*** Quits: scippio (56315526@gateway/web/freenode/ip.86.49.85.38) (Quit: Page closed)01:26
*** Joins: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz)08:29
*** Quits: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) (Quit: WeeChat 1.9.1)09:18
mmn__lnovy: dáš mi prosím přístup k ga? googlestuff@necada.org09:58
kliplnovy: jsou nekde zdrojáky ke graph.pirati.cz?10:01
lnovymmn__: pridano.10:24
lnovyklip: pokud nejsou na githubu, tak nejsou, ale meli by tam bejt :)10:24
lnovyklip: ha, tak na gitlabu a nebylo to verejny... az do predvcerejska, najdes to tu: https://gitlab.com/lnovy/graph10:27
blondinaJebać https://gitlab.com/lnovy/graph - read timeout10:27
lnovyblondina: aby ses neposrala10:28
blondinalnovy:  No a také jsem přesně ten, o kterém pro Flexibee vím, je to chytrý člověk, ale tohle se mi to trochu prace a jejiho ohodnoceni, kde by ses měl jménem a heslem.10:28
lnovy8-ball: budou teda ty predcasny volby?10:30
blondinalnovy: 8-ball says: Kdo vi10:30
mmn__lnovy: dík.10:30
*** Joins: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz)10:30
malajankabtw. pouzivate tu nekdo fedoru? uz si fakt nevim rady..10:30
lnovy8-ball: Jakoze chces rict, ze Michalek otoci jo?10:30
blondinalnovy: 8-ball says: Tedka ne10:30
malajankatyden mi nejede zvuk.. procitam uz tyden ruzna fora a zkousim veci10:30
malajankaale stale nic10:31
lnovy8-ball: vsak tedka ne, az pri tretim pokusu, zejo?10:31
blondinalnovy: 8-ball says: Delas si prdel?10:31
malajankaprakticky uz vidim jako moznost jen ##linux a zkusit se zeptat tam10:31
malajanka:D10:31
malajankaale bojim se :(10:31
lnovymalajanka: a praska ti v tom aspon, zobrazi se ti vystupy, kdyz spustit pavucontrol?10:31
malajankajestli chces, muzu ti popsat vsecko, co vim10:32
lnovyme by stacila asik zalozky prehravani, vystupni zarizeni a konfigurace jakozto screenshoty^Wprintscreeny z pavucontrol10:33
malajankatakhle.. uz jsem zjistovala spoustu veci10:33
malajankatakze. pavucontrol zobrazuje jen dummy sound10:33
malajankav configuraci tam jsou ruzne hdmi vystupy, ale vsecky jsou unplugged10:33
lnovyi v ty zalozce konfigurace?10:33
malajankazvukovky vidim, kdyz je necham vypsat10:33
malajankajojo10:33
malajankai v te zalozce konfigurace je vsecko unplugged10:33
malajankajedna velka chyba, kterou vidim10:34
malajankaje ve vypisu z alsactl restore10:34
malajankaalsactl: sysfs_init:48: sysfs path '/sys' is invalid10:34
lnovyzadny z profilu neni Analog Stereo* jo?10:34
malajankanene10:34
malajankav hardware output v pavu nevidim vubec nic10:34
malajankajen ve virtual output10:34
malajankavidim ten dummy sound10:34
malajankauz jsem se snazila lezt i do ruznych configu, abych tam neco vycetla10:35
malajankaale nic moc zatim10:35
malajankanejbliz mi prislo, ze jsem byla naposled u nejakeho bugu, kde prisli na to, ze nejeky openSUSE kodek nebo co (vubec tomu nerozumim, sorry), jeste neumel komunikovat s tou novou intel kabylake kartou nebo wtf10:35
malajankachtela jsem udelat podle navodu https://en.opensuse.org/SDB:Intel-HDA_sound_problems10:36
blondinaSDB:Intel-HDA sound problems - openSUSE10:36
lnovyvis co zkus, vlez do biosu a vypni tu zvukovku, vylez z biosu, vypni kompl, zapni kompl a zase ji v biosu zapni.10:36
malajankaalevubec nenachazim tenhle soubor /etc/modprobe.d/sound.conf10:36
malajankato uz jsem taky zkousela10:37
malajankanuffin10:37
lnovya s hdajackretask jsi si hrala?10:37
malajankajo10:37
malajanka:D10:37
malajankajak rikam.. sedim v tom tyden uz10:37
lnovyokaj, deklaruji, ze to nelze vyresit online :)10:37
lnovymusel bych to videt.10:37
malajankaale jestli mas nejake tipy, co konkretne v tom hdajackretask prehodit a jak10:37
malajankatak budu rada10:37
malajankaprotoze.. samozrejme z moji strany to byla totalni improv10:37
lnovymno... ono s hdajackretask se to ma tak, ze je tezky to pochopit i kdyz mas zvukovku funkcni :) a vysvetlit pres irc by to bylo prakticky nemozny... rozhodne teda tolik casu ani jeden nemame.10:39
malajankachapu10:39
malajankaja zkusim ten ##linux10:39
malajankajako krajni moznost vidim zkusit upgrade na 2710:40
malajankaktera vysla predevcirem :D10:40
malajankatakze se mi do toho zrovna moc nechce10:40
lnovymakam u kohinoru, takze kdyz me nekdy po praci pozves na speka, kouknu se :)10:40
malajankastejne bych tim upgrade mozna asi ani nic nevyresila10:40
lnovycoz mi pripomina, ze je cas jit do prace, mel sem tam byt uz vcera v 9 rano...10:40
malajankaprotoze jak to tak sleduju ten tyden, tak tyhle problemy jsou dost kontinualni uz nekde od roku 200910:41
malajanka:D10:41
lnovya hdaudio jsou problemy od chvile, kdy ta specifikace existuje, je to totiz vagni as fuck a dava ti to naprosto neuveritelne obrovskej pocet moznosti, jak to muze bejt vyrobcem zvukovky zapojeny. vzhledem k tomu, ze ten vyrobce dodava i drivery pro windows, kteryma vetsinu svoji demence napravi, tak celkovej obrazek je takovej, ze v linuxu nejde audio nikdy dobre...10:43
malajankajojo10:44
malajankapresne proto jsem chtela postupovat podle tech navodu na tom opensuse.org10:44
malajankaprotoze tam si rucne dopises do configu tu kartu a drivery nebo co (jestli to dobre chapu)10:44
malajankajenze ja nemuzu najit ten retardovany config10:45
malajankaabych to do nej dopsala :D10:45
malajanka(jakoze neni na te adrese, kterou pisou v tom navodu a.. nejak nevim, kde to hledat jinde)10:45
lnovyah... neco jako dopsat tam options hda_intel alibalba=40loupezniku?10:46
malajankanene10:46
malajankaale na takove navody uz jsem taky narazila10:47
malajanka:D10:47
lnovytak co mas napsat do toho modprobe.d?10:47
malajankatady se prave rovnou psalo to10:47
malajankaoptions snd-hda-intel index=0 model=auto vid=8086 pid=8ca010:47
malajankavid a pid10:47
malajankaco jsem si nechala vypsat zas nekde jinde10:47
malajankaa jako ty cisla mam. ale nemam je kam zapsat10:47
malajankaprotoze v modprobe.d jsou dva .conf10:48
malajankaale ani jeden neni ten, co potrebuju10:48
malajanka:D10:48
lnovytak tam ten sound.conf normalne vytvor10:48
malajankajenze ja nevim, co v nem musi vsecko byt, aby to fungovalo10:48
lnovy(vytvor ho primo tam, nekopiruj ho tam odjinud, protoze selinux)10:48
lnovyjenom ten jeden radek staci10:48
malajankaaha10:48
malajankaoO10:48
lnovypak jeste musis vetsinou rebuildnout initramfs jelikoz u fedory obcas nejaci chytraci dostanou takovej super napad jakoze zvukovku potrebujes mit nactenou jeste pred tim nez pripojis disky a zapnes grafiku...10:50
malajankaachjo.. :D10:50
malajankajestli to zase rozeseru10:50
malajankatak.. proste reinstaluju no10:50
lnovycp /boot/initramfs-$(uname -r).img /boot/initramfs-$(uname -r).bak10:50
lnovydracut -f /boot/initramfs-$(uname -r).img $(uname -r)10:50
lnovyoboje na roota10:50
malajankastejne jsem s tim smirena :D10:50
lnovytim sound.conf nemuzes nic posrat10:50
malajankano ne.. to jsem myslela spis tim, co pises ted :D10:51
lnovya tema druhyma prikazama to bych te po telefonu navedl, jak to nabootovat, kdyz by to nebootovalo10:51
malajankaprotoze vubec nevim, o co jde a ma to spoustu arfumentu :D10:51
lnovy.bak jako backup :)10:51
lnovyuname -r vypise aktualni bezici verzi jadra, $( ) je eval, spusti prikaz a obsah vlozi do prikazu misto toho, takze prvni rade zazalohuje aktualni intiramfs a druhej radek pusti dracut, coz je takovej redhati zmrd starajici se o to, ze ti nahodne pri upgrade jadra prestane fungovat treba touchpad nebo podsviceni, ale v tomhle pripade proste vygeneruje ten initramfs novej a zahrne tam i tu konfiguraci z modprobe.d co jsi vytvorila10:53
malajankadiky moc.. zatim jsem udelala ten sound.conf a uvidim, co po rebootu10:54
malajankakdyby to furt neslo, tak zkusim zkusit to, co pises10:54
malajanka:D10:54
lnovytak ja jeste vydrzim jedno cigo10:54
*** Quits: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) (Quit: WeeChat 1.9.1)10:54
*** Joins: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz)10:57
malajankasamozrejme, ze hovno..10:57
malajanka:D10:57
lnovycat /sys/module/snd_hda_intel/parameters/index10:57
lnovyvypise -1, -1, -1 ... nebo 0, -1, -1, ... ?10:58
malajankaprvni je nula10:58
malajankaco to kurva je?10:58
malajanka:D10:58
lnovytak konfigurak to pozralo10:58
malajankajuu10:59
lnovyale nepomohlo to, dracut zkouset nemusis10:59
malajankaale chudak stejne nefunguje10:59
malajankaok10:59
lnovymizim, pac10:59
malajankabyeo10:59
malajanka:)10:59
malajankadiky10:59
lnovynz10:59
malajankajo btw.. jenom kdyby si to nekdo cetl a chtel mi treba pomoct :D tak cely tenhle problem uz nekolikrat (potvrzene reprosteps) iniciovalo suspendnuti systemu s zapojenyma sluchatkama a jejich nasledne odpojeni pri stale suspendlem systemu11:00
malajankakdyz se to resuspendne, tak to ukazuje i repraky i headphones zaroven, ale nehraje nic11:01
malajankaa nasledny reboot to posle uplne do kytek a uz vidim jen dummy output11:01
malajanka(poprve, kdyz se mi to stalo, tak to nejaky nahodny reboot proste spravil.. ale ted uz jedu tyden, rebootu bylo celkemdost a furt nic)11:01
mmn__Zkoušelas znovu připojit a vypojit sluchátka? :D11:01
malajanka! :D11:01
malajankaano11:01
malajankai takovehle samanske reprosteps naopak jsem zkousela11:02
malajankaa uplne to nepomohlo no.. (nebo jsem to delala blbe)11:02
mmn__Mně se to taky občas stalo a právě tohle pomohlo.11:02
malajankajakoze..11:02
malajankajsi je pripojil a vypojil behem toho suspendu11:02
malajankanebo nejak.. specialne?11:03
mmn__Ne, po probuzení.11:03
mmn__Úplně normálně.11:03
malajankajo. no takze ty reprosteps naopak11:03
malajankatak ja to asi zkusim.. znova.. jeste.11:03
malajankachmm.. uvazuju, jestli to nezkusit rovnou s nabehnutim systemu11:03
malajankaprotoze tohle byl ne takovy ten rychly suspend, ale spanek (po presnocnim odpocinku)11:04
malajankanevim, jak se tomu rika.. nikdy jsem nepobrala rozdil mezi hybernaci a suspendem11:04
mmn__Hybernace uloží obsah RAM na disk a počítač se natvrdo vypne.11:05
mmn__Suspend jen povypíná všechno možné, ale pořád napájí RAM a udržuje v ní data.11:05
malajankajo. taky jsem to tak chapala11:05
malajankatakze mne prijde, ze to s tema sluchatkama se stalo11:06
malajankaaz pri hybernaci11:06
malajankaa mozna ze jsem ty reprosteps naopak zkousela jen se suspendem11:06
*** Quits: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) (Read error: Connection reset by peer)11:08
*** Joins: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz)11:09
malajankapicovolekunda11:09
mmn__:)11:09
malajankated uz tam nevidim dummy output11:10
malajankavidim tam speakers i headphones11:10
malajankaa zas nehraje ani jedno11:10
malajanka:D11:10
malajankagotta love this shit11:10
malajankauz to gra i spiewo11:10
malajanka....11:10
malajankadiky kybersoudruhu11:11
mmn__No vidíš.11:11
malajankazes me privedl k tomu, ze moje retroreprosteps byly nedokonale vykonane11:11
malajanka....11:11
malajankato si zada neco na urovni11:12
malajankahttps://www.youtube.com/watch?v=xC03hmS1Brk11:12
blondinaI Kill People - YouTube11:12
mmn__:D11:12
malajanka:D11:12
mmn__Takové feministické.11:12
malajankatak.. tohle je jeste dost gender neutral oproti "show me your genitals" a "e=mc vagina"11:13
malajanka:D11:13
mmn__Ale neříká v tomhle něco jako „Women are actually good for 4 things (...)“?11:14
malajankajojo. to je právě jen takové malé pokračování na ty dvě, co jsem psala výše11:14
malajanka:D11:14
malajankastupid poor people stupid poor people11:14
malajankayou cant even afford food!11:14
malajanka<311:14
malajanka:D11:14
malajankakazdopadne mam samozrejme rada taky jeho filozoficka dila jako fuck everything11:15
mmn__Jo, akorát v poslední době už tyhle věci moc nedělá.11:16
malajankamiluju, jak se totalni dafuck picovina pak rozjede do uvah o determinismu tohohle univerza a podobne11:16
malajankato ne no11:16
malajankaale udelal toho dost.. i tak11:17
malajankatakze za me dobry!11:17
malajanka:)11:17
malajankaa kdyz uz jsme u te filozofie11:17
malajankahttps://www.youtube.com/watch?v=vO1CCXXMzBI11:17
blondinaReggie Watts - A Song About Apples (Always Love Yourself) - YouTube11:17
malajankaklip: stale ti nedokazu dost podekovat za to, zes mi ukazal tohohle skveleho silence :)11:17
kliplnovy: dik, prima... nevim, jestli udelat konvertor do rdf primo z api a nebo to udelat jako pull request do graph api a pridat konverzi do RDF jako application/ld+json content11:54
klipmalajanka: nz :) taky si ho porad poustim11:55
lnovymno to je docela zasadni informace s tema sluchatkama... co je to konkretne za model ten notebook?11:57
malajankalnovy: dell vostro 556811:58
malajankaja jsem ti nabizela, ze ti reknu vsecko, co vim11:58
malajankaale tys chtel jen nejake konkretni info :D11:58
malajankahttps://www.softcom.cz/eshop/dell-vostro-5568-i7-7500u-8gb-256ssd-geforce-940mx-15-6-win-10-pro_d203073.html tenhle11:59
blondinaDELL Vostro 5568 / i7-7500U / 8GB / 256SSD / GeForce 940MX / 15,6” /Win 10 Pro11:59
lnovysudo lspci -nn | grep Audio12:01
lnovy(zakazuji si nad tim delat, skoda casu, kdyz to muze bejt za 5 minut onsite hotovy)12:08
malajankalnovy: ale dyt mne uz to jede12:13
malajanka:D12:13
lnovycim si to opravila?12:13
malajankatakze nad tim rozhodne nemusis vubec travit cas uz12:13
malajankano tema reversed reprosteps12:13
malajankadala jsem ho do hibernace12:13
malajankapripojila sluchatka12:13
malajankaodhibernovala12:13
malajankaa pak odpojila sluchatka12:14
mmn__„Have you tried to turn it off and on again?“ :D12:14
malajankavole!12:14
malajankaja to zkousela12:14
malajankaale nedoslo mi, ze kdyz se suspendne, tak pak sam prejde do hibernace12:14
malajankaja tady totiz hibernaci normalne nemam nikde povolenou12:14
malajanka:D12:14
malajankatakze jsem ji nezkousela pritom opacnem postupu12:14
lnovyaha, klasika :) nemusis to ani hibernovat, staci tam dat ty sluchatka a spustit systemctl restart alsa12:14
lnovyci jak se ten kram ve fedore jmenuje :)12:14
malajankakecas12:15
malajankatak to schvalne pak nekdy vyzkousim12:15
lnovymno musi to jit, protoze tesne pred tim nez do jde chrapat se ti urve modul z jadra a po probuzeni se tam zase narve... a restart alsy imho udela to stejny12:16
malajankaouk. to by davalo smysl, tak jak to popisujes12:16
lnovyv podstate i rebootovat se sluchatkama by melo pomoc nicmene je to 1. divny 2. chyba12:17
lnovychyba v ukladani hlasitosti12:17
lnovynebo tak neco12:17
lnovyproste demence12:17
malajankajenze to nezafungovalo. jsem imho zkousela ne jednou12:17
malajankaje to demence rozhodne12:18
malajankaale naposled jsem to musela resit reinstallem :D takze tohle je fajn reseni12:18
lnovydobre, tak v tom pripade... https://imgur.com/iZcUNxH12:18
malajanka(ikdyz tam se mi pak zesralo jeste vic veci12:18
malajankalnovy: +112:18
malajanka:D12:18
malajankatam se mi jako stala fakt vtipna zalezitost12:18
malajankakdyz jsem zkousela odinstalovat pulseaudio12:19
malajankatak se mi najednou nebootovalo guicko12:19
malajankazacinala jsem v konzoli a musela manualne pustit startx12:19
malajankapak jsem po dlouhem hledani zjistila, ze pulseaudio pri tom uninstallu s sebou vzalo i gnome shell12:19
malajankaDAFUCK12:20
malajanka:D12:20
mmn__Závislosti.12:20
malajankajo no12:20
lnovythermomix homebrew komunita koukam zaziva prekotny vyvoj... a to uz vypadalo, ze je to uplne mrtvy... allah bless ikaro psi... :) https://www.mikrocontroller.net/topic/thermomix-rezeptchips?page=2#521111612:20
malajankazávislosti mi dělají problém no.. :D 412:20
lnovydependency hell :)12:20
malajankano tak jsem pak nainstalovala ten gnome zase zpatky a bylo..12:20
malajankaale to byla jen takova vtipna.. vec. samozrejme to nic nevyresilo12:21
malajankaale musim rict, ze me fakt bavi se v tom takhle vrtat. chybi mi k tomu uz akorat ten exterak, kam bych si dycky po tech mych pokusech prehrala data, abych mohla vklidu reinstallovat :D12:21
malajankana mintu mi tohle chybelo. upadla jsem zas do totalne bfu modu jak na windowsech12:22
malajankaproto jsem se vratila k fedore :3 a evidentne se vyplatilo :D12:22
kliptrochu se obávám, že cesta přes pull request je sice rychlejší a jednodušší, ale zas bejt závislej na TO? to nechci12:24
kliptak to asi stejně udělám jako api k api12:25
klipnebo spíš konverzi graphapi do RDF souboru, kterej vystavim12:25
kliphmm. já vlastně můžu upravit graphapi, aby se dotazovalo misto phpbb přímo graphapi a tím pustím mirror12:26
klipa tam si můžu dělat co chci12:27
klipgood12:27
klipkdyž koukám na ty maily u supporterů, tak ty jsou funkční? jakoze já bych měl mít tomas.klapka@regp.pirati.cz ? :)12:31
lnovyne ty nejsou funkcni12:31
klipto je dobře :)12:33
CcxWrkVykašli se na RDF, nauč se Prolog. :D13:37
klipono to má mnoho společného :) prolog se používá třeba pro reasoning v RDF13:45
kliphttps://github.com/josd/eye13:46
blondinaGitHub - josd/eye: The EYE Reasoner13:46
klipprolog je jen jazyk. rdf je datovej framework :)13:46
klippřínosy RDF uvidíš časem :)13:47
CcxWrkPřínosy RDF jako že znovuvymysleli tech ze 70tejch, "now with XML" a ještě daleko míň expresivní? :D13:52
CcxWrkJá jsem s RDF dělal a pak jsem objevil jak jednodušší je to reprezentovat predikátama. Líp se to čte, píše, celý ten engine je daleko jednodušší, parsování a konstrukce jsou jakoby mimochodem skoro samy od sebe do čehokoliv co jsi schopný formálně popsat…13:56
klipjak to myslíš reprezentovat predikátama?14:06
kliptak mám běžící live mirror https://graph.pirati.hejno.cz/14:07
CcxWrkMno, v tom Prologu jsi někdy něco zkusil, nebo jenom víš že ho nějaké implementace používají?14:13
klipjen sem četl knížku, kde prologu věnovali kapitolu14:20
CcxWrkAha. Tyhle letem světem bývají docela mimo. Knížka asi míň než kurzy na školách (5 programovacích paradigmat za semestr, lektor rozumí možná tak 2).14:23
klipnevím, co myslíš tím, že si objevil, že reprezentovat data predikátama je jednodušší než RDF :)14:23
CcxWrkAspoň pro mě je to nejpřirozenější formální reprezentace kterou si třeba sesmolím někam do souboru jenom abych si vyjasnil co a jak. A ono to i většinou funguje. Něco jak se říká o Pythonu že je to spustitelný pseudokód, tak Prolog je pro mě to samý pro data.14:23
klipmě přijde, že to, co získáš prologem, máš v RDF s reasoningem taky14:24
klipchtělo by to konkrétní příklad :)14:24
olidstva-mmn__: Ted me jeste napadl alternativni navrh k ty komulaci funkci, ale aisk ho nestihnu sebrat14:25
kliphodil sem kód k tomu graph live mirroru na svůj github: https://github.com/tomasklapka/piraticz-graph-livemirror/14:25
blondinaGitHub - tomasklapka/piraticz-graph-livemirror: Live mirror of Czech Pirate Party social graph https://graph.pirati.cz14:25
klipprolog má proti RDF spoustu nevýhod, jakože RDF má vyřešený formáty, serializaci, transport vrstvu napříč netem, univerzální identifikátory/lokátory, specializovaný databáze a další nástroje14:28
klip... ontologie :)14:28
CcxWrkTy trojice jsou dost omezující, v čistym RDF nemáš proměnný a inferenční pravidla. SPARQL je vedle toho oddělený.14:28
CcxWrkZrovna v nástrojích si myslím že implementace Prologu vedou. Ale záleží na co koukáš.14:28
CcxWrkSyntaxe je standardizovaná, tam problém není.14:29
CcxWrkHele, proberem to někdy jindy. Ale prostě doporučuju zkusit si v tom něco napsat, to se těžko takhle obecně opisuje, je lepší vidět kód.14:32
CcxWrkChtěl bych třeba vidět jak někdo přepisuje CYC/CYCL do RDF… nebo radši ne. :D14:34
CcxWrk##prolog je fajn jestli chceš zaidlit nebo to víc probrat, jsou tam lidi co dělaj jak semantic web věci tak hardcore komplexní AI. I podstatně praktičtější aplikace. :-}14:38
CcxWrk> prolog je jen jazyk. rdf je datovej framework14:41
CcxWrkTo je jak říct že SQL je jen jazyk. :D14:41
CcxWrkMno nic, zpátky do pracovního procesu.14:42
klipSQL je dotazovací jazyk na data :)14:46
klipNějak furt nevím jaký přínosy ten prolog má mít. CYCL neznám, ale nevím, proč by neměl jít uložit do grafu14:47
klipRDF není jazyk14:49
klipnad RDF si můžeš udělat vrstvy jaký chceš. Třeba ten jazyk, jako je třeba Ripple https://github.com/joshsh/ripple14:51
blondinaGitHub - joshsh/ripple: Semantic Web scripting language14:51
*** Joins: scippio (56315526@gateway/web/freenode/ip.86.49.85.38)15:00
CcxWrkSQL má DDL a DML/query. Taky definuje úrovně konzistence atp. Prolog má Knowledge-base a query/goals.15:05
lnovyklip: tak mám běžící live mirror https://graph.pirati.hejno.cz/ <- k cemu proallaha? kdyz padne graph.pirati.cz tak tohle padne taky ne?15:13
kliplnovy: jj, to padne... mam to hlavne jako testovaci verzi abych k tomu dodelal konverzi do RDF a takhle nepotrebuju nici soucinnost15:15
klipudelat to jako opravdovej mirror, kterej by bezel i v pripade vypadku by bylo fajn, ale zatim to nepotrebuju15:17
olidstva-prolog <315:24
olidstva-ja bych teda rekl ze ma atomy a pak ma formule, ale asi to jde nazvat i jinak :D15:25
klipchapu to dobre, ze atomy jsou fakta/statementy a formule jsou rules?15:28
CcxWrkVědomostní báze má fakta a pravidla. Ty dál můžeš rozebrat na predikáty, proměnné a atomy.15:29
CcxWrkNevím jak by se dobře přeložilo "goal" do češtiny.15:29
CcxWrkhttp://www.swi-prolog.org/pldoc/man?section=glossary15:29
blondinaSWI-Prolog -- Manual15:29
klipTady jsou třeba v RDF zapsaný rules pro běžnou RDF + trochu OWL inferenci: http://eulersharp.sourceforge.net/2003/03swap/rpo-rules.html15:30
blondinarpo-rules15:30
klipnormálně tam jsou proměnný15:31
CcxWrkCo takhle uspořádat v nějaké hospodě Prolog Users Group? :D15:31
lnovyFalse.15:31
klipmě ten prolog pořád nepřesvědčil15:32
CcxWrkTo chce vidět, no. Říkal jsem nechme to na jindy.15:33
lnovy:socrates :a :man .15:37
lnovy{ ?x :a :man } => { ?x :a :mortal } .15:37
lnovyfin.15:37
lnovy?Y :a :mortal .15:37
lnovyfin.15:37
lnovyklip: naimplementuj tam do toho graphu contexty podle JSON-LD https://en.wikipedia.org/wiki/JSON-LD konverzi do RDF mas pak zadarmo :)15:42
blondinaJSON-LD - Wikipedia15:42
CcxWrkVšak jo, neříkám že pro to není implementace. Stejně tak máš třeba miniKanren pro scheme/sexp reprezentaci. Ale prostě mi to přijde že to ztrácí na čitelnosti a ten stack nabírá na košatosti zatímco "maličkej" prologovej engine zastane to všechno plus ještě constraint solver, transformace na libovolný formáty a spoustu dalšího. Protože se na tom už dělá několik desetiletí.15:49
kliplnovy: jj, to je asi nejjednodussi zpusob15:49
CcxWrkJe teda asi pravda že na ten RDF stack mám trochu zkreslený pohled, protože jsem s tím dělal v době kdy OWL začínalo, Turtle byla žhavá novinka…15:50
CcxWrkTakže to byl dost kulturní šok mezi těma dvěma světama :D15:51
CcxWrkAsi by bylo zajímavý vzít si http://learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-html a pro porovnání to postupně přepisovat, jak by to vypadalo v nějakym RDF/OWL-based enginu. Jestli se ti v tom chce šťourat.15:58
blondinaLearn Prolog Now!15:58
CcxWrkAnyway, původní pointa byla: "Do Prologu naimportuješ klidně ten JSON a můžeš pak s tím dělat striktní nadmnožinu věcí, takže nevidím proč se trápit s konverzí do RDF" :-)16:07
klipprotože RDF má hyperlink a má unifide resource identifikátory/lokátory pro všechny resourcy?16:16
klip:)16:16
klipa protože má zavedný ontologie16:16
CcxWrkhttp://www.swi-prolog.org/web/ aby neznělo že to jsou mutuálně exkluzivní platformy16:20
blondinaSWI-Prolog for the (semantic) web16:20
CcxWrkJako jo, chápu že na interchange je to rozumnej formát. Jen nechápu proč by to někdo chtěl pro skutečnou práci s daty.16:21
klippro mě je právě hodně důležitá schopnost univerzálního interchange. Umožňuje to lépe oddělit data od aplikací a větší možnosti decentralizace. Pro skutečnou práci s daty to může být obtěžující, ale to se dá řešit přes high level knihovny, případně speciální RDF uložiště (triple/quad store) nebo jiné reasonery uspůzobené pro konkrétní potřeby a kontext aplikace.16:31
CcxWrkOK then16:33
klipmě jde hlavně o to, aby když si udělám svůj sociální prostor někde na nějakym serveru, abych měl možnost si ty data všechny vzít a importnout si je k jinýmu provozovateli nebo na svůj vlastní server...16:33
klipa to nejsou jenom social věci... třeba wordpress blog, nebo data někde v doodle...16:34
klipkaždá aplikace má nějakej svůj vlastní formát nebo model, kterej není univerzální.16:35
CcxWrkJen že jsem trochu alergický na abstrakci pro abstrakci. Mám rád jednoduchý programy co dělaj jednoduchý věci. Příjde mi že se tím abstrahováním a unifikací formátů často stráví víc času a produkuje to složitější/křehčí aplikace než když by se to vzalo vždycky zgruntu jen to co to opravdu potřebuje.16:36
CcxWrkChápu že heterogenní data jsou problém když jedinej nástroj kterej na to máš je XSLT nebo psát vlastní transformátor v Javě. Ale když je to otázka pětiřádkovýho DCG v Prology tak je to jiná.16:38
klipCcxWrk: když potřebuješ něco konkrétního, tak ok, ale pokud chceš posunout internet o level vejš, tak je taková abstrakce imho nutná :)16:44
klipaplikace mě zajímaj až sekundárně, protože si už jen s těma datama můžu hrát univerzálníma nástrojema, nebo si kdykoliv k těm datům můžu napsat aplikaci vlastní ;)16:47
klipsouhlasím s tím, že to je složitější a že to bude křehčí, ale přínos univerzálnosti to u mě vyváží16:48
CcxWrkZ toho "levlu vejš" jsem zatím neviděl vypadnout nic moc užitečnýho, jen hromady papíru na konferencích. Zatímco konkrétní věci přináší konkrétní, často plošný, přínos.16:53
CcxWrkNevím, asi jsem moc starý a cynický aby na mě měl tenhle druh idealismu efekt. :D16:53
CcxWrkCYC je ten samý koncept, pozdní 80 léta.16:54
CcxWrkPak přišla AI winter a nikdo do toho pořádně nehráb, krom pár šílenců.16:54
CcxWrkhttps://xkcd.com/927/16:55
blondinaxkcd: Standards16:55
CcxWrkOntologie/formát má buď pár konkrétních užití, nebo bude tak bezmezně bobtnat jako ten CYC.16:56
scippiovzdycky trva nez se neco zacne poradne sirit a pouzivat...16:59
CcxWrkO to nejde. Jde o to že nejde napsat žádná kompletní ontologie. A kaaždá konverze mezi reprezentacema má nějakou ztrátovost. Takže bych to neviděl na to že "teď se dohodneme jak budem všecho reprezentovat a pak už můžem jen psát aplikace", ale naopak že každá nadbytečná abstrakce hloubí jámu další složitosti zatím to cyklus toho "teď máme ještě komplexnější reprezentaci" se17:02
CcxWrkbude do nekonečna opakovat, jen bude těžší a těžší s těma datama něco opravdu dělat.17:02
scippioztratovost maji i lidske smysly... jde jen o to to nejak rozumne prevest a potom "všecho reprezentovat a pak už můžem jen psát aplikace"17:16
CcxWrkVšechno… Standa Lem na to má hezkou povídku, o "démonovi druhého stupně". :D17:20
CcxWrkRozumná reprezentace je ta nejjednodušší která plně naplňuje požadavky aplikace. Pamatuj že programy furt píše člověk. A furt to dělá dost blbě. Komplexita a abstrakce nejsou "featury" ale daň, není rozumné platit víc než je nutné.17:23
CcxWrkAž bude programy psát postsingularitní transhummání AI tak cajk, ať si reprezentuje "všechno". :D Ale zatím čím větší složitost tím ve výsledku větší katastrofa.17:24
scippiotenhle kvantifikator si vytahl ty... nikdo nechce udelat kopii vsech atomu... pokud vim.17:47
CcxWrkAle tam vede jakýkoliv "dohodneme se na jednom formátu". :D Na to se stačí podívat asi tak na cokoliv co tuhle ambici mělo. Na těch AI věcech je to krásně vidět, ale cokoliv jinýho postačí. Třeba jazyky který chtěj "všechny featury". Cokoliv co má na starosti nějaká komise. Nebo že místo BIOSu ti běží zároveň asi 3.5 operačního systému. Tady konkrétně SGML → XML → RDF →17:55
CcxWrkOWL → OWL2 → … jen na konci nečekej → Profit! protože se nedočkáš.17:55
CcxWrkVšimni si že *všechny* tyhle technologie měly heslo "až konvertujeme všechno do tohohle formátu tak zbytek práce už bude jednoduchý".17:58
malajankahmm. precetla jsem si to cele a hrozne bych chtela tomu rozumet18:08
CcxWrkJá bych si zas přál abych tomu nemusel rozumět. :D https://xkcd.com/1479/18:09
blondinaxkcd: Troubleshooting18:09
CcxWrkHeh, na druhou stranu http://www.smbc-comics.com/18:11
blondinaSaturday Morning Breakfast Cereal - Life Philosophy18:11
malajanka:D18:16
malajankaja se ale snazim snazit.. nejak. o vikendu bych zas mela pokrocit v pythonu18:17
malajankanicmene ten tyden troubleshootingu kolem zvuku me taky docela proskolil :D18:17
malajankazlata fedora. konecne chapu, proc si u nas na vesnici kluci v 16 kupovali fichtly, ktere casteji opravovali, nez na nich jezdili18:18
malajanka(nerikam, ze fedora ma ten pomer taky takhle.. ale rozhodne ho ma v tomhle smeru "lepsi" nez mint.. tam je to proste uz near-windows-experience :D )18:19
CcxWrkŽe je všechno divně rozbitý? :D To je ta složitost v praxi. Prostě to jako humani nedáváme. Nedokážem promyslet všechny možnosti. A i když postavíme systém který za nás má promyslet všechny možnosti tak v něm stejně něco nedomyslíme.18:20
CcxWrkhttps://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/18:20
blondinaAn empirical study on the correctness of formally verified distributed systems | the morning paper18:20
CcxWrkJsem někde slyšel o studii na raketoplánech, že spolehlivost je nepřímo úměrná počtu mezi sebou interragujících dílů. Software je to samý. Jenom je to víc schovaný pod kapotou.18:21
CcxWrkA tím že jsou pořád rychlejší se tam kumuluje větší a větší bordel. → Nic není spolehlivý, leftpad kam se podíváš.18:23
CcxWrkhttps://blog.toggl.com/world-created-programmer/18:26
blondinaIf The World Was Created By A Programmer [Comic] - Toggl Blog18:26
malajankarozhodně18:34
malajankaproto se taky chystám fungovat v režimu - data na exteráku; noťas si můžu v rámci možností rozbít, jak je libo18:35
malajankaprotože můžu dycky začít znova reinstallem, který mě bez ztráty dat nebude srát18:35
malajanka:D18:35
malajankaakorát se budu muset naučit zodpovědně zálohovat18:35
malajankanicméně to mi příjde jako dobrý skill, takže.. mi to nevadí asi :D18:35
CcxWrkJá teďka nasazuju Tahoe-LAFS, což je dobře kryptoanarchistické řešení pro zálohy. :D Ale ne teda samostatně, na to je to taky dost složitá věc.18:40
CcxWrkParalelně s tím mám archiv trochu ala rsnapshot (akorát -perl +shell +push/pull přes síť), nejjednodušší řešení co jsem byl schopný stvořit.18:41
CcxWrkMám teda tu výhodu že většinu práce (a dneska už i většinu konfigurace systémů) mám v nějakém verzovacím systému.18:45
malajankatak.. to já mám většinu práce bohužel ve wordech a excelech >.<18:57
malajankano nic :) zalozili jsme. preji krasny zbytek vecera a zase nekdy na videnou ^^18:58
Ryuno-Ki[m]I saw RDF and JSON-LD above… were there a discussion about Semantic Web?19:54
Ryuno-Ki[m]Although I love microformats (http://microformats.org, no https) because its community-based, it seems to be dead. JSON-LD is quite neat to generate, but schema.org examples are incomplete and Google's Rich Snippet Test Tool is too lax. Use the validator by Yandex if you want to have valid JSON-LD.19:57
blondinaJebać http://microformats.org, - Can't connect to microformats.org,:80 (Bad hostname)19:57
Ryuno-Ki[m]Bad hostname?19:58
CcxWrkDangling "," apparently blondina can't recognize valid URI properly.20:04
CcxWrkIf you were wondering, most of my monologue boils down to "most stuff is overcomplicated"20:05
Ryuno-Ki[m]Ah, makes. I know one news outlet which does weird things with commas…22:18
mmn__olidstva: sem s tím návrhem .23:06
mmn__Lhůtu pro navrhování lze prodloužit.23:06

Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!