*** 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.org | 09:58 |
---|---|---|
klip | lnovy: jsou nekde zdrojáky ke graph.pirati.cz? | 10:01 |
lnovy | mmn__: pridano. | 10:24 |
lnovy | klip: pokud nejsou na githubu, tak nejsou, ale meli by tam bejt :) | 10:24 |
lnovy | klip: ha, tak na gitlabu a nebylo to verejny... az do predvcerejska, najdes to tu: https://gitlab.com/lnovy/graph | 10:27 |
blondina | Jebać https://gitlab.com/lnovy/graph - read timeout | 10:27 |
lnovy | blondina: aby ses neposrala | 10:28 |
blondina | lnovy: 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 |
lnovy | 8-ball: budou teda ty predcasny volby? | 10:30 |
blondina | lnovy: 8-ball says: Kdo vi | 10:30 |
mmn__ | lnovy: dík. | 10:30 |
*** Joins: malajanka (~malajanka@ip-89-177-107-249.net.upcbroadband.cz) | 10:30 | |
malajanka | btw. pouzivate tu nekdo fedoru? uz si fakt nevim rady.. | 10:30 |
lnovy | 8-ball: Jakoze chces rict, ze Michalek otoci jo? | 10:30 |
blondina | lnovy: 8-ball says: Tedka ne | 10:30 |
malajanka | tyden mi nejede zvuk.. procitam uz tyden ruzna fora a zkousim veci | 10:30 |
malajanka | ale stale nic | 10:31 |
lnovy | 8-ball: vsak tedka ne, az pri tretim pokusu, zejo? | 10:31 |
blondina | lnovy: 8-ball says: Delas si prdel? | 10:31 |
malajanka | prakticky uz vidim jako moznost jen ##linux a zkusit se zeptat tam | 10:31 |
malajanka | :D | 10:31 |
malajanka | ale bojim se :( | 10:31 |
lnovy | malajanka: a praska ti v tom aspon, zobrazi se ti vystupy, kdyz spustit pavucontrol? | 10:31 |
malajanka | jestli chces, muzu ti popsat vsecko, co vim | 10:32 |
lnovy | me by stacila asik zalozky prehravani, vystupni zarizeni a konfigurace jakozto screenshoty^Wprintscreeny z pavucontrol | 10:33 |
malajanka | takhle.. uz jsem zjistovala spoustu veci | 10:33 |
malajanka | takze. pavucontrol zobrazuje jen dummy sound | 10:33 |
malajanka | v configuraci tam jsou ruzne hdmi vystupy, ale vsecky jsou unplugged | 10:33 |
lnovy | i v ty zalozce konfigurace? | 10:33 |
malajanka | zvukovky vidim, kdyz je necham vypsat | 10:33 |
malajanka | jojo | 10:33 |
malajanka | i v te zalozce konfigurace je vsecko unplugged | 10:33 |
malajanka | jedna velka chyba, kterou vidim | 10:34 |
malajanka | je ve vypisu z alsactl restore | 10:34 |
malajanka | alsactl: sysfs_init:48: sysfs path '/sys' is invalid | 10:34 |
lnovy | zadny z profilu neni Analog Stereo* jo? | 10:34 |
malajanka | nene | 10:34 |
malajanka | v hardware output v pavu nevidim vubec nic | 10:34 |
malajanka | jen ve virtual output | 10:34 |
malajanka | vidim ten dummy sound | 10:34 |
malajanka | uz jsem se snazila lezt i do ruznych configu, abych tam neco vycetla | 10:35 |
malajanka | ale nic moc zatim | 10:35 |
malajanka | nejbliz 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 wtf | 10:35 |
malajanka | chtela jsem udelat podle navodu https://en.opensuse.org/SDB:Intel-HDA_sound_problems | 10:36 |
blondina | SDB:Intel-HDA sound problems - openSUSE | 10:36 |
lnovy | vis co zkus, vlez do biosu a vypni tu zvukovku, vylez z biosu, vypni kompl, zapni kompl a zase ji v biosu zapni. | 10:36 |
malajanka | alevubec nenachazim tenhle soubor /etc/modprobe.d/sound.conf | 10:36 |
malajanka | to uz jsem taky zkousela | 10:37 |
malajanka | nuffin | 10:37 |
lnovy | a s hdajackretask jsi si hrala? | 10:37 |
malajanka | jo | 10:37 |
malajanka | :D | 10:37 |
malajanka | jak rikam.. sedim v tom tyden uz | 10:37 |
lnovy | okaj, deklaruji, ze to nelze vyresit online :) | 10:37 |
lnovy | musel bych to videt. | 10:37 |
malajanka | ale jestli mas nejake tipy, co konkretne v tom hdajackretask prehodit a jak | 10:37 |
malajanka | tak budu rada | 10:37 |
malajanka | protoze.. samozrejme z moji strany to byla totalni improv | 10:37 |
lnovy | mno... 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 |
malajanka | chapu | 10:39 |
malajanka | ja zkusim ten ##linux | 10:39 |
malajanka | jako krajni moznost vidim zkusit upgrade na 27 | 10:40 |
malajanka | ktera vysla predevcirem :D | 10:40 |
malajanka | takze se mi do toho zrovna moc nechce | 10:40 |
lnovy | makam u kohinoru, takze kdyz me nekdy po praci pozves na speka, kouknu se :) | 10:40 |
malajanka | stejne bych tim upgrade mozna asi ani nic nevyresila | 10:40 |
lnovy | coz mi pripomina, ze je cas jit do prace, mel sem tam byt uz vcera v 9 rano... | 10:40 |
malajanka | protoze jak to tak sleduju ten tyden, tak tyhle problemy jsou dost kontinualni uz nekde od roku 2009 | 10:41 |
malajanka | :D | 10:41 |
lnovy | a 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 |
malajanka | jojo | 10:44 |
malajanka | presne proto jsem chtela postupovat podle tech navodu na tom opensuse.org | 10:44 |
malajanka | protoze tam si rucne dopises do configu tu kartu a drivery nebo co (jestli to dobre chapu) | 10:44 |
malajanka | jenze ja nemuzu najit ten retardovany config | 10:45 |
malajanka | abych to do nej dopsala :D | 10:45 |
malajanka | (jakoze neni na te adrese, kterou pisou v tom navodu a.. nejak nevim, kde to hledat jinde) | 10:45 |
lnovy | ah... neco jako dopsat tam options hda_intel alibalba=40loupezniku? | 10:46 |
malajanka | nene | 10:46 |
malajanka | ale na takove navody uz jsem taky narazila | 10:47 |
malajanka | :D | 10:47 |
lnovy | tak co mas napsat do toho modprobe.d? | 10:47 |
malajanka | tady se prave rovnou psalo to | 10:47 |
malajanka | options snd-hda-intel index=0 model=auto vid=8086 pid=8ca0 | 10:47 |
malajanka | vid a pid | 10:47 |
malajanka | co jsem si nechala vypsat zas nekde jinde | 10:47 |
malajanka | a jako ty cisla mam. ale nemam je kam zapsat | 10:47 |
malajanka | protoze v modprobe.d jsou dva .conf | 10:48 |
malajanka | ale ani jeden neni ten, co potrebuju | 10:48 |
malajanka | :D | 10:48 |
lnovy | tak tam ten sound.conf normalne vytvor | 10:48 |
malajanka | jenze ja nevim, co v nem musi vsecko byt, aby to fungovalo | 10:48 |
lnovy | (vytvor ho primo tam, nekopiruj ho tam odjinud, protoze selinux) | 10:48 |
lnovy | jenom ten jeden radek staci | 10:48 |
malajanka | aha | 10:48 |
malajanka | oO | 10:48 |
lnovy | pak 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 |
malajanka | achjo.. :D | 10:50 |
malajanka | jestli to zase rozeseru | 10:50 |
malajanka | tak.. proste reinstaluju no | 10:50 |
lnovy | cp /boot/initramfs-$(uname -r).img /boot/initramfs-$(uname -r).bak | 10:50 |
lnovy | dracut -f /boot/initramfs-$(uname -r).img $(uname -r) | 10:50 |
lnovy | oboje na roota | 10:50 |
malajanka | stejne jsem s tim smirena :D | 10:50 |
lnovy | tim sound.conf nemuzes nic posrat | 10:50 |
malajanka | no ne.. to jsem myslela spis tim, co pises ted :D | 10:51 |
lnovy | a tema druhyma prikazama to bych te po telefonu navedl, jak to nabootovat, kdyz by to nebootovalo | 10:51 |
malajanka | protoze vubec nevim, o co jde a ma to spoustu arfumentu :D | 10:51 |
lnovy | .bak jako backup :) | 10:51 |
lnovy | uname -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 vytvorila | 10:53 |
malajanka | diky moc.. zatim jsem udelala ten sound.conf a uvidim, co po rebootu | 10:54 |
malajanka | kdyby to furt neslo, tak zkusim zkusit to, co pises | 10:54 |
malajanka | :D | 10:54 |
lnovy | tak ja jeste vydrzim jedno cigo | 10: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 | |
malajanka | samozrejme, ze hovno.. | 10:57 |
malajanka | :D | 10:57 |
lnovy | cat /sys/module/snd_hda_intel/parameters/index | 10:57 |
lnovy | vypise -1, -1, -1 ... nebo 0, -1, -1, ... ? | 10:58 |
malajanka | prvni je nula | 10:58 |
malajanka | co to kurva je? | 10:58 |
malajanka | :D | 10:58 |
lnovy | tak konfigurak to pozralo | 10:58 |
malajanka | juu | 10:59 |
lnovy | ale nepomohlo to, dracut zkouset nemusis | 10:59 |
malajanka | ale chudak stejne nefunguje | 10:59 |
malajanka | ok | 10:59 |
lnovy | mizim, pac | 10:59 |
malajanka | byeo | 10:59 |
malajanka | :) | 10:59 |
malajanka | diky | 10:59 |
lnovy | nz | 10:59 |
malajanka | jo 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 systemu | 11:00 |
malajanka | kdyz se to resuspendne, tak to ukazuje i repraky i headphones zaroven, ale nehraje nic | 11:01 |
malajanka | a nasledny reboot to posle uplne do kytek a uz vidim jen dummy output | 11: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? :D | 11:01 |
malajanka | ! :D | 11:01 |
malajanka | ano | 11:01 |
malajanka | i takovehle samanske reprosteps naopak jsem zkousela | 11:02 |
malajanka | a 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 |
malajanka | jakoze.. | 11:02 |
malajanka | jsi je pripojil a vypojil behem toho suspendu | 11:02 |
malajanka | nebo nejak.. specialne? | 11:03 |
mmn__ | Ne, po probuzení. | 11:03 |
mmn__ | Úplně normálně. | 11:03 |
malajanka | jo. no takze ty reprosteps naopak | 11:03 |
malajanka | tak ja to asi zkusim.. znova.. jeste. | 11:03 |
malajanka | chmm.. uvazuju, jestli to nezkusit rovnou s nabehnutim systemu | 11:03 |
malajanka | protoze tohle byl ne takovy ten rychly suspend, ale spanek (po presnocnim odpocinku) | 11:04 |
malajanka | nevim, jak se tomu rika.. nikdy jsem nepobrala rozdil mezi hybernaci a suspendem | 11: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 |
malajanka | jo. taky jsem to tak chapala | 11:05 |
malajanka | takze mne prijde, ze to s tema sluchatkama se stalo | 11:06 |
malajanka | az pri hybernaci | 11:06 |
malajanka | a mozna ze jsem ty reprosteps naopak zkousela jen se suspendem | 11: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 | |
malajanka | picovolekunda | 11:09 |
mmn__ | :) | 11:09 |
malajanka | ted uz tam nevidim dummy output | 11:10 |
malajanka | vidim tam speakers i headphones | 11:10 |
malajanka | a zas nehraje ani jedno | 11:10 |
malajanka | :D | 11:10 |
malajanka | gotta love this shit | 11:10 |
malajanka | uz to gra i spiewo | 11:10 |
malajanka | .... | 11:10 |
malajanka | diky kybersoudruhu | 11:11 |
mmn__ | No vidíš. | 11:11 |
malajanka | zes me privedl k tomu, ze moje retroreprosteps byly nedokonale vykonane | 11:11 |
malajanka | .... | 11:11 |
malajanka | to si zada neco na urovni | 11:12 |
malajanka | https://www.youtube.com/watch?v=xC03hmS1Brk | 11:12 |
blondina | I Kill People - YouTube | 11:12 |
mmn__ | :D | 11:12 |
malajanka | :D | 11:12 |
mmn__ | Takové feministické. | 11:12 |
malajanka | tak.. tohle je jeste dost gender neutral oproti "show me your genitals" a "e=mc vagina" | 11:13 |
malajanka | :D | 11:13 |
mmn__ | Ale neříká v tomhle něco jako „Women are actually good for 4 things (...)“? | 11:14 |
malajanka | jojo. to je právě jen takové malé pokračování na ty dvě, co jsem psala výše | 11:14 |
malajanka | :D | 11:14 |
malajanka | stupid poor people stupid poor people | 11:14 |
malajanka | you cant even afford food! | 11:14 |
malajanka | <3 | 11:14 |
malajanka | :D | 11:14 |
malajanka | kazdopadne mam samozrejme rada taky jeho filozoficka dila jako fuck everything | 11:15 |
mmn__ | Jo, akorát v poslední době už tyhle věci moc nedělá. | 11:16 |
malajanka | miluju, jak se totalni dafuck picovina pak rozjede do uvah o determinismu tohohle univerza a podobne | 11:16 |
malajanka | to ne no | 11:16 |
malajanka | ale udelal toho dost.. i tak | 11:17 |
malajanka | takze za me dobry! | 11:17 |
malajanka | :) | 11:17 |
malajanka | a kdyz uz jsme u te filozofie | 11:17 |
malajanka | https://www.youtube.com/watch?v=vO1CCXXMzBI | 11:17 |
blondina | Reggie Watts - A Song About Apples (Always Love Yourself) - YouTube | 11:17 |
malajanka | klip: stale ti nedokazu dost podekovat za to, zes mi ukazal tohohle skveleho silence :) | 11:17 |
klip | lnovy: 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 content | 11:54 |
klip | malajanka: nz :) taky si ho porad poustim | 11:55 |
lnovy | mno to je docela zasadni informace s tema sluchatkama... co je to konkretne za model ten notebook? | 11:57 |
malajanka | lnovy: dell vostro 5568 | 11:58 |
malajanka | ja jsem ti nabizela, ze ti reknu vsecko, co vim | 11:58 |
malajanka | ale tys chtel jen nejake konkretni info :D | 11:58 |
malajanka | https://www.softcom.cz/eshop/dell-vostro-5568-i7-7500u-8gb-256ssd-geforce-940mx-15-6-win-10-pro_d203073.html tenhle | 11:59 |
blondina | DELL Vostro 5568 / i7-7500U / 8GB / 256SSD / GeForce 940MX / 15,6” /Win 10 Pro | 11:59 |
lnovy | sudo lspci -nn | grep Audio | 12:01 |
lnovy | (zakazuji si nad tim delat, skoda casu, kdyz to muze bejt za 5 minut onsite hotovy) | 12:08 |
malajanka | lnovy: ale dyt mne uz to jede | 12:13 |
malajanka | :D | 12:13 |
lnovy | cim si to opravila? | 12:13 |
malajanka | takze nad tim rozhodne nemusis vubec travit cas uz | 12:13 |
malajanka | no tema reversed reprosteps | 12:13 |
malajanka | dala jsem ho do hibernace | 12:13 |
malajanka | pripojila sluchatka | 12:13 |
malajanka | odhibernovala | 12:13 |
malajanka | a pak odpojila sluchatka | 12:14 |
mmn__ | „Have you tried to turn it off and on again?“ :D | 12:14 |
malajanka | vole! | 12:14 |
malajanka | ja to zkousela | 12:14 |
malajanka | ale nedoslo mi, ze kdyz se suspendne, tak pak sam prejde do hibernace | 12:14 |
malajanka | ja tady totiz hibernaci normalne nemam nikde povolenou | 12:14 |
malajanka | :D | 12:14 |
malajanka | takze jsem ji nezkousela pritom opacnem postupu | 12:14 |
lnovy | aha, klasika :) nemusis to ani hibernovat, staci tam dat ty sluchatka a spustit systemctl restart alsa | 12:14 |
lnovy | ci jak se ten kram ve fedore jmenuje :) | 12:14 |
malajanka | kecas | 12:15 |
malajanka | tak to schvalne pak nekdy vyzkousim | 12:15 |
lnovy | mno 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 stejny | 12:16 |
malajanka | ouk. to by davalo smysl, tak jak to popisujes | 12:16 |
lnovy | v podstate i rebootovat se sluchatkama by melo pomoc nicmene je to 1. divny 2. chyba | 12:17 |
lnovy | chyba v ukladani hlasitosti | 12:17 |
lnovy | nebo tak neco | 12:17 |
lnovy | proste demence | 12:17 |
malajanka | jenze to nezafungovalo. jsem imho zkousela ne jednou | 12:17 |
malajanka | je to demence rozhodne | 12:18 |
malajanka | ale naposled jsem to musela resit reinstallem :D takze tohle je fajn reseni | 12:18 |
lnovy | dobre, tak v tom pripade... https://imgur.com/iZcUNxH | 12:18 |
malajanka | (ikdyz tam se mi pak zesralo jeste vic veci | 12:18 |
malajanka | lnovy: +1 | 12:18 |
malajanka | :D | 12:18 |
malajanka | tam se mi jako stala fakt vtipna zalezitost | 12:18 |
malajanka | kdyz jsem zkousela odinstalovat pulseaudio | 12:19 |
malajanka | tak se mi najednou nebootovalo guicko | 12:19 |
malajanka | zacinala jsem v konzoli a musela manualne pustit startx | 12:19 |
malajanka | pak jsem po dlouhem hledani zjistila, ze pulseaudio pri tom uninstallu s sebou vzalo i gnome shell | 12:19 |
malajanka | DAFUCK | 12:20 |
malajanka | :D | 12:20 |
mmn__ | Závislosti. | 12:20 |
malajanka | jo no | 12:20 |
lnovy | thermomix 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#5211116 | 12:20 |
malajanka | závislosti mi dělají problém no.. :D 4 | 12:20 |
lnovy | dependency hell :) | 12:20 |
malajanka | no tak jsem pak nainstalovala ten gnome zase zpatky a bylo.. | 12:20 |
malajanka | ale to byla jen takova vtipna.. vec. samozrejme to nic nevyresilo | 12:21 |
malajanka | ale 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 :D | 12:21 |
malajanka | na mintu mi tohle chybelo. upadla jsem zas do totalne bfu modu jak na windowsech | 12:22 |
malajanka | proto jsem se vratila k fedore :3 a evidentne se vyplatilo :D | 12:22 |
klip | trochu se obávám, že cesta přes pull request je sice rychlejší a jednodušší, ale zas bejt závislej na TO? to nechci | 12:24 |
klip | tak to asi stejně udělám jako api k api | 12:25 |
klip | nebo spíš konverzi graphapi do RDF souboru, kterej vystavim | 12:25 |
klip | hmm. já vlastně můžu upravit graphapi, aby se dotazovalo misto phpbb přímo graphapi a tím pustím mirror | 12:26 |
klip | a tam si můžu dělat co chci | 12:27 |
klip | good | 12:27 |
klip | když 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 |
lnovy | ne ty nejsou funkcni | 12:31 |
klip | to je dobře :) | 12:33 |
CcxWrk | Vykašli se na RDF, nauč se Prolog. :D | 13:37 |
klip | ono to má mnoho společného :) prolog se používá třeba pro reasoning v RDF | 13:45 |
klip | https://github.com/josd/eye | 13:46 |
blondina | GitHub - josd/eye: The EYE Reasoner | 13:46 |
klip | prolog je jen jazyk. rdf je datovej framework :) | 13:46 |
klip | přínosy RDF uvidíš časem :) | 13:47 |
CcxWrk | Přínosy RDF jako že znovuvymysleli tech ze 70tejch, "now with XML" a ještě daleko míň expresivní? :D | 13:52 |
CcxWrk | Já 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 |
klip | jak to myslíš reprezentovat predikátama? | 14:06 |
klip | tak mám běžící live mirror https://graph.pirati.hejno.cz/ | 14:07 |
CcxWrk | Mno, v tom Prologu jsi někdy něco zkusil, nebo jenom víš že ho nějaké implementace používají? | 14:13 |
klip | jen sem četl knížku, kde prologu věnovali kapitolu | 14:20 |
CcxWrk | Aha. 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 |
klip | nevím, co myslíš tím, že si objevil, že reprezentovat data predikátama je jednodušší než RDF :) | 14:23 |
CcxWrk | Aspoň 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 |
klip | mě přijde, že to, co získáš prologem, máš v RDF s reasoningem taky | 14:24 |
klip | chtě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 sebrat | 14:25 |
klip | hodil sem kód k tomu graph live mirroru na svůj github: https://github.com/tomasklapka/piraticz-graph-livemirror/ | 14:25 |
blondina | GitHub - tomasklapka/piraticz-graph-livemirror: Live mirror of Czech Pirate Party social graph https://graph.pirati.cz | 14:25 |
klip | prolog 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ástroje | 14:28 |
klip | ... ontologie :) | 14:28 |
CcxWrk | Ty trojice jsou dost omezující, v čistym RDF nemáš proměnný a inferenční pravidla. SPARQL je vedle toho oddělený. | 14:28 |
CcxWrk | Zrovna v nástrojích si myslím že implementace Prologu vedou. Ale záleží na co koukáš. | 14:28 |
CcxWrk | Syntaxe je standardizovaná, tam problém není. | 14:29 |
CcxWrk | Hele, 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 |
CcxWrk | Chtěl bych třeba vidět jak někdo přepisuje CYC/CYCL do RDF… nebo radši ne. :D | 14: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 framework | 14:41 |
CcxWrk | To je jak říct že SQL je jen jazyk. :D | 14:41 |
CcxWrk | Mno nic, zpátky do pracovního procesu. | 14:42 |
klip | SQL je dotazovací jazyk na data :) | 14:46 |
klip | Ně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 grafu | 14:47 |
klip | RDF není jazyk | 14:49 |
klip | nad RDF si můžeš udělat vrstvy jaký chceš. Třeba ten jazyk, jako je třeba Ripple https://github.com/joshsh/ripple | 14:51 |
blondina | GitHub - joshsh/ripple: Semantic Web scripting language | 14:51 |
*** Joins: scippio (56315526@gateway/web/freenode/ip.86.49.85.38) | 15:00 | |
CcxWrk | SQL má DDL a DML/query. Taky definuje úrovně konzistence atp. Prolog má Knowledge-base a query/goals. | 15:05 |
lnovy | klip: 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 |
klip | lnovy: jj, to padne... mam to hlavne jako testovaci verzi abych k tomu dodelal konverzi do RDF a takhle nepotrebuju nici soucinnost | 15:15 |
klip | udelat to jako opravdovej mirror, kterej by bezel i v pripade vypadku by bylo fajn, ale zatim to nepotrebuju | 15:17 |
olidstva- | prolog <3 | 15:24 |
olidstva- | ja bych teda rekl ze ma atomy a pak ma formule, ale asi to jde nazvat i jinak :D | 15:25 |
klip | chapu to dobre, ze atomy jsou fakta/statementy a formule jsou rules? | 15:28 |
CcxWrk | Vědomostní báze má fakta a pravidla. Ty dál můžeš rozebrat na predikáty, proměnné a atomy. | 15:29 |
CcxWrk | Nevím jak by se dobře přeložilo "goal" do češtiny. | 15:29 |
CcxWrk | http://www.swi-prolog.org/pldoc/man?section=glossary | 15:29 |
blondina | SWI-Prolog -- Manual | 15:29 |
klip | Tady jsou třeba v RDF zapsaný rules pro běžnou RDF + trochu OWL inferenci: http://eulersharp.sourceforge.net/2003/03swap/rpo-rules.html | 15:30 |
blondina | rpo-rules | 15:30 |
klip | normálně tam jsou proměnný | 15:31 |
CcxWrk | Co takhle uspořádat v nějaké hospodě Prolog Users Group? :D | 15:31 |
lnovy | False. | 15:31 |
klip | mě ten prolog pořád nepřesvědčil | 15:32 |
CcxWrk | To 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 |
lnovy | fin. | 15:37 |
lnovy | ?Y :a :mortal . | 15:37 |
lnovy | fin. | 15:37 |
lnovy | klip: naimplementuj tam do toho graphu contexty podle JSON-LD https://en.wikipedia.org/wiki/JSON-LD konverzi do RDF mas pak zadarmo :) | 15:42 |
blondina | JSON-LD - Wikipedia | 15:42 |
CcxWrk | Vš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 |
klip | lnovy: jj, to je asi nejjednodussi zpusob | 15:49 |
CcxWrk | Je 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 |
CcxWrk | Takže to byl dost kulturní šok mezi těma dvěma světama :D | 15:51 |
CcxWrk | Asi 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 |
blondina | Learn Prolog Now! | 15:58 |
CcxWrk | Anyway, 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 |
klip | protože RDF má hyperlink a má unifide resource identifikátory/lokátory pro všechny resourcy? | 16:16 |
klip | :) | 16:16 |
klip | a protože má zavedný ontologie | 16:16 |
CcxWrk | http://www.swi-prolog.org/web/ aby neznělo že to jsou mutuálně exkluzivní platformy | 16:20 |
blondina | SWI-Prolog for the (semantic) web | 16:20 |
CcxWrk | Jako 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 |
klip | pro 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 |
CcxWrk | OK then | 16:33 |
klip | mě 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 |
klip | a to nejsou jenom social věci... třeba wordpress blog, nebo data někde v doodle... | 16:34 |
klip | každá aplikace má nějakej svůj vlastní formát nebo model, kterej není univerzální. | 16:35 |
CcxWrk | Jen ž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 |
CcxWrk | Chá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 |
klip | CcxWrk: 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 |
klip | aplikace 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 |
klip | souhlasí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 |
CcxWrk | Z 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 |
CcxWrk | Nevím, asi jsem moc starý a cynický aby na mě měl tenhle druh idealismu efekt. :D | 16:53 |
CcxWrk | CYC je ten samý koncept, pozdní 80 léta. | 16:54 |
CcxWrk | Pak přišla AI winter a nikdo do toho pořádně nehráb, krom pár šílenců. | 16:54 |
CcxWrk | https://xkcd.com/927/ | 16:55 |
blondina | xkcd: Standards | 16:55 |
CcxWrk | Ontologie/formát má buď pár konkrétních užití, nebo bude tak bezmezně bobtnat jako ten CYC. | 16:56 |
scippio | vzdycky trva nez se neco zacne poradne sirit a pouzivat... | 16:59 |
CcxWrk | O 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" se | 17:02 |
CcxWrk | bude do nekonečna opakovat, jen bude těžší a těžší s těma datama něco opravdu dělat. | 17:02 |
scippio | ztratovost 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 |
CcxWrk | Všechno… Standa Lem na to má hezkou povídku, o "démonovi druhého stupně". :D | 17:20 |
CcxWrk | Rozumná 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 |
CcxWrk | Až 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 |
scippio | tenhle kvantifikator si vytahl ty... nikdo nechce udelat kopii vsech atomu... pokud vim. | 17:47 |
CcxWrk | Ale 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 |
CcxWrk | OWL → OWL2 → … jen na konci nečekej → Profit! protože se nedočkáš. | 17:55 |
CcxWrk | Vš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 |
malajanka | hmm. precetla jsem si to cele a hrozne bych chtela tomu rozumet | 18:08 |
CcxWrk | Já bych si zas přál abych tomu nemusel rozumět. :D https://xkcd.com/1479/ | 18:09 |
blondina | xkcd: Troubleshooting | 18:09 |
CcxWrk | Heh, na druhou stranu http://www.smbc-comics.com/ | 18:11 |
blondina | Saturday Morning Breakfast Cereal - Life Philosophy | 18:11 |
malajanka | :D | 18:16 |
malajanka | ja se ale snazim snazit.. nejak. o vikendu bych zas mela pokrocit v pythonu | 18:17 |
malajanka | nicmene ten tyden troubleshootingu kolem zvuku me taky docela proskolil :D | 18:17 |
malajanka | zlata fedora. konecne chapu, proc si u nas na vesnici kluci v 16 kupovali fichtly, ktere casteji opravovali, nez na nich jezdili | 18: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 |
CcxWrk | https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/ | 18:20 |
blondina | An empirical study on the correctness of formally verified distributed systems | the morning paper | 18:20 |
CcxWrk | Jsem 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 |
CcxWrk | A 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 |
CcxWrk | https://blog.toggl.com/world-created-programmer/ | 18:26 |
blondina | If The World Was Created By A Programmer [Comic] - Toggl Blog | 18:26 |
malajanka | rozhodně | 18:34 |
malajanka | proto 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 libo | 18:35 |
malajanka | protože můžu dycky začít znova reinstallem, který mě bez ztráty dat nebude srát | 18:35 |
malajanka | :D | 18:35 |
malajanka | akorát se budu muset naučit zodpovědně zálohovat | 18:35 |
malajanka | nicméně to mi příjde jako dobrý skill, takže.. mi to nevadí asi :D | 18:35 |
CcxWrk | Já 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 |
CcxWrk | Paralelně 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 |
CcxWrk | Má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 |
malajanka | tak.. to já mám většinu práce bohužel ve wordech a excelech >.< | 18:57 |
malajanka | no 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 |
blondina | Jebać http://microformats.org, - Can't connect to microformats.org,:80 (Bad hostname) | 19:57 |
Ryuno-Ki[m] | Bad hostname? | 19:58 |
CcxWrk | Dangling "," apparently blondina can't recognize valid URI properly. | 20:04 |
CcxWrk | If 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!