2025/11/12

Newest at the top

2025-11-12 16:41:20 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 16:33:50 +0100trickard_(~trickard@cpe-62-98-47-163.wireline.com.au)
2025-11-12 16:33:43 +0100annamalai(~annamalai@157.33.245.31) annamalai
2025-11-12 16:33:36 +0100trickard(~trickard@cpe-62-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-12 16:33:21 +0100annamalai(~annamalai@2409:4042:db3:6ad6::9e8a:4212) (Read error: Connection reset by peer)
2025-11-12 16:28:07 +0100deptype_(~deptype@2406:b400:3a:73c2:9320:cff7:2537:7aca)
2025-11-12 16:27:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-11-12 16:27:49 +0100deptype_(~deptype@2406:b400:3a:73c2:7fbe:e085:c3d7:8a9b) (Remote host closed the connection)
2025-11-12 16:20:23 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 16:20:08 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 16:17:42 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 16:16:18 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-11-12 16:15:51 +0100Googulator4(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 16:15:46 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 16:14:24 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
2025-11-12 16:13:16 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-11-12 16:08:31 +0100deptype_(~deptype@2406:b400:3a:73c2:7fbe:e085:c3d7:8a9b)
2025-11-12 16:08:17 +0100deptype_(~deptype@2406:b400:3a:73c2:4f2c:123c:692f:dfe1) (Remote host closed the connection)
2025-11-12 16:05:46 +0100acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Ping timeout: 256 seconds)
2025-11-12 16:03:03 +0100gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-11-12 15:55:09 +0100AlexNoo_AlexNoo
2025-11-12 15:47:35 +0100deptype_(~deptype@2406:b400:3a:73c2:4f2c:123c:692f:dfe1)
2025-11-12 15:47:15 +0100deptype_(~deptype@2406:b400:3a:73c2:afd8:869:cd95:8471) (Remote host closed the connection)
2025-11-12 15:46:04 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:41:11 +0100chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-11-12 15:40:34 +0100chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-11-12 15:35:44 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-11-12 15:35:20 +0100 <haskellbridge> <Morj> HLS usually suggests disabling specific warnings as a code action on the line with the warning
2025-11-12 15:35:08 +0100 <Enrico63> Oh, I tried `{-# OPTIONS_GHC -Wno-partial-functions #-}` and did not work. Let me try this one you say
2025-11-12 15:34:39 +0100 <Leary> Enrico63: `{-# OPTIONS_GHC -Wno-x-partial #-}`
2025-11-12 15:32:58 +0100 <Enrico63> Is there a way to silence warnings about head/tail in a single source file?
2025-11-12 15:32:17 +0100Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-11-12 15:29:58 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:27:30 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-11-12 15:27:25 +0100deptype_(~deptype@2406:b400:3a:73c2:afd8:869:cd95:8471)
2025-11-12 15:27:13 +0100deptype_(~deptype@2406:b400:3a:73c2:8a64:f671:f320:9ad9) (Remote host closed the connection)
2025-11-12 15:23:05 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 15:20:44 +0100pr1sm(~pr1sm@24.91.163.31)
2025-11-12 15:20:20 +0100laxmik(~user@pc192b.fzu.cz) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-11-12 15:15:44 +0100Googulator80(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 15:15:41 +0100Googulator11(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 15:11:36 +0100qqe(~qqq@185.54.21.203)
2025-11-12 15:10:51 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-11-12 15:07:30 +0100deptype_(~deptype@2406:b400:3a:73c2:8a64:f671:f320:9ad9)
2025-11-12 15:07:10 +0100deptype_(~deptype@2406:b400:3a:73c2:5c5a:fd15:b892:dc7c) (Remote host closed the connection)
2025-11-12 15:02:19 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 250 seconds)
2025-11-12 15:00:45 +0100Googulator6(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu) (Quit: Client closed)
2025-11-12 15:00:45 +0100Googulator11(~Googulato@2a01-036d-0106-0180-8127-ba79-55a7-6f29.pool6.digikabel.hu)
2025-11-12 14:59:06 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-12 14:53:12 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)