Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 17906 17907 17908 17909 17910 17911 17912
1,791,137 events total
2026-04-09 15:35:48 crazazy joins (crazazy@tilde.town)
2026-04-09 15:35:49 welterde joins (welterde@thinkbase.srv.welterde.de)
2026-04-09 15:35:52 yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2)
2026-04-09 15:35:52 ChanServ sets mode +v yahb2
2026-04-09 15:35:53 hamishmack joins (sid389057@2a03:5180:f:4::5:efc1)
2026-04-09 15:35:54 S11001001 joins (sid42510@2a03:5180:f:3::a60e)
2026-04-09 15:35:59 × totbwf quits (sid402332@id-402332.uxbridge.irccloud.com) (Changing host)
2026-04-09 15:35:59 totbwf joins (sid402332@user/totbwf)
2026-04-09 15:37:51 uli-fem joins (~uli-fem@115.128.112.118)
2026-04-09 15:39:09 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 15:42:58 × uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 276 seconds)
2026-04-09 15:44:16 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 276 seconds)
2026-04-09 15:44:38 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 15:46:31 × jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2026-04-09 15:47:23 Ging joins (46fea76d80@2001:bc8:1210:2cd8::470)
2026-04-09 15:47:34 uli-fem joins (~uli-fem@115.128.112.118)
2026-04-09 15:47:57 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 15:49:28 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds)
2026-04-09 15:52:12 × uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 268 seconds)
2026-04-09 15:52:41 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 15:52:41 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 248 seconds)
2026-04-09 15:53:37 Guest62 joins (~Guest62@p200300ca8f313400f8e75d167df70e33.dip0.t-ipconnect.de)
2026-04-09 15:53:45 × Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 248 seconds)
2026-04-09 15:56:59 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 245 seconds)
2026-04-09 15:57:08 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:01:50 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 16:02:04 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds)
2026-04-09 16:04:57 × Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 248 seconds)
2026-04-09 16:06:18 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 256 seconds)
2026-04-09 16:06:20 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:08:53 uli-fem joins (~uli-fem@115.128.112.118)
2026-04-09 16:11:19 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds)
2026-04-09 16:11:23 Ging joins (46fea76d80@2001:bc8:1210:2cd8::470)
2026-04-09 16:12:24 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2026-04-09 16:13:29 × uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 248 seconds)
2026-04-09 16:16:05 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:18:11 × Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 272 seconds)
2026-04-09 16:18:47 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 16:20:43 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds)
2026-04-09 16:23:15 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 244 seconds)
2026-04-09 16:23:25 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:24:04 Hafydd joins (~Hafydd@user/hafydd)
2026-04-09 16:27:04 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 16:28:35 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds)
2026-04-09 16:32:22 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds)
2026-04-09 16:32:52 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:34:43 Ging joins (46fea76d80@2001:bc8:1210:2cd8::470)
2026-04-09 16:35:23 × sp1ff quits (~user@2601:1c2:4080:14c0::ace8) (Remote host closed the connection)
2026-04-09 16:36:05 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
2026-04-09 16:36:48 gmg joins (~user@user/gehmehgeh)
2026-04-09 16:37:24 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 245 seconds)
2026-04-09 16:37:41 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 16:40:44 × Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 245 seconds)
2026-04-09 16:41:59 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 245 seconds)
2026-04-09 16:42:56 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:43:32 uli-fem joins (~uli-fem@115.128.112.118)
2026-04-09 16:47:38 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 244 seconds)
2026-04-09 16:48:35 × uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 272 seconds)
2026-04-09 16:51:03 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 16:53:22 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 16:55:14 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2026-04-09 16:56:06 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds)
2026-04-09 16:57:58 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 244 seconds)
2026-04-09 16:58:47 jmcantrell_ joins (~weechat@user/jmcantrell)
2026-04-09 16:59:37 jmcantrell_ is now known as jmcantrell
2026-04-09 17:01:01 Ging joins (46fea76d80@2001:bc8:1210:2cd8::470)
2026-04-09 17:01:25 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 17:03:06 wootehfoot joins (~wootehfoo@user/wootehfoot)
2026-04-09 17:05:55 danz90119 joins (~danza@user/danza)
2026-04-09 17:06:12 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds)
2026-04-09 17:07:13 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 17:07:39 × danza quits (~danza@user/danza) (Read error: Connection reset by peer)
2026-04-09 17:08:04 × Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 256 seconds)
2026-04-09 17:11:05 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 17:12:02 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 256 seconds)
2026-04-09 17:15:49 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds)
2026-04-09 17:16:58 uli-fem joins (~uli-fem@115.128.112.118)
2026-04-09 17:17:26 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 17:19:02 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 17:20:46 tromp joins (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0)
2026-04-09 17:21:18 × uli-fem quits (~uli-fem@115.128.112.118) (Ping timeout: 255 seconds)
2026-04-09 17:22:25 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 276 seconds)
2026-04-09 17:24:03 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 272 seconds)
2026-04-09 17:26:26 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-09 17:28:08 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 17:30:13 Ging joins (46fea76d80@2001:bc8:1210:2cd8::470)
2026-04-09 17:30:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-09 17:32:43 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds)
2026-04-09 17:33:20 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 17:35:07 × tromp quits (~textual@2001:1c00:340e:2700:8dcf:a6d6:339b:7a0) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-04-09 17:36:56 Typosit joins (b41a81e702@2001:bc8:1210:2cd8::494)
2026-04-09 17:37:39 × Ging quits (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 268 seconds)
2026-04-09 17:38:16 × PaulMartensen quits (15a119e437@2001:bc8:1210:2cd8::3bc) (Ping timeout: 268 seconds)
2026-04-09 17:41:27 × Typosit quits (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 246 seconds)
2026-04-09 17:41:35 <monochrom> (Belated) Strictly (pun!) speaking, Haskell spec doesn't even require lazy evaluation, only non-strictness (see? >:) ).
2026-04-09 17:41:43 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
2026-04-09 17:42:36 PaulMartensen joins (15a119e437@2001:bc8:1210:2cd8::3bc)
2026-04-09 17:43:23 <monochrom> My favourite non-strict evaluation order is crazy evaluation. Other people know it as speculative evaluation. To evaluate `f x`, fork two threads, one evaluates f and the other evalutates x, and you are ready to throw away the latter if you find out that you don't need it.
2026-04-09 17:44:17 <danz90119> am i wrong or non-strict evaluation could be called simply call by name?
2026-04-09 17:44:43 <monochrom> Yes. Mine is not call by name.

All times are in UTC.