Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-04-21 08:07:23 hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga)
2021-04-21 08:07:37 × MarcelineVQ quits (~anja@198.254.208.159) (Ping timeout: 260 seconds)
2021-04-21 08:09:57 × hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-21 08:11:48 Nahra joins (~user@unaffiliated/nahra)
2021-04-21 08:12:27 hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube)
2021-04-21 08:14:53 Lycurgus joins (~niemand@98.4.118.65)
2021-04-21 08:15:09 fendor joins (~fendor@91.141.3.112.wireless.dyn.drei.com)
2021-04-21 08:18:01 × aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds)
2021-04-21 08:19:31 kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-04-21 08:19:42 × kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded)
2021-04-21 08:19:49 × kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Read error: Connection reset by peer)
2021-04-21 08:31:25 erred joins (~kvirc@84.120.196.129.dyn.user.ono.com)
2021-04-21 08:31:29 <erred> fwiptables: firewall in script bash very large
2021-04-21 08:32:16 kuribas joins (~user@ptr-25vy0i8p1spa6dozdqg.18120a2.ip6.access.telenet.be)
2021-04-21 08:35:35 aveltras joins (uid364989@gateway/web/irccloud.com/x-nbetplnhypazvidp)
2021-04-21 08:36:17 idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-21 08:36:50 <aveltras> i have a multi package stack project, what would be the best way to watch the whole project for type checking errors using the less cpu & ram possible ?
2021-04-21 08:37:39 × erred quits (~kvirc@84.120.196.129.dyn.user.ono.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2021-04-21 08:38:17 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-21 08:38:41 × idhugo_ quits (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds)
2021-04-21 08:41:39 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-21 08:42:31 Synthetica joins (uid199651@gateway/web/irccloud.com/x-mucvjdtabxcscdzz)
2021-04-21 08:48:13 × Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt)
2021-04-21 08:52:22 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-21 08:55:14 mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-04-21 08:56:25 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-04-21 09:01:23 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-04-21 09:02:22 gentauro joins (~gentauro@unaffiliated/gentauro)
2021-04-21 09:02:37 × knupfer quits (~Thunderbi@i59F67B5A.versanet.de) (Read error: Connection reset by peer)
2021-04-21 09:03:00 knupfer joins (~Thunderbi@200116b82b5e7400e96d6e54df5761a8.dip.versatel-1u1.de)
2021-04-21 09:06:31 ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net)
2021-04-21 09:06:31 × ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host)
2021-04-21 09:06:31 ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2021-04-21 09:07:52 nicholasbulka joins (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e)
2021-04-21 09:13:19 DavidEichmann joins (~david@147.136.46.217.dyn.plus.net)
2021-04-21 09:13:31 sagax joins (~sagax_nb@213.138.71.146)
2021-04-21 09:17:41 raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-21 09:18:08 geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-04-21 09:18:25 LKoen joins (~LKoen@92.163.9.109.rev.sfr.net)
2021-04-21 09:23:16 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:bdc9:711a:32b8:207e) (Ping timeout: 245 seconds)
2021-04-21 09:23:19 hc_ is now known as hc
2021-04-21 09:31:32 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-21 09:32:16 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-21 09:32:17 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-21 09:35:11 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-21 09:35:26 × PtxDK quits (~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6) (Read error: Connection reset by peer)
2021-04-21 09:35:48 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-21 09:36:32 PtxDK joins (~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6)
2021-04-21 09:37:01 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-04-21 09:37:23 geiger_ joins (~geiger@0543f40b.skybroadband.com)
2021-04-21 09:40:34 × gaiger quits (~geiger@0543f40b.skybroadband.com) (Ping timeout: 268 seconds)
2021-04-21 09:42:01 × nut_ quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-04-21 09:42:14 <gnumonic> Is there any way around the "No type families in class instance declarations" thing?
2021-04-21 09:43:16 marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-04-21 09:44:14 × sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 252 seconds)
2021-04-21 09:44:39 <c_wraith> no, that's basically necessary to deal with potential non-injectivity
2021-04-21 09:46:25 × NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 250 seconds)
2021-04-21 09:51:55 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-21 09:51:57 <gnumonic> Hm. That's annoying. Was hoping there was some trick. I don't think it would cause problems in the particular case I was trying to work around. Oh well.
2021-04-21 09:53:44 × ephemera_ quits (~E@122.34.1.187) (Ping timeout: 246 seconds)
2021-04-21 09:54:41 ephemera_ joins (~E@122.34.1.187)
2021-04-21 09:55:49 × kmein quits (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao)
2021-04-21 09:56:07 kmein joins (~weechat@static.173.83.99.88.clients.your-server.de)
2021-04-21 09:56:45 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-04-21 09:56:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-21 09:56:59 Forlorn_ joins (~Forlorn@unaffiliated/forlorn)
2021-04-21 09:57:47 kritzefitz joins (~kritzefit@212.86.56.80)
2021-04-21 09:58:18 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-21 10:00:37 NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur)
2021-04-21 10:02:19 geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-04-21 10:03:08 CiaoSen joins (~Jura@p200300c9572bc100dd00e68a577d428e.dip0.t-ipconnect.de)
2021-04-21 10:03:32 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-21 10:03:54 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-21 10:07:23 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-21 10:08:02 × benkolera quits (uid285671@gateway/web/irccloud.com/x-uqnaygwihchxqkys) (Quit: Connection closed for inactivity)
2021-04-21 10:10:47 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 268 seconds)
2021-04-21 10:12:36 <hc> btw, I mentioned haskell arcade games here the other day; I just remembered the name of the game: it's venzone
2021-04-21 10:13:20 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-21 10:14:38 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 265 seconds)
2021-04-21 10:15:06 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-21 10:16:31 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-04-21 10:17:12 bitmagie joins (~Thunderbi@200116b8063572001499edd4f9d505b9.dip.versatel-1u1.de)
2021-04-21 10:19:13 mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-04-21 10:20:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-21 10:20:42 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-21 10:21:49 justan0theruser joins (~justanoth@unaffiliated/justanotheruser)
2021-04-21 10:24:14 idhugo_ joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net)
2021-04-21 10:24:23 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 258 seconds)
2021-04-21 10:26:32 × idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-21 10:27:52 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-04-21 10:28:05 gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-21 10:29:14 heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-21 10:29:40 Guest78317 joins (~laudiacay@67.176.215.84)
2021-04-21 10:29:55 × ericsagnes quits (~ericsagne@2405:6580:0:5100:ee94:8f2c:d91b:ec) (Ping timeout: 260 seconds)
2021-04-21 10:33:41 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-04-21 10:34:20 × Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds)
2021-04-21 10:37:25 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds)
2021-04-21 10:37:40 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-04-21 10:37:52 kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2021-04-21 10:37:58 Kaiepi joins (~Kaiepi@47.54.252.148)

All times are in UTC.