Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 901 902 903 904 905 906 907 908 909 910 911 .. 18027
— 1,802,649 events total
2021-07-11 07:56:33 → yushyin joins (MbKMC7U51Q@karif.server-speed.net)
2021-07-11 07:58:05 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 258 seconds)
2021-07-11 08:05:02 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-11 08:05:23 × f33f046c-a02e quits (~aditya@106.212.68.200) (Remote host closed the connection)
2021-07-11 08:06:07 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-07-11 08:06:34 → hendursa1 joins (~weechat@user/hendursaga)
2021-07-11 08:09:32 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-07-11 08:09:49 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-11 08:10:00 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 08:13:07 × juhp quits (~juhp@128.106.188.66) (Quit: juhp)
2021-07-11 08:13:21 → juhp joins (~juhp@128.106.188.66)
2021-07-11 08:16:30 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-07-11 08:17:14 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:39f3:da:7ab8:bc1e) (Remote host closed the connection)
2021-07-11 08:17:30 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-11 08:17:39 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
2021-07-11 08:17:55 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-11 08:19:54 × favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-07-11 08:20:30 <tomsmeding> Can I get ghc -M to output the produced rules to stdout?
2021-07-11 08:20:38 → darklamb1a joins (~whateverg@111.65.56.31)
2021-07-11 08:21:02 × darklambda quits (~whateverg@122.11.240.98) (Read error: Connection reset by peer)
2021-07-11 08:22:15 → favonia joins (~favonia@user/favonia)
2021-07-11 08:22:28 × samebchase quits (~samebchas@51.15.68.182) (Quit: The Lounge - https://thelounge.chat)
2021-07-11 08:23:23 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2021-07-11 08:23:34 <tomsmeding> hololeap: proof :: t :~: Unbase (Base t) ; proof = unsafeCoerce Refl
2021-07-11 08:25:22 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2021-07-11 08:25:41 × ac quits (~aloiscoch@2001:470:69fc:105::65) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:41 × ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:41 × carmysilna quits (~brightly-@2001:470:69fc:105::2190) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × MatrixTravelerbo quits (~voyagert2@2001:470:69fc:105::22) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × Aleci[m] quits (~alecilibr@2001:470:69fc:105::32e7) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × cdsmith quits (~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × ericson2314 quits (~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × jophish quits (~jophish@2001:470:69fc:105::670) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × inkbottle[m] quits (~inkbottle@2001:470:69fc:105::2ff5) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × ormaaj quits (~ormaaj@user/ormaaj) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × thedward[m] quits (~thedwardm@2001:470:69fc:105::f79) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × bryan[m] quits (~bchreekat@2001:470:69fc:105::16b5) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × bitonic quits (~bitonic@2001:470:69fc:105::1812) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × Orbstheorem quits (~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × jaror[m] quits (~jaror@2001:470:69fc:105::265) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × lwe[m] quits (~dendrumat@2001:470:69fc:105::2f9b) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:42 × hjulle[m] quits (~hjullemat@2001:470:69fc:105::1dd) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:43 × fabfianda[m] quits (~fabfianda@2001:470:69fc:105::6db) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:43 × sridonhiatus[m] quits (~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 × unrooted quits (~unrooted@2001:470:69fc:105::a4a) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 × vaibhavsagar[m] quits (~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 × zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:44 × amesgen[m] quits (~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × dualinverter[m] quits (~dualinver@2001:470:69fc:105::16a7) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × maerwald[m] quits (~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × yin[m] quits (~zwromatri@2001:470:69fc:105::1d4) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × wallymathieu[m] quits (~wallymath@2001:470:69fc:105::16ae) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × kosmikus[m] quits (~andresloe@2001:470:69fc:105::95d) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × jellz[m] quits (~jellzmatr@2001:470:69fc:105::2daa) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × reza[m] quits (~rezaphone@2001:470:69fc:105::3eda) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × Soft quits (~soft-matr@2001:470:69fc:105::c75) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × justosophy[m] quits (~justosoph@2001:470:69fc:105::572f) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × octeep[m]1 quits (~octeepmoc@2001:470:69fc:105::695e) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × PotatoHatsue quits (~berberman@2001:470:69fc:105::b488) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:45 × vbeatrice[m] quits (~vbeatrice@2001:470:69fc:105::3ebf) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:46 × maralorn quits (~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:46 × rednaZ[m] quits (~r3dnazmat@2001:470:69fc:105::ba70) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:47 × kadoban quits (~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:47 × peddie quits (~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:47 × polykernel[m] quits (~polykerne@2001:470:69fc:105::ba04) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × infinisil[m] quits (~infinisil@2001:470:69fc:105::ff8) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × adziahel[m] quits (~adziahelm@2001:470:69fc:105::b4d) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × oak- quits (~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × Ollie[m] quits (~ollieocha@2001:470:69fc:105::41a5) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × dminuoso[m] quits (~dminuosom@2001:470:69fc:105::33bb) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:51 × aveltras[m] quits (~aveltrasm@2001:470:69fc:105::3ef9) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:52 × boxscape quits (~boxscape@user/boxscape) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 × ru0mad[m] quits (~ru0madmat@2001:470:69fc:105::9b2) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 × Artem[m] quits (~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 × Deewiant quits (~deewiant@2001:470:69fc:105::2fd3) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:54 × the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 × autrim64[m] quits (~autrim64m@2001:470:69fc:105::16a1) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 × Guest1752 quits (~sylveonma@2001:470:69fc:105::2d95) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 × Morrow[m] quits (~morrowmma@2001:470:69fc:105::1d0) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:56 × smichel17[m] quits (~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:57 × fakehacker[m] quits (~fakehacke@2001:470:69fc:105::b5f0) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:25:57 × sm quits (~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2021-07-11 08:26:02 Lord_of_Life_ is now known as Lord_of_Life
2021-07-11 08:27:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-11 08:29:00 → thedward[m] joins (~thedwardm@2001:470:69fc:105::f79)
2021-07-11 08:29:26 → justsomeguy joins (~justsomeg@user/justsomeguy)
2021-07-11 08:30:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-11 08:30:23 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-11 08:30:35 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-11 08:32:46 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-07-11 08:37:45 → ac joins (~aloiscoch@2001:470:69fc:105::65)
2021-07-11 08:37:45 → sm joins (~sm@plaintextaccounting/sm)
2021-07-11 08:37:45 → hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd)
2021-07-11 08:37:45 → jaror[m] joins (~jaror@2001:470:69fc:105::265)
2021-07-11 08:37:45 → fgaz joins (~fgaz@2001:470:69fc:105::842)
2021-07-11 08:37:45 → peddie joins (~peddie@2001:470:69fc:105::25d)
2021-07-11 08:37:45 → ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2)
2021-07-11 08:37:45 → cdsmith joins (~cdsmithma@2001:470:69fc:105::284)
←Prev  Next→
Page 1 .. 901 902 903 904 905 906 907 908 909 910 911 .. 18027

All times are in UTC.