Logs: freenode/#haskell
| 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.