Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 .. 5022
— 502,152 events total
2020-11-15 00:22:38 → jakalx joins (~jakalx@base.jakalx.net)
2020-11-15 00:23:02 → conal joins (~conal@198.8.81.220)
2020-11-15 00:25:06 → Entertainment joins (~entertain@104.246.132.210)
2020-11-15 00:26:43 × zule1 quits (~zule@188.126.89.41) (Remote host closed the connection)
2020-11-15 00:27:30 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-15 00:29:15 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-15 00:30:29 × conal quits (~conal@198.8.81.220) (Quit: Computer has gone to sleep.)
2020-11-15 00:31:22 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-15 00:32:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-15 00:33:03 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-15 00:37:57 → vacm joins (~vacwm@70.23.92.191)
2020-11-15 00:39:00 × vacm quits (~vacwm@70.23.92.191) (Client Quit)
2020-11-15 00:40:58 ← jakalx parts (~jakalx@base.jakalx.net) ("Disconnected: closed")
2020-11-15 00:41:14 → texasmynsted joins (~texasmyns@212.102.44.36)
2020-11-15 00:42:38 → Smaczny joins (~Smaczny@178.162.212.214)
2020-11-15 00:43:31 → vacm joins (~vacwm@70.23.92.191)
2020-11-15 00:43:48 × Entertainment quits (~entertain@104.246.132.210) (Quit: Leaving.)
2020-11-15 00:45:28 → argent0 joins (~argent0@168.227.98.81)
2020-11-15 00:48:46 → texasmyn_ joins (~texasmyns@212.102.45.115)
2020-11-15 00:50:33 → wroathe_ joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-15 00:51:25 × texasmynsted quits (~texasmyns@212.102.44.36) (Ping timeout: 240 seconds)
2020-11-15 00:51:51 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:244f:5a51:4f39:cad7) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-15 00:51:54 → Jeanne-Kamikaze joins (~Jeanne-Ka@66.115.189.189)
2020-11-15 00:52:06 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-11-15 00:52:23 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-15 00:52:27 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-15 00:52:42 × wroathe_ quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit)
2020-11-15 00:53:00 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-15 00:54:52 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-15 00:55:52 → ironmarx joins (~ironmarx@178.239.168.171)
2020-11-15 00:57:23 × lockshaw quits (~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-11-15 00:57:41 → christo joins (~chris@81.96.113.213)
2020-11-15 00:57:43 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-15 00:59:45 → lockshaw joins (~lockshaw@165.22.163.71)
2020-11-15 01:03:29 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-15 01:05:44 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-15 01:08:08 → conal joins (~conal@198.8.81.220)
2020-11-15 01:14:12 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-15 01:14:20 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-15 01:14:37 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 264 seconds)
2020-11-15 01:14:40 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-11-15 01:16:40 → Entertainment joins (~entertain@104.246.132.210)
2020-11-15 01:18:12 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-15 01:18:46 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds)
2020-11-15 01:19:56 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:78e6:f613:58de:505f)
2020-11-15 01:23:14 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-76-12.revip7.asianet.co.th)
2020-11-15 01:24:00 hackage stylist 2.3.0.0 - Apply CSS styles to a document tree. https://hackage.haskell.org/package/stylist-2.3.0.0 (alcinnz)
2020-11-15 01:24:11 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-15 01:29:07 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-15 01:29:44 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-15 01:29:53 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-11-15 01:29:53 → Lord_of_Life joins (~Lord@46.217.217.39)
2020-11-15 01:31:22 × Lord_of_Life_ quits (~Lord@46.217.218.118) (Ping timeout: 246 seconds)
2020-11-15 01:31:43 → HaskellYogi joins (~vivekrama@49.207.207.197)
2020-11-15 01:32:23 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-76-12.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-15 01:32:25 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-15 01:32:41 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-15 01:33:17 → da39a3ee5e6b4b0d joins (~da39a3ee5@ppp-223-24-170-100.revip6.asianet.co.th)
2020-11-15 01:33:43 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.189) (Remote host closed the connection)
2020-11-15 01:36:13 × HaskellYogi quits (~vivekrama@49.207.207.197) (Ping timeout: 264 seconds)
2020-11-15 01:37:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-15 01:46:03 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2020-11-15 01:46:23 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-15 01:49:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-15 01:49:54 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-15 01:50:08 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-15 01:50:12 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-15 01:52:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-15 01:52:49 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-11-15 01:52:58 → jakob_ joins (~textual@p200300f49f162200a5a52d3b3bfe53f4.dip0.t-ipconnect.de)
2020-11-15 01:53:05 × da39a3ee5e6b4b0d quits (~da39a3ee5@ppp-223-24-170-100.revip6.asianet.co.th) (Ping timeout: 240 seconds)
2020-11-15 01:55:05 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 240 seconds)
2020-11-15 01:55:14 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-15 01:55:18 ← Entertainment parts (~entertain@104.246.132.210) ()
2020-11-15 01:55:55 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-15 01:57:14 <dsal> Feuermagier: η-reduction works just like your basic algebra classes: `f a = g something a` -- you can remove the a from the right side of both. `f = g something` (there are cases where it's not quite that simple, but that's the basic idea)
2020-11-15 01:57:21 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-11-15 01:57:49 × robert___ quits (uid452915@gateway/web/irccloud.com/x-avvlothyweftrhzc) (Quit: Connection closed for inactivity)
2020-11-15 02:00:22 texasmyn_ is now known as texasmynsted
2020-11-15 02:00:25 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2020-11-15 02:00:38 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 264 seconds)
2020-11-15 02:00:43 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-11-15 02:01:21 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2020-11-15 02:02:26 × Smaczny quits (~Smaczny@178.162.212.214) (Remote host closed the connection)
2020-11-15 02:02:58 × cameron quits (~cameron@cpe-74-138-57-121.kya.res.rr.com) (Quit: Leaving)
2020-11-15 02:05:24 → vacm joins (~vacwm@70.23.92.191)
2020-11-15 02:06:08 × thunderrd quits (~thunderrd@183.182.110.117) (Remote host closed the connection)
2020-11-15 02:08:02 × solonarv quits (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-15 02:08:21 → johnw joins (~johnw@haskell/developer/johnw)
2020-11-15 02:09:13 × vacm quits (~vacwm@70.23.92.191) (Client Quit)
2020-11-15 02:11:32 × johnw quits (~johnw@haskell/developer/johnw) (Client Quit)
2020-11-15 02:11:48 × andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-11-15 02:13:02 → nickr joins (~nickr@84.39.117.57)
2020-11-15 02:13:27 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-11-15 02:15:19 → andreas31 joins (~andreas@gateway/tor-sasl/andreas303)
2020-11-15 02:16:13 → cryptomonad joins (~cryptomon@2601:182:c901:6dc0:f6e6:bb00:40b0:6b8)
2020-11-15 02:21:24 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-15 02:23:08 × irc_user quits (uid423822@gateway/web/irccloud.com/x-shfvqjbimtcmmios) (Quit: Connection closed for inactivity)
2020-11-15 02:30:28 → Tario joins (~Tario@198.252.153.28)
2020-11-15 02:31:08 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
←Prev  Next→
Page 1 .. 1292 1293 1294 1295 1296 1297 1298 1299 1300 1301 1302 .. 5022

All times are in UTC.