Logs: liberachat/#haskell
| 2026-03-21 08:09:03 | → | arahael_ joins (~wetfoot@user/arahael) |
| 2026-03-21 08:09:52 | × | RMSBach quits (~RMSBach@2603:6013:9b00:a7c8:e7e5:f272:eb86:ddf) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2026-03-21 08:09:52 | × | tcard__ quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2026-03-21 08:09:53 | RSBach | is now known as RMSBach |
| 2026-03-21 08:09:53 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 272 seconds) |
| 2026-03-21 08:09:56 | × | bgamari_ quits (~bgamari@64.223.168.27) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-21 08:09:56 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Quit: Ping timeout (120 seconds)) |
| 2026-03-21 08:09:56 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 2026-03-21 08:09:56 | urdh_ | is now known as urdh |
| 2026-03-21 08:09:56 | × | danso quits (~danso@user/danso) (Quit: quittin time) |
| 2026-03-21 08:09:56 | × | divya quits (divya@140.238.251.170) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2026-03-21 08:10:03 | × | arahael quits (~wetfoot@user/arahael) (Remote host closed the connection) |
| 2026-03-21 08:10:04 | × | sviermsung quits (CjyvmvHdzk@user/s4msung) (Remote host closed the connection) |
| 2026-03-21 08:10:10 | × | xdej quits (~xdej@quatramaran.salle-s.org) (Remote host closed the connection) |
| 2026-03-21 08:19:04 | → | Mdht joins (~Mdht@41.68.231.151) |
| 2026-03-21 08:21:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 08:22:42 | → | lol_ joins (~lol@2603:3016:1e01:b980:81af:2c2f:4471:e2e6) |
| 2026-03-21 08:24:32 | → | tristanC_ joins (~tristanC@2602:4b:ac7b:500:701e:9a24:a355:5957) |
| 2026-03-21 08:25:02 | → | degraafk_ joins (sid71464@id-71464.lymington.irccloud.com) |
| 2026-03-21 08:25:03 | → | alanz_ joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 2026-03-21 08:25:03 | → | jonrh_ joins (sid5185@id-5185.ilkley.irccloud.com) |
| 2026-03-21 08:25:12 | → | rawles_ joins (sid630849@user/rawles) |
| 2026-03-21 08:25:13 | → | buhman_ joins (sid411355@user/buhman) |
| 2026-03-21 08:25:14 | → | edm_ joins (sid147314@id-147314.hampstead.irccloud.com) |
| 2026-03-21 08:25:20 | → | haasn_ joins (sid579015@id-579015.hampstead.irccloud.com) |
| 2026-03-21 08:26:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-21 08:26:17 | → | divya joins (divya@140.238.251.170) |
| 2026-03-21 08:28:24 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-03-21 08:30:59 | × | edm quits (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split) |
| 2026-03-21 08:30:59 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 2026-03-21 08:30:59 | × | haasn quits (sid579015@id-579015.hampstead.irccloud.com) (*.net *.split) |
| 2026-03-21 08:30:59 | × | sp1ff quits (~user@2601:1c2:4080:14c0::1ced) (*.net *.split) |
| 2026-03-21 08:31:00 | × | takuan quits (~takuan@d8d86b9e9.access.telenet.be) (*.net *.split) |
| 2026-03-21 08:31:00 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:9900:10f7:ff16:cae0) (*.net *.split) |
| 2026-03-21 08:31:00 | × | tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split) |
| 2026-03-21 08:31:00 | × | Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split) |
| 2026-03-21 08:31:00 | × | [exa] quits (~exa@user/exa/x-3587197) (*.net *.split) |
| 2026-03-21 08:31:00 | × | albet70 quits (~xxx@172-233-90-118.ip.linodeusercontent.com) (*.net *.split) |
| 2026-03-21 08:31:00 | × | hadronized quits (~hadronize@2001:41d0:a:fe76::1) (*.net *.split) |
| 2026-03-21 08:31:00 | × | tristanC quits (~tristanC@user/tristanc) (*.net *.split) |
| 2026-03-21 08:31:00 | × | rawles quits (sid630849@user/rawles) (*.net *.split) |
| 2026-03-21 08:31:00 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2026-03-21 08:31:00 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2026-03-21 08:31:00 | × | buhman quits (sid411355@user/buhman) (*.net *.split) |
| 2026-03-21 08:31:00 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2026-03-21 08:31:00 | × | mzg quits (mzg@abusers.hu) (*.net *.split) |
| 2026-03-21 08:31:01 | tristanC_ | is now known as tristanC |
| 2026-03-21 08:31:01 | alanz_ | is now known as alanz |
| 2026-03-21 08:31:01 | jonrh_ | is now known as jonrh |
| 2026-03-21 08:31:01 | haasn_ | is now known as haasn |
| 2026-03-21 08:31:01 | rawles_ | is now known as rawles |
| 2026-03-21 08:31:02 | degraafk_ | is now known as degraafk |
| 2026-03-21 08:31:02 | buhman_ | is now known as buhman |
| 2026-03-21 08:33:04 | edm_ | is now known as edm |
| 2026-03-21 08:33:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 08:35:58 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 2026-03-21 08:38:45 | → | Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi) |
| 2026-03-21 08:38:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-03-21 08:39:36 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-03-21 08:39:40 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) |
| 2026-03-21 08:39:40 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host) |
| 2026-03-21 08:39:40 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-21 08:42:51 | → | acidjnk_new joins (~acidjnk@p200300d6e700e545827d09e098073cb0.dip0.t-ipconnect.de) |
| 2026-03-21 08:43:58 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-03-21 08:44:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-21 08:45:36 | → | albet70 joins (~xxx@172-233-90-118.ip.linodeusercontent.com) |
| 2026-03-21 08:49:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 08:50:53 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-21 08:51:59 | <gentauro> | also for physicists, infinity is just `-1/12` xD |
| 2026-03-21 08:54:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-21 08:55:32 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 2026-03-21 08:57:28 | → | Digit joins (~user@user/digit) |
| 2026-03-21 09:00:33 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) |
| 2026-03-21 09:00:33 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host) |
| 2026-03-21 09:00:33 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-21 09:04:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 09:08:18 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2026-03-21 09:08:19 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-03-21 09:09:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-21 09:11:15 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 255 seconds) |
| 2026-03-21 09:14:29 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-03-21 09:14:29 | ChanServ | sets mode +v haskellbridge |
| 2026-03-21 09:16:13 | → | madresch joins (~Thunderbi@user/madresch) |
| 2026-03-21 09:20:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 09:21:38 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) |
| 2026-03-21 09:21:38 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:5063:b6f6:d533:9cc) (Changing host) |
| 2026-03-21 09:21:38 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-03-21 09:25:50 | <TMA> | gentauro: or 0, whatever is needed in any particular case |
| 2026-03-21 09:26:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-03-21 09:30:35 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-03-21 09:33:17 | → | pabs3 joins (~pabs3@user/pabs3) |
| 2026-03-21 09:34:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 09:37:21 | <mesaoptimizer> | GHC, bigger than your average linux distro |
| 2026-03-21 09:39:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-21 09:45:50 | × | Mdht quits (~Mdht@41.68.231.151) (Quit: Client closed) |
| 2026-03-21 09:46:07 | <int-e> | eh, it's not that big |
| 2026-03-21 09:48:52 | <int-e> | Especially if you don't include profiled versions: https://paste.debian.net/hidden/c71c57b3 |
| 2026-03-21 09:48:52 | × | haskellbridge quits (~hackager@96.28.224.214) (Read error: Connection reset by peer) |
| 2026-03-21 09:50:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-03-21 09:55:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
All times are in UTC.