Logs: liberachat/#haskell
| 2021-08-09 08:22:24 | → | fendor joins (~fendor@213162073184.public.t-mobile.at) |
| 2021-08-09 08:25:52 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds) |
| 2021-08-09 08:28:07 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-09 08:28:36 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-09 08:28:43 | → | glguy joins (x@libera/staff/glguy) |
| 2021-08-09 08:29:30 | xerox_ | is now known as xerox |
| 2021-08-09 08:42:59 | × | asm quits (~alexander@burner.asm89.io) (Changing host) |
| 2021-08-09 08:42:59 | → | asm joins (~alexander@user/asm) |
| 2021-08-09 08:51:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-09 08:54:32 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-08-09 08:57:01 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-09 09:02:03 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 09:02:08 | × | EPic_ quits (apic@apic.name) (Quit: Reconnecting) |
| 2021-08-09 09:02:14 | → | APic joins (apic@apic.name) |
| 2021-08-09 09:05:31 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-08-09 09:08:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 09:12:12 | × | fendor quits (~fendor@213162073184.public.t-mobile.at) (Read error: Connection reset by peer) |
| 2021-08-09 09:12:25 | → | fendor_ joins (~fendor@213162073184.public.t-mobile.at) |
| 2021-08-09 09:12:54 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-09 09:14:44 | → | fendor joins (~fendor@213162073184.public.t-mobile.at) |
| 2021-08-09 09:14:57 | × | fendor_ quits (~fendor@213162073184.public.t-mobile.at) (Read error: Connection reset by peer) |
| 2021-08-09 09:20:47 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-08-09 09:21:10 | → | azeem joins (~azeem@176.200.221.32) |
| 2021-08-09 09:22:02 | × | ByronJohnson quits (~bairyn@mail.digitalkingdom.org) (Ping timeout: 272 seconds) |
| 2021-08-09 09:28:01 | → | ByronJohnson joins (~bairyn@mail.digitalkingdom.org) |
| 2021-08-09 09:36:01 | × | azeem quits (~azeem@176.200.221.32) (Ping timeout: 248 seconds) |
| 2021-08-09 09:38:12 | → | abrar_ joins (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) |
| 2021-08-09 09:38:30 | → | azeem joins (~azeem@176.200.221.32) |
| 2021-08-09 09:41:52 | → | jmorris joins (~jmorris@2001:19f0:5801:170:5400:3ff:fe81:62fe) |
| 2021-08-09 09:43:49 | × | random-jellyfish quits (~Guest71@217.156.31.64) (Changing host) |
| 2021-08-09 09:43:49 | → | random-jellyfish joins (~Guest71@user/random-jellyfish) |
| 2021-08-09 09:46:43 | × | Akronymus quits (~Akronymus@85.31.8.181) (Ping timeout: 246 seconds) |
| 2021-08-09 09:47:35 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-09 09:47:56 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-09 09:48:45 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-09 09:49:18 | × | Shires quits (~Shires@user/shires) (Quit: leaving) |
| 2021-08-09 09:49:19 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 09:49:25 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-09 09:52:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 09:53:52 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-09 09:54:16 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Read error: Connection reset by peer) |
| 2021-08-09 09:56:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-09 09:57:53 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 2021-08-09 09:59:01 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-09 09:59:07 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-09 09:59:23 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-09 10:01:39 | → | raoul joins (~raoul@95.179.203.88) |
| 2021-08-09 10:01:53 | → | Akronymus joins (~Akronymus@85.31.8.181) |
| 2021-08-09 10:03:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-09 10:04:46 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds) |
| 2021-08-09 10:05:21 | × | phma quits (~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer) |
| 2021-08-09 10:05:58 | <kuribas> | is there no library to read/write odf? |
| 2021-08-09 10:06:04 | <kuribas> | (open document format) |
| 2021-08-09 10:06:26 | <kuribas> | I only found a java library |
| 2021-08-09 10:06:51 | → | phma joins (~phma@host-67-44-208-49.hnremote.net) |
| 2021-08-09 10:07:52 | <maerwald[m]> | Java libraries are usually rock solid, I'd go with that |
| 2021-08-09 10:08:17 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 2021-08-09 10:09:54 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 10:15:27 | <Arahael> | Curious, that :) |
| 2021-08-09 10:16:30 | × | azeem quits (~azeem@176.200.221.32) (Ping timeout: 272 seconds) |
| 2021-08-09 10:19:56 | <[exa]> | kuribas: unzip |
| 2021-08-09 10:20:23 | → | azeem joins (~azeem@176.200.221.32) |
| 2021-08-09 10:22:05 | <kuribas> | [exa]: and then? :-P |
| 2021-08-09 10:23:32 | <kuribas> | parse a big XML? |
| 2021-08-09 10:27:48 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 10:27:57 | × | azeem quits (~azeem@176.200.221.32) (Read error: Connection reset by peer) |
| 2021-08-09 10:28:03 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-09 10:28:18 | <kuribas> | hmm "content.xml, the most important file, carries the actual content of the document (except for binary data, such as images). The base format is inspired by HTML, and though far more complex, it should be reasonably legible to humans:" |
| 2021-08-09 10:28:54 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-09 10:32:01 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-09 10:39:06 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-09 10:39:38 | → | burnside_ joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 10:39:38 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-09 10:40:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-09 10:41:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 10:43:29 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-09 10:43:29 | × | burnside_ quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-09 10:43:33 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 10:44:26 | <[exa]> | kuribas: "reasonably legible to humans" is likely as with the rest of XML :D |
| 2021-08-09 10:44:45 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-08-09 10:45:06 | <[exa]> | btw can't you convert to RTF, do the stuff with pandoc, and convert back? |
| 2021-08-09 10:46:06 | <lechner> | tomsmeding: thanks! |
| 2021-08-09 10:46:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-09 10:47:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 10:49:01 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-08-09 10:50:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 10:50:45 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-09 10:51:23 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-08-09 10:52:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-09 10:53:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 10:57:50 | → | henninb joins (~henninb@63-228-51-113.mpls.qwest.net) |
| 2021-08-09 11:00:50 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-09 11:01:50 | × | wolfshappen quits (~waff@irc.furworks.de) (Quit: later) |
| 2021-08-09 11:02:14 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 2021-08-09 11:03:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-08-09 11:04:59 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-09 11:05:29 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 11:05:41 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-09 11:06:16 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-09 11:08:36 | → | AlexNoo_ joins (~AlexNoo@178.34.162.152) |
All times are in UTC.