Logs on 2023-04-17 (liberachat/#haskell)
| 00:01:50 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:02:04 | <juri_> | very nice. |
| 00:02:44 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 00:03:27 | → | califax joins (~califax@user/califx) |
| 00:04:01 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 00:04:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 00:05:02 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:10:24 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-163-233.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:10:36 | <maralorn> | The sneakiest leak was a missing ' at a modify' … But that was quite quick to find. |
| 00:10:46 | → | pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-233.dsl.bell.ca) |
| 00:12:12 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 00:18:34 | → | dmwit joins (~dmwit@2600:4040:2654:5e00:2111:3b68:aad:9bda) |
| 00:21:31 | <dmwit> | Okay, dumb question. GHC has a runtime system that I assume has some data structure for tracking what memory it's allocated so it can give me unallocated space when I need some more. C's malloc presumably also has a data structure tracking what memory is allocated. I assume the two structures aren't kept in synch with each other, yet I never have |
| 00:21:31 | <dmwit> | to worry about it anyway. What's up with that? |
| 00:23:06 | <geekosaur> | they're completely unrelated systems. the closest you get to C's malloc arena in Haskell is pinned memory, but they're not identical |
| 00:23:29 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) |
| 00:23:53 | <dmwit> | I agree they're unrelated. So how come they don't step on each other? Like, when GHC says "I'll give you some memory at 0x1000", how does the unrelated unsynchronized malloc system know not to hand out 0x1000 after that? |
| 00:24:18 | <geekosaur> | you normally have to care only if you're sharing memory between C and Haskell; this is why ForeignPtr exists, so you can call a C-side free on memory obtained from a FFI call |
| 00:24:44 | <geekosaur> | each one allocates and keeps track of its own pages |
| 00:24:44 | <jackdk> | The other part of the answer is "sometimes you do", when writing FFI code you want to make sure that whatever native cleanup function gets run when you GC the `ForeignPtr`: https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-ForeignPtr.html#v:addForeignPtrFinalizer |
| 00:25:12 | <jackdk> | Oh, geekosaur ahead of me with the answer already |
| 00:25:18 | <geekosaur> | so they won't both hand you 0x1000 because only one of them will "own" that page |
| 00:25:47 | <dmwit> | How does GHC (say) detect whether it owns 0x1000 or not? |
| 00:26:42 | <geekosaur> | each one mmap()s pages. neither does so by fixed address (that is reserved for the dynamic loader and initial process setup), they request "next available page" |
| 00:27:10 | <geekosaur> | and that page then belongs to either the malloc arena or ghc's heap until munmap()ed |
| 00:27:35 | <dmwit> | Oh, sure, so the OS arbitrates. That makes sense. |
| 00:28:16 | <geekosaur> | there are also raw interfaces to mmap on hackage so you can in effect allocate your own pages from the OS, and neither malloc() nor the ghc heap will use those pages because they didn't obtain them from the OS |
| 00:28:37 | <dmwit> | neat! |
| 00:29:03 | <geekosaur> | (this is ignoring things like compact regions which are again distinct page allocations from the OS that can't collide with each other or the C / Haskell heaps) |
| 00:29:25 | × | zeenk quits (~zeenk@188.26.30.104) (Quit: Konversation terminated!) |
| 00:29:57 | ski | idly ponders `sbrk' in Haskell |
| 00:30:16 | <geekosaur> | I don't think sbrk even exists as such any more |
| 00:30:34 | <geekosaur> | everything is mmap() based these days |
| 00:31:22 | <geekosaur> | in particular glibc switched from brk/sbrk to mmap a couple decades ago |
| 00:32:31 | <geekosaur> | (originally it was only used for large allocations, then eventually they switched everything over) |
| 00:33:37 | <geekosaur> | otherwise you run into issues with shared object locations; brk isn't smart enough to "route around" those, but mmap will just give you the next available page after the shared object |
| 00:33:58 | × | dmwit quits (~dmwit@2600:4040:2654:5e00:2111:3b68:aad:9bda) (Ping timeout: 260 seconds) |
| 00:34:04 | <ski> | "On Linux, sbrk() is implemented as a library function that uses the brk() system call, and does some internal bookkeeping so that it can return the old break value.", hmm |
| 00:34:21 | <geekosaur> | oh., it is still there? |
| 00:34:35 | <ski> | might still be using `mmap', even if not mentioned there |
| 00:34:44 | <geekosaur> | I think that internal bookkeeping thing has been around ever since v7 unix though |
| 00:35:02 | <geekosaur> | but the world was simpler back then so the bookkeeping was minimal |
| 00:35:31 | → | captnemo joins (~captnemo@193.32.127.232) |
| 00:35:53 | <geekosaur> | internal pointer initialized to _end and bumped with every sbrk call |
| 00:36:07 | ski | nods |
| 00:37:48 | <ski> | "On error, (void *) -1 is returned" -- also a bit curious |
| 00:38:02 | <geekosaur> | hysterical raisins |
| 00:38:10 | <ski> | i can imagine |
| 00:38:30 | <geekosaur> | syscalls (or former syscalls) always returned -1 on error, even if they returned pointers |
| 00:39:02 | <ski> | iirc `NULL' is allowed to be all bits `1' |
| 00:39:27 | <geekosaur> | because the syscall exit stuff in the kernel set a cpu flag to indicate error and the generic syscall return mechanism in userspace set the accumulator to -1 if that cpu flag was set |
| 00:40:15 | <ski> | carry flag ? or some flag for this specific purpose ? |
| 00:40:25 | <geekosaur> | I think carry, yeh |
| 00:40:45 | <ski> | *nod*, makes sense |
| 00:41:06 | <geekosaur> | but it may depend on the actual CPU, some have for example overflow flags that might have been used instead |
| 00:41:16 | <ski> | yea |
| 00:41:30 | <ski> | (signed overflow, i assume) |
| 00:41:39 | × | ft quits (~ft@87.122.10.136) (Ping timeout: 260 seconds) |
| 00:42:46 | <ski> | i guess that generic syscall return mechanism deals with switching stacks and restoring context and so |
| 00:43:04 | <geekosaur> | yep |
| 00:43:04 | → | ft joins (~ft@i59F54987.versanet.de) |
| 00:45:05 | <ski> | (i was disassembling some old software (language implementation) from 1986, and noticed that it installed an interrupt handler that would manually add a new frame on the stack, before switching memory configuration. the new frame would, at end of interrupt code, restore memory config, and clean up its own frame from the stack) |
| 00:47:15 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 250 seconds) |
| 00:47:44 | → | tzh_ joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 00:49:35 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 01:00:22 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 01:01:32 | → | fallenleaves joins (~fallenlea@2a00:23c6:6815:f01:74f1:90b2:aa8b:ef87) |
| 01:02:27 | <geekosaur> | (to complete the story about the carry flag, if it was set the accumulator had the error code. so the asm trampoline from the syscall interface had to write that to errno if the carry flag was set) |
| 01:04:13 | → | nate1 joins (~nate@98.45.169.16) |
| 01:05:25 | × | fallenleaves quits (~fallenlea@2a00:23c6:6815:f01:74f1:90b2:aa8b:ef87) (Quit: Leaving) |
| 01:06:24 | × | _leo___ quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 01:07:31 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-163-233.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:07:55 | → | pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-233.dsl.bell.ca) |
| 01:08:45 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 01:10:37 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:07 | <ski> | (aye .. KERNAL uses a similar interface, for many of its jumptable public routines) |
| 01:12:17 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 01:16:44 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:24:06 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 01:35:50 | → | dmwit joins (~dmwit@2600:4040:2654:5e00:2111:3b68:aad:9bda) |
| 01:37:42 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 01:38:13 | → | hsw joins (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 01:38:30 | <dmwit> | From the logs it looks like my last few messages didn't go through. One was just "thank you" to the folks that answered. |
| 01:39:00 | <dmwit> | The other: I understand you can't ask GHC to make a new OS thread to run your computation on. But you can pin a Haskell thread to an OS thread, and sometimes have to when using the FFI. Does this mean I may get into a situation where two threads unavoidable contend with each other? Like, they're both compute bound, and both bound to the same OS |
| 01:39:00 | <dmwit> | thread so they can't switch CPUs to avoid each other. If so, is there a way to deal with that? |
| 01:39:11 | <dmwit> | (Purely theoretical. I'm not facing this as a problem that needs solving. Just shower thoughts.) |
| 01:39:44 | × | Angelz quits (Angelz@angelz.oddprotocol.org) (Ping timeout: 248 seconds) |
| 01:40:26 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 01:41:11 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 01:44:17 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:45:14 | <monochrom> | Despite other people's paranoid scaremongering, my understanding is that the only way two Haskell threads are bound to the same OS thread is that the first Haskell thread calls C, C calls Haskell back, this is how the 2nd Haskell thread is created in the first place, to run the "Haskell" in "C calls Haskell back". Due to this sequential, 1st-thread-is-still-waiting-for-this-chain-to-return nature, there cannot be contention between the two, they can't |
| 01:45:14 | <monochrom> | run concurrently. |
| 01:45:35 | <monochrom> | See also my http://www.vex.net/~trebla/haskell/ghc-conc-ffi.xhtml |
| 01:45:35 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 01:48:39 | <monochrom> | If you obtain the bound thread by forkOS, it is bound to a fresh OS thread. The designers know to do this to eliminate the contention you worried about. |
| 01:50:58 | × | dmwit quits (~dmwit@2600:4040:2654:5e00:2111:3b68:aad:9bda) (Ping timeout: 260 seconds) |
| 01:54:31 | × | xff0x quits (~xff0x@2405:6580:b080:900:cdd4:c060:73da:4d99) (Ping timeout: 240 seconds) |
| 01:56:47 | → | dmwit joins (~dmwit@pool-96-241-148-210.washdc.fios.verizon.net) |
| 01:57:58 | <dmwit> | Thanks. I'm reading. But "forkOS is bound to a fresh OS thread" more or less completely answers the question. I guess this is a statement of "this is what happens" rather than "this is what is promised", right? |
| 01:58:36 | <monochrom> | This one is promised. |
| 02:00:13 | <dmwit> | Huh. The docs for Control.Concurrent don't appear to promise "fresh", only "bound". |
| 02:01:12 | <monochrom> | IIRC it's in one of the papers. |
| 02:01:42 | <monochrom> | To the effect of "this is a no-brainer, obviously the whole system would be pointless otherwise". |
| 02:02:02 | <dmwit> | 👍 |
| 02:02:25 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:02:25 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:02:25 | finn_elija | is now known as FinnElija |
| 02:06:38 | <dmwit> | "Can several Haskell threads be bound to the same OS thread? There are several reasons why this is not possible:" sweet |
| 02:09:04 | × | td_ quits (~td@i53870922.versanet.de) (Ping timeout: 248 seconds) |
| 02:10:47 | → | td_ joins (~td@i53870920.versanet.de) |
| 02:11:49 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 02:13:18 | × | captnemo quits (~captnemo@193.32.127.232) (Ping timeout: 265 seconds) |
| 02:18:22 | → | Angelz joins (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 02:34:10 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 02:40:29 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:41:41 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) (Remote host closed the connection) |
| 02:47:29 | → | nate1 joins (~nate@98.45.169.16) |
| 03:00:17 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:00:17 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:00:17 | finn_elija | is now known as FinnElija |
| 03:01:34 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Remote host closed the connection) |
| 03:01:57 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 03:02:05 | × | dmwit quits (~dmwit@pool-96-241-148-210.washdc.fios.verizon.net) (Quit: Client closed) |
| 03:02:28 | × | pieguy128 quits (~pieguy128@bas1-montreal02-65-92-163-233.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 03:03:03 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
| 03:07:55 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Ping timeout: 248 seconds) |
| 03:12:57 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 03:16:05 | × | _xor quits (~xor@74.215.46.17) (Quit: brb) |
| 03:20:57 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:22:25 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Ping timeout: 265 seconds) |
| 03:25:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) |
| 03:28:13 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Remote host closed the connection) |
| 03:34:38 | → | barak joins (~barak@77.125.91.113) |
| 03:38:18 | × | mei quits (~mei@user/mei) (Ping timeout: 255 seconds) |
| 03:38:40 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 03:42:16 | → | mei joins (~mei@user/mei) |
| 03:46:22 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 03:48:25 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 03:51:15 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 03:55:50 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 03:59:46 | → | biberu joins (~biberu@user/biberu) |
| 04:00:00 | × | mei quits (~mei@user/mei) (Ping timeout: 260 seconds) |
| 04:03:31 | → | mei joins (~mei@user/mei) |
| 04:06:24 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 265 seconds) |
| 04:14:35 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:25:25 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:29:26 | → | mbuf joins (~Shakthi@49.207.178.186) |
| 04:46:56 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:47:07 | → | Square2 joins (~Square4@user/square) |
| 04:47:57 | × | Square2 quits (~Square4@user/square) (Client Quit) |
| 04:48:27 | → | Square2 joins (~Square4@user/square) |
| 04:54:59 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 04:55:45 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:56:18 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 05:03:47 | × | barak quits (~barak@77.125.91.113) (Remote host closed the connection) |
| 05:03:57 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 05:04:24 | × | jargon quits (~jargon@174-22-213-236.phnx.qwest.net) (Ping timeout: 265 seconds) |
| 05:06:13 | → | vglfr joins (~vglfr@46.96.159.156) |
| 05:06:51 | × | vglfr quits (~vglfr@46.96.159.156) (Remote host closed the connection) |
| 05:06:58 | → | barak_ joins (~barak@77.125.91.113) |
| 05:09:38 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Ping timeout: 246 seconds) |
| 05:10:42 | → | vglfr joins (~vglfr@46.96.159.156) |
| 05:16:38 | → | trev joins (~trev@user/trev) |
| 05:16:53 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 05:17:09 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 05:21:17 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 05:22:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:23:14 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 05:24:29 | → | trev joins (~trev@user/trev) |
| 05:27:05 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 05:39:33 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Quit: WeeChat 3.8) |
| 05:39:37 | <ujjwalgupta[m]> | <L29Ah> "ujjwal gupta: apparently it's..." <- https://downloads.haskell.org/ghc/latest/docs/users_guide/profiling.html#rules-for-attributing-costs |
| 05:39:37 | <ujjwalgupta[m]> | As per this Laziness shouldn't affect the cost centre stack. Also all the functions are evaluated mostly not sure if laziness can be the culprit here. 🤔 |
| 05:40:25 | <ujjwalgupta[m]> | https://downloads.haskell.org/ghc/latest/docs/users_guide/profiling.html#rules-for-attributing-costs |
| 05:40:25 | <ujjwalgupta[m]> | As per this Laziness shouldn't affect the cost centre stack. Also all the functions are evaluated mostly not sure if laziness can be the culprit here. 🤔 |
| 05:41:13 | <ujjwalgupta[m]> | CC jade |
| 05:43:33 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 265 seconds) |
| 05:46:33 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 05:46:40 | × | barak_ quits (~barak@77.125.91.113) (Remote host closed the connection) |
| 05:46:57 | → | barak_ joins (~barak@77.125.91.113) |
| 05:51:10 | × | barak_ quits (~barak@77.125.91.113) (Remote host closed the connection) |
| 05:51:27 | → | barak_ joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 05:52:19 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 05:52:45 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 250 seconds) |
| 05:54:20 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 05:57:19 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8) |
| 06:04:59 | → | barak__ joins (~barak@77.125.91.113) |
| 06:05:02 | Square2 | is now known as Square |
| 06:07:24 | × | barak_ quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Ping timeout: 252 seconds) |
| 06:17:08 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 06:17:28 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 06:18:56 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 06:23:55 | × | barak__ quits (~barak@77.125.91.113) (Ping timeout: 256 seconds) |
| 06:24:13 | → | mmhat joins (~mmh@p200300f1c7106ee3ee086bfffe095315.dip0.t-ipconnect.de) |
| 06:25:08 | → | barak joins (~barak@2a02:14f:83:1a53:93c8:3a8d:cf2e:727d) |
| 06:27:56 | ski | idly notes that ujjwalgupta[m] repeated those messages |
| 06:29:34 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 06:30:41 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 06:32:59 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 06:33:25 | → | califax joins (~califax@user/califx) |
| 06:33:28 | → | barak_ joins (~barak@77.125.91.113) |
| 06:36:05 | × | barak quits (~barak@2a02:14f:83:1a53:93c8:3a8d:cf2e:727d) (Ping timeout: 250 seconds) |
| 06:45:37 | → | mncheckm joins (~mncheck@193.224.205.254) |
| 06:50:39 | → | Inst joins (~Inst@2601:6c4:4081:54f0:bc9e:a2ec:406a:de9f) |
| 06:51:03 | <Inst> | A question for Rustacaeans here: how does Haskell compare to Rust in terms of terseness, readability, and prototyping speed? |
| 06:55:37 | → | Techcable joins (~Techcable@user/Techcable) |
| 07:00:40 | <mon_aaraj> | I think Rust is on par with Haskell in terms of readability for a few things, usually less readable than Haskell, but more readable than pretty much most other imperative languages I've used. Prototyping speed is obviously not as good as Haskell's, but it's not something to scoff at. Generally I think it's a bit worse than Haskell in most aspects, but way better than most other languages in all aspects. |
| 07:01:06 | <Inst> | sorry, it's more a useless brain fart |
| 07:01:15 | <Inst> | was wondering if Haskell could be marketed at something between Rust and Python |
| 07:01:43 | <mon_aaraj> | I think that sends people a very wrong idea about Haskell. |
| 07:02:04 | <Inst> | I mean at its core, it's an academic language where the needs of the research community are prioritized first, at least, that's my impression of it |
| 07:02:06 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:7db4:b835:940f:b2a6) |
| 07:02:30 | <Inst> | it's a useful production language, but the production guys don't get precedence |
| 07:02:45 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 240 seconds) |
| 07:03:06 | <mon_aaraj> | It's a language where the vocal part of the community gets what it wants. |
| 07:03:27 | <mon_aaraj> | When you find something that's not in Haskell, or no one's done it yet, it generally means not enough people wanted it. |
| 07:04:26 | <mon_aaraj> | Nevertheless, I don't really think a change in marketing will put Haskell anywhere on the map for anyone, at least for people that haven't seen it yet. |
| 07:04:27 | <[exa]> | people should not be so hesitant to go and try a new language |
| 07:04:40 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 07:05:56 | <mon_aaraj> | I think that the thing that will change people's viewpoint in Haskell is simply companies adopting it. Which one might argue depends on marketing, but that couldn't be farther from the truth. It depends on more development going into the language to polish it more. Improving the complier and documentation around the language. And also on people deciding to write software in it, so that they become "killer apps" for the language. |
| 07:06:39 | <mon_aaraj> | Pandoc is one such project and it's helped people get pleasantly surprised when they figure out it's made in Haskell. Wire is also one of those apps, though less well known, and I don't know if it's production ready. |
| 07:07:21 | <mon_aaraj> | Bottom line is, write more code to get Haskell closer and closer to being more accepted in the mainstream. And documentation. And participate in proposals, documentation suggestions. |
| 07:07:28 | <Inst> | I guess that goes into Peter Drucker's talk about European firms (of his era); in his time, American firms started with market research and marketing design first, then made products, whereas European firms of his era began with products, then looked for ways to sell it. |
| 07:07:33 | <mon_aaraj> | * documentation suggestions, improving the ecosystem. |
| 07:07:41 | <Inst> | I guess that's fundamentally an academic approach; come up with some novelty, try to figure out how to commercialize it. |
| 07:08:10 | <Inst> | This? |
| 07:08:10 | <Inst> | https://hackage.haskell.org/package/wires |
| 07:08:46 | <Inst> | or this, rather |
| 07:08:47 | <Inst> | https://hackage.haskell.org/package/wires |
| 07:08:49 | <Inst> | https://github.com/wireapp?language=haskell |
| 07:09:12 | <mon_aaraj> | https://github.com/wireapp/wire-server |
| 07:10:03 | <mon_aaraj> | Personally, all language popularity I've seen is of people getting locked into using them. It was never the marketing of such languages. It was the opinion of the masses and the pre-existing codebases that use it. Where Haskell is a relatively small portion. |
| 07:10:09 | <Inst> | The thing is, when it comes to corporate users, Rust is the hot new thing if they want a more experimental / esoteric language; we lost Tsuru to Rust, sadly |
| 07:10:36 | <mon_aaraj> | I don't call them losses. People are interested in what they like. It's fine if they want to try out a how new thing. |
| 07:10:48 | → | acidjnk joins (~acidjnk@p200300d6e715c491dc796c235bb1f77a.dip0.t-ipconnect.de) |
| 07:10:50 | <mon_aaraj> | And Haskell is definitely the more esoteric language here. |
| 07:10:58 | <Inst> | I think if you want correctness at all costs, you do Idris or some other dependently-typed language, if you want performance at all costs with memory-safety and type-safety, play with Rust, if you want speed at all costs, without care for scalability, Python |
| 07:11:22 | <mon_aaraj> | That sounds like a skewed list. |
| 07:11:24 | <probie> | If you want ease of refactoring, go with Haskell |
| 07:11:44 | <Inst> | Haskell is, unfortunately, in the middle of the pack; i.e, compared to the DT langs, it has a more mature ecosystem, compared to Rust, it has better prototyping speed and productivity, compared to Python, it has better performance and safety |
| 07:11:56 | <jackdk> | I call that the "sweet spot" |
| 07:11:57 | <Inst> | but that can also be seen as a strength; a swiss army knife |
| 07:13:03 | <mon_aaraj> | No one wants "correctness at all costs" or puts that into their mind when trying to learn a language. People don't go into Idris thinking "I'm going to use this language to write a totally correct application". They are either interested in Idris because of it's features, or they want to prove some theorems and wish to try out or prefe Idris. Same for performance, type-safety, or speed without care (which Python isn't speedy, I don't know why |
| 07:13:03 | <mon_aaraj> | someone would go for it) |
| 07:13:31 | <mon_aaraj> | When people want to learn a language, it hits a sweet spot for them. No one thinks in absolute. They notice a set of features that they like and think are useful. |
| 07:13:43 | <mon_aaraj> | s/absolute/absolutes/ |
| 07:14:31 | <Inst> | the only drawback I think is that we make learning Haskell too difficult, when Gabriella Gonzalez goes the route of: "please hack more and hack earlier in learning Haskell" |
| 07:14:46 | <mon_aaraj> | When you ask someone why they use Python, they wouldn't say "Oh, because I prefer speed at all costs!". They'll say some generic "good" statements about it and it's ecosystem or the reason they're locked into it. Everyone has their values. |
| 07:14:52 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 07:15:04 | <Inst> | people get scared of Haskell, when it's really just main = do; go |
| 07:15:11 | <Inst> | idiomatic and type-level Haskell is hard |
| 07:15:20 | <Inst> | trashy Haskell that works isn't worse than any other language |
| 07:15:49 | <Inst> | for corporate users, letting them know that anyone can code in Haskell if you don't demand it to be good Haskell, that a choice is available, should be a relief |
| 07:16:01 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 07:16:53 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 07:16:55 | <Inst> | "Here's IORef. When you use it, someone will clean up after you for the first 6 weeks. If you're still using it after that and not a senior developer, you're either transferred off the team or fired" |
| 07:17:19 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 07:17:24 | <mon_aaraj> | That shouldn't be taught to beginners. At least not as one of the first things. |
| 07:18:34 | <mon_aaraj> | The thing with people learning Haskell is that they think they have to choose a project that works for it. Or they think that they can't do multiple things at once and can only read a book and never do any projects while reading it. That's the wrong way to do it. It's emphasized in the general programming world that if you want to learn or figure something out, you have to write it. Experiment in code. |
| 07:19:20 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:19:20 | <mon_aaraj> | The only thing people should keep in their mind from moving from Python to Haskell, is that just like they made tons of projects in Python to learn it (at least that's what I did), they need to make tons of projects in Haskell to learn it. |
| 07:19:50 | <jackdk> | I don't think I can adequately express how much I disagree with "someone will clean up after you; learn by this deadline or you're fired" as a teaching style, a management discipline, or a way to get any sort of positive response out of anyone |
| 07:20:23 | <mon_aaraj> | Yes. I don't think it's healthy at all to teach bad practices as one of the first things in a resource. |
| 07:21:14 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 07:21:32 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:21:47 | <mon_aaraj> | I think one thing that would massively boost Haskell learning and usage would be good documentation in the haskell.org website. OCaml has a whole tutorial in their website that gets people up and running and give some pretty decent knowledge of the language, we can do that as well. |
| 07:22:21 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 07:22:43 | → | coot joins (~coot@213.134.170.228) |
| 07:23:00 | <mon_aaraj> | We do... "have" one... But, you know. |
| 07:23:00 | <mon_aaraj> | https://www.haskell.org/tutorial/intro.html |
| 07:23:00 | <mon_aaraj> | It's a bit... |
| 07:24:28 | <mon_aaraj> | The sad thing is that there's a lot of outdated resources. Probably one of the most harmful things. Like outdated Stack Overflow answers. If I had enough rep I'd try to go through and edit them, but I don't. |
| 07:24:47 | <Inst> | I mean we could easily follow Rust or Go when it comes to tutorial documentation on the website. |
| 07:25:02 | <Inst> | Haskell Phrasebook is pretty good, and they actually teach mutable variables (using TVar of all things!) very early on |
| 07:25:25 | <jackdk> | Why though? You are going to fight the language at every turn if you try to write haskell using mutable vars |
| 07:25:42 | <mon_aaraj> | Yeah I don't get this obsession with mutable variables. |
| 07:26:00 | <jackdk> | mon_aaraj: That intro is indeed "gentle". I'm reminded of the intro to Python that I read, which happened to hit the same common knowledge I had at the time and so I started coding very quickly. Revisiting the Gentle Introduction has the same vibe; it's concise and builds off assumed knowledge that I actually have now. |
| 07:26:01 | <mon_aaraj> | The Haskell Phrasebook is very devoid of a lot of useful things. |
| 07:26:48 | <mon_aaraj> | jackdk: Yeah, the issue is that the content is not presented in the most beautiful manner, to put it lightly. |
| 07:26:56 | <jackdk> | mon_aaraj: If you want to modernising SO answers, feel free to DM me and I can try reviewing them. (I have a fair amount of rep, but not on haskell tags; unsure if that matters) |
| 07:27:05 | <Inst> | I learned Haskell as a first language; but I understand a lot of learners freak out and give up when they're forced to do everything without mutation. |
| 07:27:27 | <mon_aaraj> | When I first learned Haskell, that wasn't the case. |
| 07:27:29 | <Inst> | The idea is just to give them an escape hatch, if you can't grok it or do it without mutation, here's a mutable, or more preferably, STRef |
| 07:27:45 | <Inst> | You're a successful case, whereas there's people who ran off at recursion, and people who ran off at monads |
| 07:27:57 | <mon_aaraj> | I did run off at Monads. |
| 07:28:11 | <mon_aaraj> | And recursion gave me a run for my money, as well. |
| 07:28:18 | <jackdk> | I would instead teach accumulating parameters and recursion of a helper function, which matches the idioms the learner will see in the wild, |
| 07:28:23 | <mon_aaraj> | The issue I had with Haskell when I first started is that the resources were very scattered, though. Not the Monads or the recursion. |
| 07:28:44 | <Inst> | yeah, I tell people who freak out at Haskell "you can do virtually everything you do with mutation with accumulating parameters" |
| 07:29:01 | <mon_aaraj> | If the resources were as good as Rust's are right now, I would've probably "gotten" Haskell way earlier. |
| 07:29:01 | <Inst> | and honestly, you're right, accum parameters are idiomatic |
| 07:29:18 | <Inst> | and correct, because the compiler, I'm told, will TCO it into a for loop much of the time |
| 07:29:34 | <Inst> | outperformed a literal for loop via STref in benchmarks, iirc |
| 07:29:36 | <jackdk> | Recursion's utility is not immediately obvious; I used to have an errata card for my BASIC cartridge that said they took it out |
| 07:30:01 | → | gmg joins (~user@user/gehmehgeh) |
| 07:30:15 | <probie> | Into a "for loop"? What hardware are you running? :p |
| 07:30:22 | <Inst> | I still don't understand why we bother with recursive data structures; as I've mentioned elsewhere, the Racketeers teach recursion starting with recursive data structures, because for recursive data structures, recursion is just natural |
| 07:30:32 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:30:43 | <Inst> | iirc, the way I understand it |
| 07:31:17 | <Inst> | recursive data structures expand dynamically at runtime, whereas non-recursive data structures are fixed, but that doesn't seem like a strong enough argument |
| 07:32:03 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 07:32:22 | <mon_aaraj> | Inst: I don't understand? Aren't those conflicting things? |
| 07:32:44 | → | gmg joins (~user@user/gehmehgeh) |
| 07:33:03 | <Inst> | what's conflicting? |
| 07:34:06 | <mon_aaraj> | You ask why we bother with recursive data structures, and say that racketeers teach using them because recursion is natural for those data structures. Doesn't that mean what we're "bothering" with is good? |
| 07:34:24 | → | gensyst joins (~gensyst@user/gensyst) |
| 07:34:51 | <Inst> | i mean, i try to convert recursion to dynamic programming when i can |
| 07:35:20 | <Inst> | it imposes a cost in many cases, except that with the case of recursive data structures |
| 07:35:23 | <gensyst> | Is there such a thing as "writing friendly progress report (e.g. % completed) to stdout" for multithreaded programs? I'm thinking % progress for each thread going on each line, and lines getting removed (or stacked on top) as threads complete. |
| 07:35:26 | <gensyst> | Has someone worked on this? |
| 07:35:27 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:35:35 | <mon_aaraj> | Um, I still don't understand that first sentence. I'm very confused what recursion has to do with dynamic programming. |
| 07:35:38 | <Inst> | recursion is the optimal way to work with recursive data structures |
| 07:36:07 | <Inst> | well, the point of racketeers preferring recursive data types to teach recursion is because recursive algorithms are optimal for recursive data structures |
| 07:36:21 | <Inst> | you're not supposed to be using recursive factorial or fibonacci |
| 07:36:48 | <Inst> | they consider it forced, and not a good demonstration of recursion |
| 07:37:03 | <Inst> | i literally got Haskell to outperform Rust because of recursive factorial ;) |
| 07:37:23 | <Inst> | iirc, there's a primeswing algorithm that I don't understand |
| 07:37:36 | <mon_aaraj> | That's.... a _very_ weird line of thought? Like the last 12 messages you sent I can't really make logical sense out of. |
| 07:37:40 | <Inst> | sorry |
| 07:37:42 | <Inst> | a bit drunk |
| 07:37:47 | <Inst> | forget it, maybe later |
| 07:37:47 | <[exa]> | mon_aaraj: typically dynamic programs are very recursively defined where you memoize a lot of the recursion with some clever caching scheme |
| 07:38:14 | <Inst> | as far as I understand, in an imperative language, dynamic programming is better than recursion, when you can translate the recursion to dynamic programming efficiently |
| 07:38:24 | <mon_aaraj> | What does "dynamic programs" mean here? Like programs written in Python? |
| 07:38:42 | <[exa]> | mon_aaraj: https://en.wikipedia.org/wiki/Dynamic_programming |
| 07:39:27 | <mon_aaraj> | Ah. I suppose the name just confused me. |
| 07:39:37 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 07:40:41 | <Hecate> | mon_aaraj: yes it's fairly overloaded |
| 07:40:52 | <[exa]> | yeah it's been named in like 60ties and no one cared to really push for a better one yet |
| 07:41:18 | <Inst> | tabFib u = go 1 1 u; where go _ b 1 = b; go a b n = go (a + b) a (n-1) |
| 07:41:38 | <probie> | Dynamic Programming is Dynamic Programming. I'm not sure if I'd normally connect "Dynamic Programs" to "Dynamic Programming" |
| 07:41:53 | → | kenran joins (~user@user/kenran) |
| 07:42:13 | <Inst> | could do that via a for loop instead and still outperform |
| 07:42:36 | <darkling> | One talks about "Integer Programs" when doing Integer Programming, so I guess you could do the same for DP. |
| 07:43:12 | <Inst> | unmemoFib u | u `elem` [1,2] = 1; unmemoFib u = unmemoFib (u-1) + unmemoFib (u-2) |
| 07:44:01 | <Inst> | canonical fib is still via matrices or binet |
| 07:45:20 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 07:46:11 | → | nate1 joins (~nate@98.45.169.16) |
| 07:46:16 | <Inst> | i wonder how long it'll take to compute unmemoFib 100? ugh |
| 07:46:43 | <jackdk> | gensyst: https://hackage.haskell.org/package/concurrent-output maybe? |
| 07:48:25 | <probie> | Inst: That's version with the accumulator is "fast" because after TCO you end up with something like (in some psuedo imperative code) { a = 1; b = 1; go: if (n == 1) return b; a, b, n = a+b, b, n-1; goto go; }. That involves a lot less book-keeping than a for loop |
| 07:48:28 | <jade[m]> | Inst: ~2^99 slower than unmemoFib 1? |
| 07:51:01 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 07:51:38 | → | ubert1 joins (~Thunderbi@p200300ecdf114f254c3df6d95498bb99.dip0.t-ipconnect.de) |
| 07:55:48 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:59:43 | × | vglfr quits (~vglfr@46.96.159.156) (Ping timeout: 250 seconds) |
| 08:01:08 | <gensyst> | jackdk, thanks!!! exactly what i'm after! |
| 08:01:24 | <jitrs[m]> | @pl \hole -> f x hole y |
| 08:01:24 | <lambdabot> | flip (f x) y |
| 08:03:54 | → | falafel joins (~falafel@2603-8000-d700-115c-1838-e7fa-9b4f-bace.res6.spectrum.com) |
| 08:04:23 | → | merijn joins (~merijn@185.143.104.11) |
| 08:09:12 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 08:09:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:09:45 | × | barak_ quits (~barak@77.125.91.113) (Ping timeout: 240 seconds) |
| 08:09:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:09:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:10:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:10:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:10:21 | → | tango joins (~tango@5-157-196-109.itvmedia.pl) |
| 08:10:22 | × | tango quits (~tango@5-157-196-109.itvmedia.pl) (Write error: Broken pipe) |
| 08:10:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:10:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:10:36 | → | tango88 joins (~tango88@5-157-196-109.itvmedia.pl) |
| 08:10:38 | → | ub joins (~Thunderbi@p200300ecdf114f258f5f321c9488c19d.dip0.t-ipconnect.de) |
| 08:10:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:10:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:10:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:10:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:11:05 | × | ubert quits (~Thunderbi@p548c84d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 08:11:05 | ubert1 | is now known as ubert |
| 08:11:06 | ubert | is now known as 068AAFKQ3 |
| 08:11:06 | ub | is now known as 030AAFWAZ |
| 08:11:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:11:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:11:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:11:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:11:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:11:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:11:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:11:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:12:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:12:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:12:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:12:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:12:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:12:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:13:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:13:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:13:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:13:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:13:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:13:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:13:38 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:13:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:13:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:14:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:14:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:14:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:14:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:14:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:14:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:14:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:14:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:15:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:15:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:15:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:15:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:15:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:15:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:15:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:15:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:16:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:16:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:16:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:16:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:16:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:16:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:16:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:16:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:17:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:17:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:17:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:17:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:17:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:17:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:17:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:17:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:18:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:18:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:18:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:18:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:18:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:18:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:18:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:18:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:19:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:19:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:19:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:19:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:19:42 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 08:19:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:19:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:19:56 | → | gurkenglas joins (~gurkengla@dynamic-046-114-180-034.46.114.pool.telefonica.de) |
| 08:20:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:20:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:20:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:20:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:20:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:20:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:20:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:20:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:20:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:21:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:21:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:21:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:21:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:21:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:21:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:21:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:22:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:22:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:22:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:22:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:22:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:22:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:22:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:22:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:23:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:23:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:23:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:23:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:23:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:23:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:23:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:23:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:24:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:24:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:24:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:24:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:24:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:24:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:24:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:24:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:25:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:25:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:25:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:25:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:25:37 | → | ubert joins (~Thunderbi@p548c84d6.dip0.t-ipconnect.de) |
| 08:25:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:25:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:25:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:25:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:26:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:26:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:26:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:26:26 | × | 030AAFWAZ quits (~Thunderbi@p200300ecdf114f258f5f321c9488c19d.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 08:26:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:26:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:26:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:26:55 | → | _xor joins (~xor@74.215.46.17) |
| 08:26:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:26:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:27:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:27:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:27:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:27:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:27:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:27:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:28:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:28:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:28:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:28:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:28:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:28:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:28:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:28:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:29:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:29:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:29:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:29:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:29:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:29:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:29:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:29:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:30:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:30:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:30:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:30:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:30:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:30:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:30:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:30:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:31:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:31:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:31:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:31:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:31:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:31:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:31:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:31:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:32:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:32:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:32:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:32:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:32:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:32:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:32:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:32:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:33:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:33:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:33:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:33:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:33:43 | × | merijn quits (~merijn@185.143.104.11) (Ping timeout: 265 seconds) |
| 08:33:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:33:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:33:47 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 08:33:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:33:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:34:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:34:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:34:16 | <tango88> | Hi, I was wondering how exactly deriving Eq instance works, which led me to trying to find the mechanism description in Haskell Report 2010, but to no avail (seems extremely simple, but still couldn't find decisive information about it; 11.1 appears to be the place to look for it). Does the report define how exactly is Eq derived? |
| 08:34:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:34:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:34:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:34:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:35:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:35:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:35:09 | × | _xor quits (~xor@74.215.46.17) (Quit: brb) |
| 08:35:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:35:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:35:32 | <mauke> | @where ops |
| 08:35:32 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 08:35:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:35:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:35:44 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 08:35:49 | <mauke> | lambdap237's connection is flapping |
| 08:35:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:35:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:36:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:36:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:36:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:36:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:36:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:36:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:36:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:36:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:37:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:37:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:37:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:37:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:37:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:37:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:37:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:37:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:38:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:38:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:38:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:38:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:38:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:38:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:38:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:38:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:39:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:39:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:39:18 | <mauke> | tango88: yes, 11.1 is the spec for derived Eq instances |
| 08:39:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:39:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:39:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:39:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:39:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:39:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:40:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:40:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:40:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:40:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:40:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:40:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:41:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:41:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:41:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:41:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:41:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:41:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:41:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:41:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:42:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:42:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:42:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:42:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:42:30 | × | 068AAFKQ3 quits (~Thunderbi@p200300ecdf114f254c3df6d95498bb99.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 08:42:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:42:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:42:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:42:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:43:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:43:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:43:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:43:19 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:43:23 | → | merijn joins (~merijn@195.114.232.94) |
| 08:43:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:43:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:43:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:43:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:44:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:44:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:44:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:44:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:44:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:44:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:44:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:44:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:45:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:45:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:45:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:45:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:45:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:45:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:45:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:45:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:46:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:46:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:46:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:46:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:46:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:46:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:46:53 | <tango88> | mauke: Although the chapter is extremely short, I couldn't find decisive information regarding the deriving mechanism - for example "returning True if constructors match or have defined Eq instance". Does the report skip this definition and expect compiler to provide sanest solution or maybe is it implicitly defined and I'm just missing it? |
| 08:46:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:46:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:47:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:47:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:47:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:47:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:47:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:47:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:47:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:47:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:48:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:48:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:48:27 | <mauke> | tango88: huh. technically I guess the report places no constraints on derived (==) :-) |
| 08:48:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:48:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:48:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:48:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:48:51 | <tango88> | mauke: i see, thanks |
| 08:48:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:48:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:49:00 | <mauke> | tango88: I think it is assumed that the generated Eq instance is compatible with Ord, which specifies lexicographic ordering |
| 08:49:10 | <mauke> | might be a genuine spec bug, though :-) |
| 08:49:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:49:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:49:20 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:9de4:e162:b48:6951) |
| 08:49:22 | ChanServ | sets mode +o shachaf |
| 08:49:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:49:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:49:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:49:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:50:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:50:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:50:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:50:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 08:50:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 08:50:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 08:50:42 | shachaf | sets mode +b lambdap237!*@*$##fix_your_connection |
| 08:50:48 | shachaf | sets mode -o shachaf |
| 08:51:39 | × | acidjnk quits (~acidjnk@p200300d6e715c491dc796c235bb1f77a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 08:51:45 | → | acidjnk_new joins (~acidjnk@p200300d6e715c4911dc1249c1b9c31fa.dip0.t-ipconnect.de) |
| 08:53:14 | <mauke> | tango88: the more I think about it, the more I think you've found a bug/oversight in the report |
| 08:54:08 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 08:57:00 | <mauke> | hah. bug reports are to be sent to the haskell-prime group, whose website is gone and whose mailing list is dead |
| 08:57:57 | × | dextaa quits (~DV@user/dextaa) (Quit: Ping timeout (120 seconds)) |
| 08:58:13 | → | APic joins (apic@apic.name) |
| 08:58:22 | → | dextaa joins (~DV@user/dextaa) |
| 09:05:36 | → | nitr0gen joins (~nitr0gen@2405:201:a:a9d5:29f7:7ac1:3e43:bce) |
| 09:07:14 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds) |
| 09:07:16 | <merijn> | I'm sure we'll get Haskell Prime any moment now |
| 09:08:13 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 09:08:26 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:10:42 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:11:58 | <probie> | I think the way to get Haskell Prime is for someone to write another Haskell compiler to force the need for a spec, except I also want to bootstrap it, so can they actually write two (with one not in Haskell) and/or make it buildable with hugs? |
| 09:12:03 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 09:13:59 | <merijn> | If you wanna do that, I'd start from UHC, not hugs, tbh |
| 09:16:32 | <[Leary]> | The deriving mechanism must assume full transparency, so the Eq laws already constitute a full specification. Unfortunately, section 6.3.1 does not include those laws... |
| 09:17:46 | <probie> | Isn't UHC written in Haskell? Hugs is written in C which makes it bootstrap friendly |
| 09:19:21 | <merijn> | probie: Hugs has also been dead for far longer and less support for Haskell2010/extension than UHC :p |
| 09:21:08 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 09:22:28 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 09:26:12 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 09:27:49 | × | falafel quits (~falafel@2603-8000-d700-115c-1838-e7fa-9b4f-bace.res6.spectrum.com) (Ping timeout: 265 seconds) |
| 09:29:46 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e40f:1779:8d3b:ad7d) (Remote host closed the connection) |
| 09:35:14 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 09:36:48 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 09:42:07 | → | robosexual joins (~spaceoyst@5.165.10.6) |
| 09:42:13 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 09:46:05 | × | tango88 quits (~tango88@5-157-196-109.itvmedia.pl) (Quit: Client closed) |
| 09:52:35 | → | tango88 joins (~tango88@5-157-196-109.itvmedia.pl) |
| 10:00:26 | → | phma_ joins (phma@2001:5b0:210d:6758:ea1f:1d6e:9ba6:7e12) |
| 10:00:41 | × | phma quits (~phma@2001:5b0:211b:b518:b882:9716:7840:b9e6) (Read error: Connection reset by peer) |
| 10:03:23 | × | tango88 quits (~tango88@5-157-196-109.itvmedia.pl) (Quit: Client closed) |
| 10:06:04 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 10:06:35 | × | acidjnk_new quits (~acidjnk@p200300d6e715c4911dc1249c1b9c31fa.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:09:43 | → | __monty__ joins (~toonn@user/toonn) |
| 10:10:46 | → | acidjnk joins (~acidjnk@p200300d6e715c49189eeee6d6a223043.dip0.t-ipconnect.de) |
| 10:14:02 | → | naine[m] joins (~naine-env@2001:470:69fc:105::3:2e57) |
| 10:15:27 | → | nain joins (~nain@169.150.218.79) |
| 10:23:18 | <probie> | and since our goal is Haskell prime, I'll go back to my alternate request: One GHC competitor (written in Haskell) and one other compiler/interpreter to bootstrap it (written in C/Scheme/Common Lisp/any other language I can bootstrap to from something "simple" like C or Forth) |
| 10:28:17 | <int-e> | how much money are you going to pay to make this wish come true? |
| 10:28:29 | <int-e> | there aren't many brownie points to earn here |
| 10:29:56 | <int-e> | both nhc and jhc were strong ghc competitors once but kind of died |
| 10:30:16 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:a8fa:974a:df0c:83d2) |
| 10:30:18 | <c_wraith> | you quickly run into the problem that a lot more people care about new features than having multiple implementations |
| 10:30:45 | <int-e> | for better or worse, self-hosting is the norm for compilers |
| 10:33:17 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 10:34:31 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:a8fa:974a:df0c:83d2) (Ping timeout: 240 seconds) |
| 10:35:37 | <probie> | I'll pay in exposure :p Jokes aside, whilst a "GHC competitor" was just to force Haskell Prime to materialise, I do actually want my toolchain bootstrappable, and would be willing to spend some of my own time to make happen |
| 10:36:19 | <jackdk> | probie: we should talk |
| 10:37:17 | <int-e> | probie: people die of exposure |
| 10:41:55 | <int-e> | I understand the desire, but I have a hard time imagining a world where an alternative Haskell implementation actually gains traction, as long as ghc is maintained at the pace it's being maintained right now. |
| 10:48:09 | <Hecate> | I think our best bet is in a modular GHC |
| 10:48:25 | <Hecate> | where people can plug components like the external STG interpreter, another frontend, etc |
| 10:50:05 | × | pyook quits (~puke@user/puke) (Ping timeout: 240 seconds) |
| 10:52:21 | ChanServ | sets mode +o litharge |
| 10:52:21 | litharge | sets mode -bo lambdap237!*@*$##fix_your_connection litharge |
| 10:52:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:52:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:52:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:52:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:52:53 | phma_ | is now known as phma |
| 10:52:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:52:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:53:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:53:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:53:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:53:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:53:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:53:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:53:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:53:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:54:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:54:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:54:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:54:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:54:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:54:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:55:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:55:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:55:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:55:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:55:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:55:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:55:43 | <int-e> | who banned this last... shachaf? |
| 10:55:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:55:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:56:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:56:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:56:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:56:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:56:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:56:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:56:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:56:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:57:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:57:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:57:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:57:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:57:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:57:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:57:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:57:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:58:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:58:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:58:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:58:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:58:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:58:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:58:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:58:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:59:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:59:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:59:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:59:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:59:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:59:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 10:59:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 10:59:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:00:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:00:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:00:13 | → | pyook joins (~puke@user/puke) |
| 11:00:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:00:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:00:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:00:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:00:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:00:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:01:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:01:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:01:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:01:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:01:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:01:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:01:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:01:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:02:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:02:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:02:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:02:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:02:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:02:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:02:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:02:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:03:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:03:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:03:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:03:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:03:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:03:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:03:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:03:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:04:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:04:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:04:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:04:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:04:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:04:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:04:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:04:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:04:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:1f6d:bb02:ed12:309d) |
| 11:05:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:05:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:05:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:05:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:05:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:05:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:05:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:05:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:06:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:06:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:06:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:06:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:06:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:06:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:06:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:06:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:07:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:07:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:07:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:07:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:07:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:07:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:07:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:07:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:08:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:08:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:08:13 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 11:08:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:08:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:08:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:08:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:08:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:08:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:09:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:09:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:09:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:09:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:09:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:09:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:09:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:09:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:10:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:10:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:10:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:10:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:10:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:10:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:10:54 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:10:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:11:10 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:11:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:11:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:11:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:11:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:11:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:11:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:11:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:12:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:12:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:12:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:12:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:12:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:12:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:12:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:12:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:13:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:13:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:13:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:13:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:13:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:13:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:13:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:13:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:14:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:14:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:14:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:14:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:14:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:14:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:14:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:14:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:15:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:15:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:15:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:15:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:15:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:15:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:15:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:15:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:16:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:16:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:16:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:16:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:16:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:16:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:16:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:16:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:17:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:17:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:17:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:17:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:17:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:17:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:18:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:18:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:18:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:18:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:18:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:18:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:18:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:18:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:19:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:19:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:19:05 | × | ryantrinkle quits (~ryantrink@140.174.248.64) (Ping timeout: 240 seconds) |
| 11:19:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:19:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:19:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:19:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:19:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:19:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:20:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:20:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:20:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:20:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:20:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:20:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:20:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:20:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:21:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:21:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:21:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:21:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:21:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:21:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:21:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:21:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:22:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:22:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:22:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:22:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:22:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:22:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:22:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:22:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:23:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:23:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:23:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:23:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:23:35 | × | mmhat quits (~mmh@p200300f1c7106ee3ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8) |
| 11:23:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:23:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:23:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:23:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:24:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:24:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:24:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:24:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:24:25 | × | kenran quits (~user@user/kenran) (Ping timeout: 240 seconds) |
| 11:24:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:24:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:24:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:24:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:25:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:25:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:25:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:25:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:25:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:25:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:25:55 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:25:55 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:26:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:26:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:26:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:26:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:26:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:26:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:26:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:26:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:27:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:27:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:27:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:27:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:27:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:27:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:27:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:27:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:28:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:28:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:28:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:28:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:28:41 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:28:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:28:58 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:28:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:29:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:29:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:29:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:29:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:29:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:29:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:30:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:30:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:30:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:30:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:30:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:30:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:30:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:30:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:31:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:31:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:31:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:31:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:31:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:31:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:31:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:31:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:32:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:32:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:32:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:32:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:32:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:32:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:32:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:32:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:33:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:33:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:33:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:33:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:33:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:33:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:33:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:33:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:34:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:34:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:34:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:34:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:34:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:34:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:34:49 | → | vglfr joins (~vglfr@37.73.131.184) |
| 11:34:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:34:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:35:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:35:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:35:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:35:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:35:27 | × | jinsl- quits (~jinsl@2408:8207:2552:dc20:211:32ff:fec8:6aea) (Quit: ZNC - https://znc.in) |
| 11:35:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:35:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:35:38 | → | jinsl joins (~jinsl@2408:8207:2552:dc20:211:32ff:fec8:6aea) |
| 11:35:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:35:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:36:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:36:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:36:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:36:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:36:38 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:36:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:36:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:36:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:37:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:37:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:37:20 | × | vglfr quits (~vglfr@37.73.131.184) (Remote host closed the connection) |
| 11:37:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:37:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:37:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:37:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:37:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:37:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:38:10 | → | vglfr joins (~vglfr@37.73.131.184) |
| 11:38:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:38:11 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:38:26 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:38:26 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:38:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:38:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:38:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:38:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:39:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:39:14 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:39:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:39:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:39:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:39:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:39:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:39:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:40:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:40:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:40:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:40:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:40:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:40:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:41:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:41:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:41:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:41:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:41:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:41:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:41:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:41:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:42:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:42:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:42:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:42:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:42:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:42:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:42:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:42:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:43:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:43:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:43:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:43:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:43:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:43:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:43:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:43:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:44:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:44:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:44:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:44:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:44:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:44:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:44:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:44:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:45:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:45:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:45:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:45:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:45:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:45:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:45:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:45:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:46:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:46:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:46:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:46:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:46:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:46:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:46:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:46:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:47:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:47:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:47:24 | <nain> | Hi, I am looking at the Summer of Haskell Program with interest in being a mentee. |
| 11:47:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:47:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:47:36 | → | ryantrinkle joins (~ryantrink@140.174.248.64) |
| 11:47:41 | → | nate1 joins (~nate@98.45.169.16) |
| 11:47:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:47:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:47:49 | <nain> | I have only recently discovered Haskell, and have been going through the intro and help pages. |
| 11:47:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:47:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:48:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:48:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:48:29 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:48:29 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:48:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:48:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:48:52 | <nain> | I have taken a look at the ideas page too. And found three tasks of interest, that I _may_ be able to tackle (with some help :) |
| 11:48:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:48:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:49:06 | <jackdk> | Welcome nain; I'm not involved on SoH but hopefully there are some here who are |
| 11:49:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:49:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:49:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:49:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:49:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:49:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:50:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:50:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:50:04 | <nain> | Hi jackdk, thank you ^^. Nice to meet you. |
| 11:50:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:50:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:50:15 | <jackdk> | regardless, this is a good place to ask haskell questions as you learn |
| 11:50:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:50:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:50:31 | <jackdk> | lambdap237 knock it off mate |
| 11:50:38 | <nain> | Oh, that's good. |
| 11:50:40 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 11:50:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:50:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:51:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:51:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:51:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:51:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:51:31 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 11:51:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:51:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:51:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:51:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:51:57 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 11:52:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:52:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:52:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:52:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:52:30 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 11:52:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:52:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:52:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:52:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:52:55 | <nain> | So, is this the right place to ask about SoH tasks and discuss their suitablity given my knowledge/skills? |
| 11:53:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:53:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:53:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:53:23 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:53:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:53:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:53:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:53:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:53:57 | <ncf> | @where ops |
| 11:53:58 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 11:54:08 | × | acidjnk quits (~acidjnk@p200300d6e715c49189eeee6d6a223043.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 11:54:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:54:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:54:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:54:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:54:33 | <ncf> | (please ban lambdap237) |
| 11:54:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:54:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:54:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:54:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:55:03 | <int-e> | (and convince litharge to not undo that within 2 hours) |
| 11:55:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:55:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:55:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:55:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:55:35 | <jackdk> | I don't know, nain. It's the channel named on the SoH contact page, which also suggests emailing the committee |
| 11:55:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:55:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:55:49 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 11:55:56 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 11:55:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:55:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:56:05 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 11:56:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:56:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:56:25 | nain | giggles, is that a key lambdabot? enumerating nicks.. perhaps |
| 11:56:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:56:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:56:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:56:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:57:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:57:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:57:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:57:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:57:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:57:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:57:36 | <nain> | jackdk: Yeah. I'll send them a mail in a bit. Thought I'd ask here first. |
| 11:57:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:57:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:57:58 | <nain> | Before mailing a committee . Sounds scary lol. hehe |
| 11:58:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:58:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:58:16 | <jackdk> | I don't know who's in that space and online right now |
| 11:58:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:58:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:58:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:58:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 11:58:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:58:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:59:02 | <gensyst> | ForeignPtr stuff is fine when the "close" function in C returns void. But is there a way to do robust ForeignPtr when the C "close" function returns e.g. integer that needs to be handled? (i.e. if the C "close" function returns != 0, then throw exception) |
| 11:59:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:59:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:59:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:59:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:59:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:59:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 11:59:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 11:59:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:00:05 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:00:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:00:13 | <jackdk> | I would write a wrapper around the actual finaliser and attach the wrapper to the ForeignPtr. Put the wrapper code in your repo (cbits/ is a common name for this sort of thing) and tell cabal about it |
| 12:00:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:00:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:00:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:00:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:00:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:00:52 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:00:53 | <nain> | That's okay. Thanks for the help and welcome ! |
| 12:01:01 | <jackdk> | No worries |
| 12:01:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:01:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:01:23 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:01:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:01:33 | <gensyst> | jackdk, ah a wrapper c function that returns void? but that only pushes the question further: what would that wrapper do with the int? |
| 12:01:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:01:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:01:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:01:54 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:02:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:02:10 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:02:25 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:02:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:02:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:02:41 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:02:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:02:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:03:07 | → | Vq joins (~vq@90-227-192-206-no77.tbcn.telia.com) |
| 12:03:11 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:03:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:03:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:03:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:03:40 | <jackdk> | I dunno, you could find a way to get that value back into Haskell-land. Or instead of using garbage-collected values, only provide bracket-style functions so you force the cleanup and check there |
| 12:03:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:03:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:03:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:03:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:04:10 | <jackdk> | or, if you wanna get really fancy, use a linear resource interface that returns the value in a way that it must be checked and dealt with |
| 12:04:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:04:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:04:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:04:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:04:43 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:04:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:04:48 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 12:04:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:04:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:05:14 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:05:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:05:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:05:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:05:44 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Quit: WeeChat 3.8) |
| 12:05:46 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:05:46 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:06:01 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:06:01 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:06:05 | <gensyst> | jackdk, "find a way to get that value back into Haskell-land" any quick tips on this? |
| 12:06:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:06:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:06:17 | <gensyst> | any standard established ways out there? |
| 12:06:31 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:06:31 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:06:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:06:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:06:49 | <jackdk> | I'm not an FFI wizard, so not really :/. can you say more about this resource you're getting from FFI? |
| 12:07:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:07:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:07:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:07:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:07:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:07:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:07:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:07:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:08:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:08:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:08:19 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:08:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:08:21 | <gensyst> | jackdk, https://libzip.org/documentation/zip_fopen.html and corresponding https://libzip.org/documentation/zip_fclose.html |
| 12:08:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:08:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:08:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:08:50 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:09:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:09:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:09:08 | × | robosexual quits (~spaceoyst@5.165.10.6) (Quit: Konversation terminated!) |
| 12:09:12 | <gensyst> | jackdk, of course i could get unprofessional and just ignore that close int |
| 12:09:18 | <gensyst> | but that's not the way. |
| 12:09:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:09:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:09:35 | <jackdk> | https://github.com/nih-at/libzip/blob/401ef3dd977066bc8f9b9ae53ce60934501b47d0/lib/zip_fclose.c#L41 |
| 12:09:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:09:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:09:52 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:09:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:10:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:10:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:10:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:10:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:10:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:10:37 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:10:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:10:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:11:08 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:11:08 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:11:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:11:24 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:11:40 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:11:40 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:11:50 | <gensyst> | jackdk, do you have anything particular in mind there? |
| 12:11:54 | <jackdk> | It's not the way. If you use finalisers then you're probably looking at some kind of funky way to push the int into an IORef or something, but I think you'd have a nicer interface if you went with a bracket-style function |
| 12:11:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:11:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:12:06 | <jackdk> | No, just pointing out the source isn't really doing much in fclose |
| 12:12:13 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:12:13 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:12:20 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 12:12:28 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:12:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:12:44 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:12:44 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:12:59 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:12:59 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:13:16 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:13:16 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:13:30 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:13:30 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:13:45 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:13:45 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:14:00 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:14:00 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:14:17 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:14:17 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:14:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:14:32 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:14:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:14:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:15:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:15:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:15:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:15:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:15:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:15:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:15:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:15:47 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:16:01 | <gensyst> | jackdk, i was able to do a bracket-based interface but it didn't work well with streaming APIs |
| 12:16:02 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:16:02 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:16:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:16:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:16:18 | <gensyst> | if I can "decouple" the closing (and leave it for GC), it lends itself better for streaming |
| 12:16:33 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:16:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:16:46 | <gensyst> | as a first iteration i'll ignore that int (for now). hopefully someone has some tips on the IORef shenanigans? |
| 12:16:48 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:16:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:17:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:17:05 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:17:21 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:17:21 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:17:24 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 12:17:36 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:17:36 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:17:51 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:17:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:18:07 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:18:07 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:18:22 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:18:22 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:18:37 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:18:38 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:18:53 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:18:53 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:19:09 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:19:09 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:19:24 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:19:25 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:19:39 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:19:39 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:19:56 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:19:56 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:20:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:20:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:20:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:20:27 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:20:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:20:43 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:20:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:20:58 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:21:12 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:21:12 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:21:27 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:21:28 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:21:30 | <jackdk> | gensyst: you could do the streaming inside the bracket, or hand it all off to resourcet (which lets you do the finalise step explicitly; I remember using this to make a servant server forward a stream correctly) |
| 12:21:42 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:21:42 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:21:57 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:21:57 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:22:15 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:22:15 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:22:32 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:22:33 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:22:47 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:22:48 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:23:03 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:23:03 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:23:18 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:23:18 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:23:34 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:23:34 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:23:49 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:23:49 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:24:04 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:24:04 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:24:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:24:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:24:35 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:24:35 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Remote host closed the connection) |
| 12:24:42 | <gensyst> | jackdk, thanks! i'll look into this |
| 12:24:44 | <gensyst> | lots of options :) |
| 12:24:50 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:24:51 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:24:55 | × | gensyst quits (~gensyst@user/gensyst) (Quit: Leaving) |
| 12:25:06 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:25:06 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:25:20 | → | lambdap237 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 12:25:20 | ChanServ | sets mode +o litharge |
| 12:25:20 | × | lambdap237 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Read error: Connection reset by peer) |
| 12:25:20 | litharge | sets mode +b lambdap237!*@*$##fix_your_connection |
| 12:25:31 | litharge | sets mode -o litharge |
| 12:25:34 | <jackdk> | litharge: thank you |
| 12:30:51 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 12:32:08 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 12:32:34 | → | kenran joins (~user@user/kenran) |
| 12:36:39 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 12:38:25 | → | acidjnk joins (~acidjnk@p200300d6e715c49189eeee6d6a223043.dip0.t-ipconnect.de) |
| 12:38:45 | → | Axman6 joins (~Axman6@user/axman6) |
| 12:39:11 | → | pavonia joins (~user@user/siracusa) |
| 12:40:43 | → | barak joins (~barak@2a02:14f:83:1a53:7b83:8bb3:658f:78a9) |
| 12:43:00 | → | dcleonarski joins (~user@2804:d51:4793:c800:b0e2:a2e8:89a0:4c46) |
| 12:47:57 | → | NiceBird joins (~NiceBird@185.133.111.196) |
| 12:49:13 | × | gurkenglas quits (~gurkengla@dynamic-046-114-180-034.46.114.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 12:50:40 | → | oac joins (~oac@50-93-248-155.fttp.usinternet.com) |
| 12:55:45 | × | oac quits (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 12:56:02 | → | oac joins (~oac@50-93-248-155.fttp.usinternet.com) |
| 12:56:53 | × | nitr0gen quits (~nitr0gen@2405:201:a:a9d5:29f7:7ac1:3e43:bce) (Ping timeout: 246 seconds) |
| 12:57:15 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:9de4:e162:b48:6951) (Ping timeout: 248 seconds) |
| 12:57:37 | → | nitr0gen joins (~nitr0gen@2409:4040:e82:1671:ae38:aa31:cf75:1903) |
| 12:59:35 | × | ryantrinkle quits (~ryantrink@140.174.248.64) (Ping timeout: 260 seconds) |
| 13:03:37 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 252 seconds) |
| 13:14:01 | × | acidjnk quits (~acidjnk@p200300d6e715c49189eeee6d6a223043.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 13:15:43 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 13:21:12 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:22:33 | × | Vq quits (~vq@90-227-192-206-no77.tbcn.telia.com) (Ping timeout: 250 seconds) |
| 13:22:56 | → | ryantrinkle joins (~ryantrink@140.174.248.64) |
| 13:23:40 | → | edwtjo joins (~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) |
| 13:23:40 | × | edwtjo quits (~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) (Changing host) |
| 13:23:40 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 13:25:25 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 13:26:07 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 13:26:28 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 13:31:27 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 13:33:13 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 13:33:55 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) |
| 13:34:14 | → | Vq joins (~vq@90-230-208-28-no77.tbcn.telia.com) |
| 13:35:38 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:35:41 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 13:37:18 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 13:38:09 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) (Ping timeout: 250 seconds) |
| 13:41:34 | × | Square quits (~Square4@user/square) (Ping timeout: 265 seconds) |
| 13:41:54 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
| 13:53:42 | → | acidjnk joins (~acidjnk@p200300d6e715c4910c85db67594b9b68.dip0.t-ipconnect.de) |
| 13:59:55 | → | CiaoSen joins (~Jura@ip-109-43-178-39.web.vodafone.de) |
| 14:03:22 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 14:03:27 | × | barak quits (~barak@2a02:14f:83:1a53:7b83:8bb3:658f:78a9) (Ping timeout: 246 seconds) |
| 14:11:52 | × | Me-me quits (~Me-me@user/me-me) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 14:17:18 | × | nain quits (~nain@169.150.218.79) (Ping timeout: 255 seconds) |
| 14:19:58 | → | ajf___[m] joins (~ajfmatrix@2001:470:69fc:105::2:5be3) |
| 14:20:54 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 14:23:38 | → | nain joins (~nain@169.150.218.82) |
| 14:25:58 | → | hochata joins (~user@user/hochata) |
| 14:32:06 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::1) |
| 14:40:33 | × | nitr0gen quits (~nitr0gen@2409:4040:e82:1671:ae38:aa31:cf75:1903) (Ping timeout: 250 seconds) |
| 14:42:03 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 255 seconds) |
| 14:45:26 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 14:46:05 | × | nain quits (~nain@169.150.218.82) (Ping timeout: 240 seconds) |
| 14:47:25 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 14:48:05 | <segfaultfizzbuzz> | so CPUs have speculative execution for serial calculations. is there such a thing as speculative parallelization? |
| 14:48:26 | <dminuoso> | Yes. |
| 14:48:41 | <dminuoso> | And that possibility is one of the reasons why Haskell is called non-strict, and not lazy. |
| 14:48:48 | <segfaultfizzbuzz> | oh interesting |
| 14:49:03 | <dminuoso> | And GHC even has *some* very rudimentary specualtive parallelization logic |
| 14:49:04 | <segfaultfizzbuzz> | can you elaborate? |
| 14:49:07 | <segfaultfizzbuzz> | oh fascinating |
| 14:49:10 | <dminuoso> | Well |
| 14:49:25 | <dminuoso> | Say you have `if a then b else c` |
| 14:49:53 | <mauke> | the sparks stuff? |
| 14:50:02 | <dminuoso> | Nothing stops GHC from speculatively forcing b and c before a even, as long as a potential bottom doesnt break the semantics. |
| 14:50:21 | → | elain4 joins (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 14:50:24 | <dminuoso> | So whatever paralellism you have, it cant have bottoms propagate like they do in visible semantics |
| 14:51:20 | <dminuoso> | Because say `a` evaluates to True, and `c` diverses, the expression cant diverse. |
| 14:51:54 | <dminuoso> | s/diverse/diverge/ |
| 14:52:27 | <segfaultfizzbuzz> | when you say "force b and c", should i equate that to "see whether b evaluates to a bottom, and whether c evaluates to a bottom"? |
| 14:52:50 | <dminuoso> | okay say you have `f x = ... where x = if a then b else c` |
| 14:52:58 | <mauke> | force = evaluate |
| 14:52:58 | <segfaultfizzbuzz> | yes |
| 14:53:05 | <dminuoso> | You could, in principle, force (that is bring into WHNF) b and c when f is entered in parallel |
| 14:53:22 | <dminuoso> | sorry `f arg = ... x ... where x = if a then b else c` |
| 14:54:03 | <mauke> | "evaluates to a bottom" isn't quite straightforward because bottom includes infinite loops |
| 14:54:06 | → | jargon joins (~jargon@174-22-213-236.phnx.qwest.net) |
| 14:54:07 | <dminuoso> | But imagine `a` evaluates to `True`, and `c` diverges, that parallel/early evaluation of `c` cant blow up the evaluation of `f arg` |
| 14:54:14 | <segfaultfizzbuzz> | i think i understand -- run b and c at the same time as or before a, and in parallel |
| 14:54:44 | <dminuoso> | segfaultfizzbuzz: right! and a bottom of a branch not taken cant propagate |
| 14:54:59 | <dminuoso> | so the runtime would have to have some provision for that to allow |
| 14:55:13 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:55:19 | <dminuoso> | segfaultfizzbuzz: its by the way why we have `pseq` |
| 14:55:35 | <dminuoso> | because `seq a b` doesnt mandate that `a` is evaluated *before* b. |
| 14:55:40 | <dminuoso> | Merely that it *is* evaluated when b is forced. |
| 14:55:47 | <dminuoso> | pseq gives that guarantee |
| 14:56:10 | <segfaultfizzbuzz> | i think i can translate that to "evaluating c can't totally starve the evaluation of a" |
| 14:56:22 | <dminuoso> | well even worse, `seq a b` could be rearranged into `seq b (seq a b)` |
| 14:56:24 | <mauke> | technically, 'seq a b' doesn't mandate that 'a' is evaluated at all when 'b' is forced |
| 14:56:47 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 14:57:04 | <segfaultfizzbuzz> | haskell could figure out that both b and c evaluate to 42 and skip evaluating a? |
| 14:57:05 | × | merijn quits (~merijn@195.114.232.94) (Ping timeout: 240 seconds) |
| 14:57:10 | × | ddellacosta quits (~ddellacos@143.244.47.70) (Quit: WeeChat 3.8) |
| 14:57:22 | <dminuoso> | segfaultfizzbuzz: if ghc can do that, sure. thats just called constant folding. |
| 14:57:37 | <mauke> | nah, that's illegal (for 'if a then b else c') |
| 14:57:44 | <segfaultfizzbuzz> | ok so on a related topic: |
| 14:57:50 | <segfaultfizzbuzz> | or, i think this is related i should say: |
| 14:57:53 | <dminuoso> | mauke: why is that illegal? |
| 14:58:05 | <dminuoso> | it's just a join point. |
| 14:58:20 | → | ddellacosta joins (~ddellacos@143.244.47.70) |
| 14:58:25 | <segfaultfizzbuzz> | i have been introduced to a variety of good coding practices via rust and now feel dependent on having a compiler enforce these practices |
| 14:58:28 | <mauke> | my gut feeling says that 'if a then b else c' must force 'a' |
| 14:58:29 | <dminuoso> | oh you mean because a is not forced? |
| 14:58:32 | <dminuoso> | mmm |
| 14:58:35 | <segfaultfizzbuzz> | one of the most important ones is the phenomenon of the Result type |
| 14:58:52 | <dminuoso> | mauke: im almost entirely sure it doesnt. |
| 14:59:05 | <dminuoso> | but only almost :p |
| 14:59:06 | <segfaultfizzbuzz> | now, you can panic in rust, so unfortunately it is not the case that every single error condition is handled explicitly by the Result type |
| 14:59:11 | <dminuoso> | lets check the haskell report |
| 14:59:15 | <segfaultfizzbuzz> | but in practice i can't say that i have ever encountered a panic |
| 14:59:26 | <segfaultfizzbuzz> | haskell on the other hand has exceptions and asynchronous exceptions |
| 14:59:34 | <dminuoso> | ` A case expression is evaluated by pattern matching the expression e against the individual alternatives. The alternatives are tried sequentially, from top to bottom.` |
| 14:59:34 | <segfaultfizzbuzz> | these make me nervous |
| 14:59:37 | <dminuoso> | Mmm |
| 14:59:44 | <segfaultfizzbuzz> | my question regarding haskell is: |
| 14:59:47 | <dminuoso> | mauke: I guess you're right |
| 14:59:53 | <dminuoso> | mauke: that formulation leaves no wiggle room. |
| 15:00:23 | <segfaultfizzbuzz> | is the phenomenon of the exception in haskell some kind of logically inevitable design choice |
| 15:00:48 | <segfaultfizzbuzz> | or does the Result paradigm in rust make this more of a dated thing |
| 15:00:50 | <mauke> | I think the best you can do is rewrite to 'seq a 42' if you discover that b and c always reduce to 42 |
| 15:00:58 | <mauke> | where "you" = the compiler |
| 15:01:42 | → | sadmax joins (~user@64.130.91.66) |
| 15:01:51 | <segfaultfizzbuzz> | that is to say, would the world haskell language prefer to reduce or eliminate exceptions and replace them with Result types, if we could snap our fingers |
| 15:02:05 | <mauke> | segfaultfizzbuzz: now we're getting into "total function" territory |
| 15:02:18 | <segfaultfizzbuzz> | i don't think Result requires totality,... |
| 15:03:20 | <dolio> | Result is the same thing as Either, isn't it? |
| 15:03:24 | <mauke> | yeah |
| 15:03:36 | <segfaultfizzbuzz> | my comment is not about having the option to use a Result type |
| 15:04:01 | <mauke> | (or using the option type as a result) |
| 15:04:02 | <segfaultfizzbuzz> | my comment is, the haskell ecosystem has exceptions everywhere (i think??) and exceptions are a preferred method of error handling |
| 15:04:18 | <segfaultfizzbuzz> | (in contrast to rust, where panic is for something really awful) |
| 15:04:21 | <mauke> | (asynchronous) exceptions are absolutely not preferred for error handling |
| 15:04:26 | <segfaultfizzbuzz> | oh? |
| 15:04:40 | <segfaultfizzbuzz> | so "exception" in haskell is like "panic" in rust? |
| 15:04:48 | <mauke> | in pure code? I'd say yes |
| 15:04:49 | <segfaultfizzbuzz> | because exception in python is for anything |
| 15:05:25 | <mauke> | you have to distinguish between errors in pure code and exception effects in monads (or something like that) |
| 15:05:28 | <mauke> | :t catch |
| 15:05:29 | <lambdabot> | Exception e => IO a -> (e -> IO a) -> IO a |
| 15:05:46 | <mauke> | ^ that looks well behaved to me |
| 15:06:03 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:7db4:b835:940f:b2a6) (Quit: WeeChat 2.8) |
| 15:06:44 | <mauke> | :t throwIO |
| 15:06:45 | <lambdabot> | Exception e => e -> IO a |
| 15:06:48 | <mauke> | :t throw |
| 15:06:49 | <lambdabot> | Exception e => e -> a |
| 15:06:54 | <mauke> | ^ that's the weird one |
| 15:07:23 | <mauke> | I woulcnd't try to catch those errors except as a last resort |
| 15:10:17 | → | Guest17 joins (~Guest17@2401:4900:126d:1ed:1569:dad9:4996:db21) |
| 15:11:22 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 15:11:45 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:11:46 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Remote host closed the connection) |
| 15:13:10 | → | dolio joins (~dolio@130.44.134.54) |
| 15:14:20 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 15:14:45 | × | vglfr quits (~vglfr@37.73.131.184) (Ping timeout: 240 seconds) |
| 15:15:30 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 15:16:02 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 15:17:00 | → | dolio joins (~dolio@130.44.134.54) |
| 15:18:21 | × | phma quits (phma@2001:5b0:210d:6758:ea1f:1d6e:9ba6:7e12) (Read error: Connection reset by peer) |
| 15:18:59 | → | phma joins (~phma@host-67-44-208-106.hnremote.net) |
| 15:22:47 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 15:24:45 | × | Inst quits (~Inst@2601:6c4:4081:54f0:bc9e:a2ec:406a:de9f) (Ping timeout: 250 seconds) |
| 15:25:15 | × | CiaoSen quits (~Jura@ip-109-43-178-39.web.vodafone.de) (Ping timeout: 255 seconds) |
| 15:29:52 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:36:47 | → | nain joins (~nain@169.150.218.82) |
| 15:37:40 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:44:43 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 276 seconds) |
| 15:47:17 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 250 seconds) |
| 15:49:11 | → | nate1 joins (~nate@98.45.169.16) |
| 15:49:20 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 248 seconds) |
| 15:49:58 | <carbolymer> | I keep forgetting how this version bound works... x ^>= 0.1.1 means: 0.1.1 =< x =< 0.1.2 right? |
| 15:50:29 | <monochrom> | < 0.2 |
| 15:50:35 | <carbolymer> | oh right |
| 15:50:36 | <carbolymer> | thanks |
| 15:53:58 | <yushyin> | carbolymer: https://cabal.readthedocs.io/en/stable/cabal-package.html#pkg-field-build-depends if you scroll down a bit you'll find an explanation |
| 15:54:28 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 276 seconds) |
| 15:54:31 | <carbolymer> | caret operator |
| 15:54:39 | <carbolymer> | I wasn't able to find "^>=" in cabal docs |
| 15:54:43 | <carbolymer> | yushyin: thanks! |
| 15:55:20 | <yushyin> | :) |
| 15:57:36 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:57:50 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 15:58:18 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 16:00:04 | × | agevelt[m] quits (~ageveltmo@2001:470:69fc:105::3:16db) (Quit: You have been kicked for being idle) |
| 16:00:45 | <mauke> | ah yes, haskell versions |
| 16:01:12 | <mauke> | W.X.Y.Z where W is the major version, X is also the major version, Y is the minor version, and Z the revision |
| 16:11:23 | → | econo joins (uid147250@user/econo) |
| 16:12:18 | <kaol> | What do you think of function composition going right to left? I've been using Haskell so long that it feels completely natural to me but some newcomers in our team seem to want to reverse that and I'd like to tell them something better besides stop being weird. |
| 16:12:52 | <yushyin> | the PVP spec is a tad old, W often denotes the epoch or just doesn't change at all |
| 16:13:34 | <Guest17> | I want to review my proposal by my mentor for my summer of haskell. where can I connect with him? |
| 16:13:37 | × | sadmax quits (~user@64.130.91.66) (Remote host closed the connection) |
| 16:15:53 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 16:15:57 | <geekosaur> | kaol, you might look at Data.Function.&, which is used a lot in lens |
| 16:16:13 | <ski> | kaol : if you can convinve them that function argument should come before function, in function application, go for it |
| 16:16:29 | <geekosaur> | but haskell is inspired by math and function composition in math is right to left |
| 16:16:39 | <kaol> | I know of & and I don't understand the uses for it. |
| 16:17:06 | <ski> | kaol : otherwise, it's easier to refactor inbetween `(foo a b . bar . baz c) x' and `foo a b (bar (baz c x))', if the order isn't changed |
| 16:17:14 | <geekosaur> | mostly just to make lens operations look more natural |
| 16:18:05 | <ski> | (btw, any idea for *why* function tends to come before argument, in function application ?) |
| 16:18:40 | ski | has some theories |
| 16:18:45 | <kaol> | I'm thinking that the way you could use `fmap` in place of (.) is a part of why it clicks so well. |
| 16:19:49 | <ski> | .. i rarely use `fmap' over `(rho ->)', tbh |
| 16:20:16 | <kaol> | I could expand the same to apply to function application: it's natural the way it is because it's just `id` in disguise. |
| 16:20:33 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 16:20:38 | <ski> | elaborate ? |
| 16:20:58 | <kaol> | > (+1) `id` 2 |
| 16:20:59 | <lambdabot> | 3 |
| 16:21:15 | <ncf> | that just moves the question to the order of arguments to id |
| 16:21:18 | <ski> | why wouldn't that work as well, with a reversed order of function application ? |
| 16:22:28 | <kaol> | There's no "order of arguments", you all know that id takes only one argument. |
| 16:22:37 | <ncf> | i wonder if this order is an artifact of SVO word order |
| 16:23:03 | <ncf> | it takes two arguments if you specialise it at a function type |
| 16:23:30 | <kaol> | All functions in Haskell take only one argument. Some of them just return more functions. |
| 16:24:00 | ski | figures ncf is after the two operands for an infix operator |
| 16:26:09 | <ncf> | well, if you accept that a `f` b means f a b if functions come first, or a b f if functions come last, then you've reduced "where's the function in "a `id` b" to "where's the function in "a b" |
| 16:26:15 | <kaol> | My intuition says that there's some connection with the order of how (.) and ($) go and how they can be replaced by the more generic `fmap` and `id` and that gives a bias to the functions that makes them more natural the way they are. |
| 16:26:27 | × | Guest17 quits (~Guest17@2401:4900:126d:1ed:1569:dad9:4996:db21) (Quit: Client closed) |
| 16:27:55 | <ski> | i agree with the former part. not so sure about the latter part |
| 16:28:37 | <ski> | ncf : yes, exactly |
| 16:28:52 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 16:31:00 | → | trev joins (~trev@user/trev) |
| 16:32:25 | × | nain quits (~nain@169.150.218.82) (Ping timeout: 240 seconds) |
| 16:34:46 | → | barcisz joins (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) |
| 16:35:34 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 265 seconds) |
| 16:35:42 | <ddellacosta> | I will use <&> and & sometimes when the flow feels like it makes more sense that way, but I have also found that it's rare that feels natural |
| 16:36:01 | ski | not too seldom uses `=<<' |
| 16:36:55 | <ddellacosta> | oh yeah that works a lot inside of subterms in do notation I feel like |
| 16:37:02 | × | jpds1 quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 16:37:26 | → | jpds1 joins (~jpds@gateway/tor-sasl/jpds) |
| 16:37:33 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 250 seconds) |
| 16:38:45 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 256 seconds) |
| 16:40:52 | → | um joins (68ou5yyswu@jail.mp2.macomnet.net) |
| 16:41:12 | ← | um parts (68ou5yyswu@jail.mp2.macomnet.net) () |
| 16:41:31 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 16:43:41 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 16:43:48 | × | barcisz quits (~barcisz@79.191.65.29.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 16:44:25 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 240 seconds) |
| 16:44:47 | <ski> | x <- (foo . bar <=< baz . quux) =<< frob |
| 16:45:23 | → | Guest8 joins (~Guest8@27-139-169-39.rev.home.ne.jp) |
| 16:45:37 | × | Guest8 quits (~Guest8@27-139-169-39.rev.home.ne.jp) (Client Quit) |
| 16:46:08 | → | flowert joins (~flowert@27-139-169-39.rev.home.ne.jp) |
| 16:46:21 | × | flowert quits (~flowert@27-139-169-39.rev.home.ne.jp) (Client Quit) |
| 16:46:44 | → | vglfr joins (~vglfr@88.155.3.42) |
| 16:52:54 | → | u0_a202 joins (~u0_a202@47.60.32.137) |
| 16:54:11 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 246 seconds) |
| 16:57:19 | × | u0_a202 quits (~u0_a202@47.60.32.137) (Client Quit) |
| 17:01:10 | <monochrom> | Just another endian war. :) |
| 17:08:38 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:11:12 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 17:12:41 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 17:13:56 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:14:08 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::1) (Ping timeout: 248 seconds) |
| 17:15:20 | → | dolio joins (~dolio@130.44.134.54) |
| 17:21:09 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 17:25:54 | → | joseemds joins (~josee@187.19.227.233) |
| 17:26:53 | × | mbuf quits (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 17:27:32 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::4) |
| 17:28:18 | × | joseemds quits (~josee@187.19.227.233) (Client Quit) |
| 17:29:43 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 17:30:30 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:30:42 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 17:32:50 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:35:36 | <bwe> | how can I derive Pretty instance for a data record (Pretty class is defined in package prettyprinter)? |
| 17:40:11 | <ncf> | bwe: looks like there's a default implementation for types with a Show instance, so `deriving (Show, Pretty)` should be enough? |
| 17:42:23 | <ncf> | (might need DeriveAnyClass) |
| 17:46:05 | × | oac quits (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 17:46:20 | → | oac joins (~oac@50-93-248-155.fttp.usinternet.com) |
| 17:50:34 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Quit: segfaultfizzbuzz) |
| 18:01:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) |
| 18:04:10 | → | berberman joins (~berberman@user/berberman) |
| 18:05:30 | → | mmynsted[m] joins (~mmynstedm@2001:470:69fc:105::3:474b) |
| 18:05:55 | → | kuribas joins (~user@ptr-17d51ep0r5c3e7q42xz.18120a2.ip6.access.telenet.be) |
| 18:08:46 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-2596-ec38-9e63-4653.rev.sfr.net) |
| 18:12:41 | → | danrh joins (~danrh@199.119.233.150) |
| 18:15:17 | <bwe> | ncf: DeriveAnyClass solves it :) - thanks |
| 18:27:56 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 18:30:03 | × | danrh quits (~danrh@199.119.233.150) (Read error: Connection reset by peer) |
| 18:32:49 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 18:45:45 | × | kaskal quits (~kaskal@213-147-166-209.nat.highway.webapn.at) (Ping timeout: 240 seconds) |
| 18:46:11 | × | jbalint_ quits (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Ping timeout: 246 seconds) |
| 18:47:04 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 18:51:38 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:52:15 | × | raym quits (~ray@user/raym) (Quit: leaving) |
| 18:53:13 | → | raym joins (~ray@user/raym) |
| 18:56:03 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 18:57:06 | × | hochata quits (~user@user/hochata) (Remote host closed the connection) |
| 19:01:43 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-2596-ec38-9e63-4653.rev.sfr.net) (Ping timeout: 260 seconds) |
| 19:01:56 | → | alexherbo2 joins (~alexherbo@2a02-8440-2140-b0a8-4dcf-c179-4324-b99f.rev.sfr.net) |
| 19:03:05 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Ping timeout: 240 seconds) |
| 19:07:36 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 19:15:19 | → | gurkenglas joins (~gurkengla@dynamic-046-114-183-107.46.114.pool.telefonica.de) |
| 19:16:06 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 19:16:07 | → | shriekingnoise_ joins (~shrieking@186.137.175.87) |
| 19:16:32 | → | kaskal joins (~kaskal@2001:4bb8:2cc:efb3:2d42:311d:d744:4a5) |
| 19:17:25 | → | Inst joins (~Inst@2601:6c4:4081:54f0:71a6:8347:491d:ec1e) |
| 19:18:12 | → | a_coll joins (~acoll@45.92.120.189) |
| 19:21:31 | → | dsrt^ joins (~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) |
| 19:21:38 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 19:23:14 | → | tr_ev joins (~trev@user/trev) |
| 19:23:32 | tr_ev | is now known as trev |
| 19:25:07 | → | grnman_ joins (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) |
| 19:38:17 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 19:43:24 | × | kuribas quits (~user@ptr-17d51ep0r5c3e7q42xz.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:50:42 | → | nate1 joins (~nate@98.45.169.16) |
| 19:55:44 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 19:55:56 | × | vulpine quits (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 19:57:05 | × | jargon quits (~jargon@174-22-213-236.phnx.qwest.net) (Ping timeout: 240 seconds) |
| 19:58:36 | → | vulpine joins (xfnw@tilde.team) |
| 20:00:34 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 20:00:52 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 20:02:22 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:4431:9012:1c52:a85d) |
| 20:03:02 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 20:05:42 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) (Remote host closed the connection) |
| 20:05:50 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:06:25 | × | oac quits (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 20:06:40 | → | oac joins (~oac@50-93-248-155.fttp.usinternet.com) |
| 20:06:59 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) |
| 20:07:10 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:4431:9012:1c52:a85d) (Ping timeout: 260 seconds) |
| 20:15:52 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) (Remote host closed the connection) |
| 20:18:06 | × | grnman_ quits (~michaelsc@c-66-176-3-51.hsd1.fl.comcast.net) (Quit: Lost terminal) |
| 20:19:16 | → | barak joins (~barak@77.125.91.113) |
| 20:26:39 | → | opticblast joins (~Thunderbi@172.58.87.218) |
| 20:36:01 | × | vglfr quits (~vglfr@88.155.3.42) (Ping timeout: 240 seconds) |
| 20:38:40 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 20:39:51 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 20:40:59 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 20:41:19 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 20:41:51 | → | JScript joins (~JScript@45.248.77.204) |
| 20:45:42 | ← | zq parts (~zq@xorshift.org) () |
| 20:46:05 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 20:46:16 | → | cheater_ joins (~Username@user/cheater) |
| 20:48:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 20:48:11 | cheater_ | is now known as cheater |
| 20:57:22 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 21:02:02 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 21:06:33 | → | heraldo joins (~heraldo@user/heraldo) |
| 21:06:45 | × | oac quits (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 21:07:01 | → | oac joins (~oac@50-93-248-155.fttp.usinternet.com) |
| 21:07:42 | → | gentauro joins (~gentauro@user/gentauro) |
| 21:10:06 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 21:10:24 | × | shriekingnoise_ quits (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
| 21:10:51 | → | slack1256 joins (~slack1256@181.42.52.231) |
| 21:13:49 | <slack1256> | I am hitting this error when deriving Lift on a Unlifted data type: "Cannot derive well-kinded instance of form ‘Lift (Strict ...)’ Class ‘Lift’ expects an argument of kind ‘*’". Yet if we see the definition of class Lift is: "class Lift (t :: TYPE r) where", allowing Unlifted data types. They even have some definitions on there. |
| 21:14:18 | <slack1256> | So what gives? Is DeriveLift only for Lifted Kinds? |
| 21:16:18 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 21:16:20 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) |
| 21:17:13 | × | a_coll quits (~acoll@45.92.120.189) (Remote host closed the connection) |
| 21:20:07 | <ncf> | > Representation-polymorphic since template-haskell-2.16.0.0. |
| 21:20:08 | <lambdabot> | <hint>:1:60: error: |
| 21:20:08 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 21:20:21 | <ncf> | are you using an older version? |
| 21:21:08 | <slack1256> | I am using 2.18.0.0 |
| 21:21:31 | <slack1256> | I am guessing that 'DeriveLift' is only for Lifted kinds, given the default signature. |
| 21:21:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:944e:aa4f:ecfd:acab) (Ping timeout: 250 seconds) |
| 21:27:26 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 21:28:00 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::4) (Ping timeout: 248 seconds) |
| 21:29:13 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 21:32:18 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:35:47 | <Inst> | hmmm |
| 21:36:00 | <Inst> | is there a market for a GUI wrapper around GHCup and Cabal? |
| 21:37:25 | <slack1256> | Inst: There is a TUI wrapper for GHCup |
| 21:37:53 | <Inst> | I know, but the TUI doesn't work on Windows (maerwald is working on getting a substitute because it's an issue with bricks / vty) |
| 21:38:10 | <geekosaur> | guis are even less portable… |
| 21:38:18 | <Inst> | monomer is multi-platform |
| 21:38:39 | <slack1256> | Yeah, what is up with monomer? sounds like a dream |
| 21:38:43 | <Inst> | what would people think if people used Sarcasm as a project manager for Haskell? |
| 21:38:49 | <Inst> | monomer is understaffed |
| 21:39:12 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::4) |
| 21:39:20 | <Inst> | it works on Windows, seems to be nice in general, but issues with sdl2 installation on windows (you'll have to get into mingw to compile exactly the right binary) |
| 21:39:47 | <slack1256> | Inst: When you mean windows, you mean windows without WSLv2 right? |
| 21:39:53 | <Inst> | erm, compile exactly the right sdl2, because GHC won't install the most recent sdl2 |
| 21:39:53 | <slack1256> | Does it work on WSLv2? |
| 21:40:01 | <Inst> | I mean straight windows |
| 21:40:07 | <slack1256> | Gotcha |
| 21:40:33 | <Inst> | monomer is a great project, wish I were qualified to give it more support |
| 21:40:56 | <Inst> | I disagree with elm architecture, but it's not like there's anything better |
| 21:46:37 | <monochrom> | There is a demand market, but no supply market. :) |
| 21:47:11 | <monochrom> | May I therefore tell you again the relevant Aesop fable. :) |
| 21:48:12 | <Inst> | Thanks, I think I'll start by wrapping GHCup, because it's easier, then try Cabal, which'll be harder |
| 21:48:25 | <monochrom> | The mice of the world held an international conference on cat evasion. They unanimously passed two resolution: 1. A bell is to be worn on the cat for early warning. 2. Someone else is to do it. |
| 21:51:38 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:57:03 | × | coot quits (~coot@213.134.170.228) (Quit: coot) |
| 21:59:26 | × | slack1256 quits (~slack1256@181.42.52.231) (Remote host closed the connection) |
| 22:00:55 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:10:34 | <Inst> | okay, freaking cabal won't build my monomer, even though i downgraded back to 9.4.4 |
| 22:10:37 | <Inst> | ghc |
| 22:11:05 | <monochrom> | Do you mind trying 9.2.*? |
| 22:11:45 | <Inst> | will try, also, edmundnoble seems supportive, so that's a production haskeller, just not sure what i need to know, because I think FP discord (and others there agree) is like bottom 25th percentile of Haskell skill, and I'm like bottom 25th percentile of theirs |
| 22:11:53 | <monochrom> | To a large extent, people who want stable are still at 9.2, and people who want new have moved on to 9.6. |
| 22:11:57 | <Inst> | will try 9.2.2 |
| 22:12:10 | <Inst> | i tried 9.6, it simply doesn't work with monomer |
| 22:12:38 | <Inst> | and monomer itself is wonky, like, i have a click tracker that's producing 2 clicks for some reason when i clcik rapidly on a button |
| 22:13:25 | × | elain4 quits (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:14:01 | <Inst> | installing 9.2.7 now |
| 22:15:56 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 22:18:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:5432:460c:c9d6:3538) |
| 22:23:05 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:5432:460c:c9d6:3538) (Ping timeout: 260 seconds) |
| 22:23:09 | × | barak quits (~barak@77.125.91.113) (Remote host closed the connection) |
| 22:23:26 | × | alexherbo2 quits (~alexherbo@2a02-8440-2140-b0a8-4dcf-c179-4324-b99f.rev.sfr.net) (Remote host closed the connection) |
| 22:23:36 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 22:24:56 | × | it_ quits (~quassel@v2202212189510211193.supersrv.de) (Remote host closed the connection) |
| 22:26:11 | → | it_ joins (~quassel@v2202212189510211193.supersrv.de) |
| 22:26:52 | <Inst> | yeah, i know what happened, the partial build locked the cabal system into trying to build 9.6.1, which needs fiddling to work, at the very least |
| 22:29:17 | → | y04nn joins (~username@2a03:1b20:5:f011::aaae) |
| 22:37:05 | × | mncheckm quits (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 22:37:52 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::4) (Ping timeout: 248 seconds) |
| 22:44:44 | × | oac quits (~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac) |
| 22:51:08 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::4) |
| 22:52:26 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:54:56 | × | heraldo quits (~heraldo@user/heraldo) (Ping timeout: 248 seconds) |
| 22:58:00 | → | jargon joins (~jargon@174-22-213-236.phnx.qwest.net) |
| 23:04:07 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Remote host closed the connection) |
| 23:04:27 | → | thegeekinside joins (~thegeekin@189.180.119.50) |
| 23:04:31 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 23:05:04 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 248 seconds) |
| 23:06:52 | → | falafel joins (~falafel@2603-8000-d700-115c-d504-7657-372e-1c6d.res6.spectrum.com) |
| 23:07:11 | → | gmg joins (~user@user/gehmehgeh) |
| 23:07:40 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:13:04 | × | acidjnk quits (~acidjnk@p200300d6e715c4910c85db67594b9b68.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:14:54 | → | Katarushisu0 joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 23:16:28 | × | Katarushisu quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 23:19:19 | → | Katarushisu joins (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 23:20:07 | × | Katarushisu0 quits (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 23:22:08 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Ping timeout: 248 seconds) |
| 23:22:11 | → | barak_ joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 23:26:15 | → | barak joins (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) |
| 23:26:34 | × | barak_ quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Read error: Connection reset by peer) |
| 23:32:25 | × | opticblast quits (~Thunderbi@172.58.87.218) (Ping timeout: 256 seconds) |
| 23:36:26 | <maralorn> | pepeiborra: I am trying to run HeapSize.recursiveSize on some values but I apparently always get interrupted by the garbage collector. Is there a trick for what I can do about that? |
| 23:37:45 | × | gurkenglas quits (~gurkengla@dynamic-046-114-183-107.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 23:37:55 | × | NiceBird quits (~NiceBird@185.133.111.196) (Ping timeout: 276 seconds) |
| 23:44:15 | → | elain4 joins (~textual@2601:5c0:8200:990:2967:7d1e:b120:3523) |
| 23:44:44 | <maralorn> | Ah, apparently I had thunks in there … |
| 23:47:38 | → | noxp joins (~psy@104-62-224-96.lightspeed.chrlnc.sbcglobal.net) |
| 23:50:25 | × | jwiegley quits (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 23:50:25 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Remote host closed the connection) |
| 23:50:56 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 23:51:21 | → | jwiegley joins (~jwiegley@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 23:52:13 | → | nate1 joins (~nate@98.45.169.16) |
| 23:53:12 | → | mauke_ joins (~mauke@user/mauke) |
| 23:55:06 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 255 seconds) |
| 23:55:06 | mauke_ | is now known as mauke |
| 23:56:03 | × | barak quits (~barak@2a0d:6fc2:68c0:a400:74a7:4a2d:bdfd:481e) (Ping timeout: 260 seconds) |
| 23:56:17 | → | zeenk joins (~zeenk@2a02:2f0e:7900:da01:b4a3:67c4:d0e3:beb0) |
| 23:56:48 | × | nate1 quits (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
All times are in UTC on 2023-04-17.