Logs: liberachat/#haskell
| 2025-11-10 08:38:30 | → | tromp joins (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) |
| 2025-11-10 08:41:57 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-10 08:43:27 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-11-10 08:43:42 | × | gustrb quits (~gustrb@191.243.134.87) (Changing host) |
| 2025-11-10 08:43:42 | → | gustrb joins (~gustrb@user/gustrb) |
| 2025-11-10 08:56:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 09:01:00 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-11-10 09:02:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 09:03:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 09:03:26 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-11-10 09:08:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 09:09:13 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 09:09:27 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 09:11:57 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-10 09:14:53 | → | gentauro joins (~gentauro@user/gentauro) |
| 2025-11-10 09:14:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-11-10 09:15:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 09:16:25 | × | synchromesh quits (~john@2406:5a00:2412:2c00:6db4:b6f0:2a6b:8379) (Read error: Connection reset by peer) |
| 2025-11-10 09:17:33 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c5a6:321c:259:76f2) |
| 2025-11-10 09:20:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-10 09:45:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 09:50:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 10:01:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 10:07:05 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-11-10 10:09:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 10:10:53 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-11-10 10:17:43 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-10 10:18:07 | → | Starving_Drummer joins (~berke@user/Starving-Drummer:76786) |
| 2025-11-10 10:20:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 10:23:18 | trickard_ | is now known as trickard |
| 2025-11-10 10:25:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-10 10:38:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 10:42:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-10 10:43:49 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2025-11-10 10:44:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 10:49:18 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-10 10:55:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 11:00:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-10 11:00:46 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 11:00:58 | → | trickard joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 11:00:58 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-10 11:05:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 11:09:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 11:18:16 | → | xff0x joins (~xff0x@2405:6580:b080:900:2473:b259:8788:143a) |
| 2025-11-10 11:19:20 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-11-10 11:21:22 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 11:26:04 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-11-10 11:40:09 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-11-10 11:42:02 | → | Nachtgespenst joins (~user@user/siracusa) |
| 2025-11-10 12:02:30 | → | fp joins (~Thunderbi@87-94-143-85.rev.dnainternet.fi) |
| 2025-11-10 12:06:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 12:12:13 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 12:12:26 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 12:13:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-10 12:18:56 | → | mreh joins (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-10 12:28:08 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 12:28:37 | → | Googulator37 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 12:40:26 | trickard_ | is now known as trickard |
| 2025-11-10 12:45:47 | → | Googulator88 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 12:45:47 | × | Googulator37 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 12:51:10 | → | acarrico joins (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) |
| 2025-11-10 12:52:37 | <haskellbridge> | <Morj> Found a silly bug in neovim+hls: when using LSP to rename the constructor of a record, it also renames all fields. So like "data Foo = Foo { a :: Int, b :: Int }" becomes "data Foo = Bar { Bar :: Int, Bar :: Int }" |
| 2025-11-10 12:53:18 | <haskellbridge> | <Morj> For how basic it is, I'm sure this is already known, so I'm more surprised I've only just encountered it |
| 2025-11-10 12:55:00 | × | michalz quits (~michalz@185.246.207.218) (Read error: Connection reset by peer) |
| 2025-11-10 12:56:26 | → | michalz joins (~michalz@185.246.207.215) |
| 2025-11-10 12:57:43 | gehmehgeh | is now known as gmg |
| 2025-11-10 13:05:54 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-10 13:07:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 13:10:38 | × | fp quits (~Thunderbi@87-94-143-85.rev.dnainternet.fi) (Ping timeout: 256 seconds) |
| 2025-11-10 13:11:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 13:16:45 | × | m1dnight_ quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-11-10 13:25:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 13:25:47 | → | Googulator22 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 13:25:49 | × | Googulator88 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 13:29:12 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-11-10 13:29:28 | × | orenty7 quits (~orenty7@37.63.18.88) (Remote host closed the connection) |
| 2025-11-10 13:29:31 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-11-10 13:29:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-10 13:32:12 | → | poscat joins (~poscat@user/poscat) |
| 2025-11-10 13:36:07 | → | Googulator75 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 13:36:29 | × | Googulator22 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 13:40:49 | → | Googulator59 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 13:41:16 | × | Googulator75 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 13:41:52 | × | gf3 quits (~gf3@user/gf3) (Ping timeout: 265 seconds) |
| 2025-11-10 13:42:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 13:43:21 | → | bggd joins (~bgg@2a01:e0a:819:1510:285c:2d19:95b6:2c5) |
| 2025-11-10 13:45:16 | → | gf3 joins (~gf3@user/gf3) |
| 2025-11-10 13:46:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-10 13:52:30 | × | acarrico quits (~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2025-11-10 13:54:18 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-11-10 13:58:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 14:02:03 | × | trickard quits (~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-10 14:02:17 | → | trickard_ joins (~trickard@cpe-62-98-47-163.wireline.com.au) |
| 2025-11-10 14:03:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-10 14:05:37 | × | Googulator59 quits (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-10 14:05:45 | → | Googulator59 joins (~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) |
| 2025-11-10 14:08:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-10 14:08:28 | <lucabtz> | hello im new in here (and quite new to haskell too) |
| 2025-11-10 14:08:33 | <lucabtz> | i love haskell though |
| 2025-11-10 14:09:27 | × | tromp quits (~textual@2001:1c00:3487:1b00:b9c6:2c55:4165:c029) (Quit: My iMac has gone to sleep. ZZZzzz…) |
All times are in UTC.