Logs: liberachat/#haskell
| 2025-12-03 06:39:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-03 06:40:44 | × | lambda_gibbon quits (~lambda_gi@2603:7080:ee00:37d8:11e:138e:d914:c117) (Ping timeout: 260 seconds) |
| 2025-12-03 06:42:21 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-03 06:45:10 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2025-12-03 06:49:19 | × | chenjf quits (~chenjf@68.64.178.54) (Client Quit) |
| 2025-12-03 06:51:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 06:54:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-03 06:55:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 06:59:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-03 07:06:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 07:11:16 | <jackdk> | I had a similar issue the other day, and ended up with something akin to this. Then I realised I'd need to manufacture an SBoolI dictionary somehow, and I may as well use package `singletons` if I want that. So I found a way to do what I wanted with less typelevel stuff. https://www.irccloud.com/pastebin/vNHqRN0S/OneTwoSBool.hs |
| 2025-12-03 07:11:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-03 07:12:16 | <jackdk> | It would still mean writing `parse :: SBoolI b => String -> Two b`; the `noConstraint` form is not possible AFAIK. |
| 2025-12-03 07:13:46 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-03 07:18:37 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-12-03 07:20:28 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-03 07:20:43 | → | trickard joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 07:22:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 07:25:12 | <glguy> | If you finish aoc tonight check out my infinite list of solutions for when you get to turn on 1, 2, 3... batteries |
| 2025-12-03 07:26:46 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-03 07:27:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-03 07:30:59 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 07:32:46 | → | fp1 joins (~Thunderbi@130.233.53.128) |
| 2025-12-03 07:36:52 | × | iqubic quits (~sophia@2601:602:9203:1660:dd83:8e66:bfcb:8c1e) (Remote host closed the connection) |
| 2025-12-03 07:38:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 07:41:35 | × | fp1 quits (~Thunderbi@130.233.53.128) (Ping timeout: 245 seconds) |
| 2025-12-03 07:42:09 | → | iqubic joins (~sophia@2601:602:9203:1660:661f:14db:875e:5d74) |
| 2025-12-03 07:43:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-03 07:43:42 | → | lucabtz joins (~lucabtz@user/lucabtz) |
| 2025-12-03 07:54:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 07:57:12 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 08:00:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-03 08:03:36 | trickard_ | is now known as trickard |
| 2025-12-03 08:04:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 08:08:03 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-12-03 08:08:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-03 08:10:48 | → | Googulator63 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 08:10:48 | × | Googulator88 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 08:16:43 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-12-03 08:19:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-12-03 08:20:15 | × | tessier quits (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 240 seconds) |
| 2025-12-03 08:20:39 | → | chele joins (~chele@user/chele) |
| 2025-12-03 08:24:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-03 08:27:39 | → | tessier joins (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2025-12-03 08:30:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-03 08:30:23 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-03 08:33:42 | × | Vq quits (~vq@90-224-37-169-no600.tbcn.telia.com) (Changing host) |
| 2025-12-03 08:33:42 | → | Vq joins (~vq@user/vq) |
| 2025-12-03 08:33:50 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-12-03 08:34:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) |
| 2025-12-03 08:34:14 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2025-12-03 08:34:32 | × | ft quits (~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-12-03 08:34:43 | → | akegalj joins (~akegalj@78-0-210-92.adsl.net.t-com.hr) |
| 2025-12-03 08:35:09 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-12-03 08:35:26 | <akegalj> | Is there a flag for ghci that saves output to a file ? IIRC there is option for this, but can't find it. |
| 2025-12-03 08:37:00 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 272 seconds) |
| 2025-12-03 08:37:25 | × | trickard quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2025-12-03 08:37:45 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 08:38:22 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-12-03 08:40:45 | × | Googulator63 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 08:40:52 | → | Googulator86 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 08:46:07 | → | fp1 joins (~Thunderbi@130.233.53.128) |
| 2025-12-03 08:47:39 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2025-12-03 08:54:54 | × | fp1 quits (~Thunderbi@130.233.53.128) (Ping timeout: 260 seconds) |
| 2025-12-03 08:56:52 | × | inline__ quits (~wbooze@cgn-195-14-219-152.nc.de) (Quit: Leaving) |
| 2025-12-03 08:59:35 | → | mesaoptimizer joins (~user@user/PapuaHardyNet) |
| 2025-12-03 09:00:37 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-03 09:00:47 | × | mesaoptimizer quits (~user@user/PapuaHardyNet) (Client Quit) |
| 2025-12-03 09:01:03 | → | mesaoptimizer joins (~user@user/PapuaHardyNet) |
| 2025-12-03 09:03:13 | <lucabtz> | is there a way to drop the last n elements of a list? |
| 2025-12-03 09:03:38 | <lucabtz> | im composing init with itself n times, but im pretty sure it isnt a great way |
| 2025-12-03 09:03:49 | → | gawen joins (~gawen@user/gawen) |
| 2025-12-03 09:06:08 | <Leary> | lucabtz: There won't be a /great/ way, but `reverse . drop n . reverse` should be better than that. |
| 2025-12-03 09:06:28 | <lucabtz> | yeah i though of that too |
| 2025-12-03 09:07:35 | Googulator86 | is now known as Googulator |
| 2025-12-03 09:08:50 | <lucabtz> | i think with a list of length n repeating init N times should have complexity O(n * N), while yeah reverse . drop N . reverse should scale like 2n + N ~ O(n) |
| 2025-12-03 09:08:55 | × | X-Scale quits (~ARM@50.65.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds) |
| 2025-12-03 09:09:56 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 09:10:44 | × | Googulator quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 09:10:49 | → | Googulator93 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 09:11:44 | <Leary> | This should be moderately faster: https://play.haskell.org/saved/E1adTNLc |
| 2025-12-03 09:14:07 | → | acidjnk joins (~acidjnk@p200300d6e71719231986af8ebf40e0fc.dip0.t-ipconnect.de) |
| 2025-12-03 09:16:33 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 09:16:46 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 09:17:00 | <lucabtz> | yeah thats cool |
| 2025-12-03 09:25:18 | × | trickard_ quits (~trickard@cpe-85-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-03 09:25:24 | × | tromp quits (~textual@2001:1c00:3487:1b00:a4ed:9e46:fd5d:6b4e) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-03 09:26:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-12-03 09:26:45 | × | Inline quits (~inlinE@2001-4dd3-7fc8-0-434a-a4b1-7362-b14b.ipv6dyn.netcologne.de) (Ping timeout: 252 seconds) |
| 2025-12-03 09:27:42 | → | trickard_ joins (~trickard@cpe-85-98-47-163.wireline.com.au) |
| 2025-12-03 09:28:41 | → | kuribas joins (~user@2a02:1808:c7:cecf:a041:fccb:9242:86e9) |
| 2025-12-03 09:29:26 | → | hdggxin joins (~hdggxin@223.181.46.243) |
| 2025-12-03 09:29:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 09:36:18 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-12-03 09:40:49 | × | Googulator93 quits (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-03 09:40:56 | → | Googulator93 joins (~Googulato@2a01-036d-0106-479c-d9ec-010d-f188-ffcb.pool6.digikabel.hu) |
| 2025-12-03 09:44:00 | trickard_ | is now known as trickard |
| 2025-12-03 09:47:35 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-12-03 09:50:02 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-12-03 09:50:24 | → | X-Scale joins (~ARM@50.65.114.89.rev.vodafone.pt) |
All times are in UTC.