2025-09-12 00:00:03 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-12 00:00:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 00:02:27 +0200 | ld86 | (~ld86@mort-07-b2-v4wan-169474-cust3363.vm24.cable.virginm.net) |
2025-09-12 00:02:54 +0200 | ld86 | (~ld86@mort-07-b2-v4wan-169474-cust3363.vm24.cable.virginm.net) (Client Quit) |
2025-09-12 00:05:08 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2025-09-12 00:07:31 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-12 00:07:42 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
2025-09-12 00:09:18 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-09-12 00:10:53 +0200 | karenw_ | (~karenw@user/karenw) karenw |
2025-09-12 00:11:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 00:16:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 00:19:43 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
2025-09-12 00:19:59 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-12 00:25:19 +0200 | user363627 | (~user@user/user363627) user363627 |
2025-09-12 00:27:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 00:29:13 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 250 seconds) |
2025-09-12 00:30:16 +0200 | humodz | (~humodz@user/humodz) (Quit: The Lounge - https://thelounge.chat) |
2025-09-12 00:32:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 00:33:39 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-12 00:38:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds) |
2025-09-12 00:39:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-09-12 00:42:16 +0200 | <monochrom> | Heh I wished section syntax to be more general too, but I can see that it could easily get out of hand. |
2025-09-12 00:43:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 00:44:38 +0200 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
2025-09-12 00:45:19 +0200 | <monochrom> | Tangentially, Python has this if-then-else syntax: "expr1 if cond else expr0", it's like C's "cond ? expr1 : expr0". Python doesn't allow cond itself to be another "e1 if c else e0" for simplicity, but I don't see why not, so in my course I gave a parser assignment that included it. |
2025-09-12 00:46:12 +0200 | sprotte24_ | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Remote host closed the connection) |
2025-09-12 00:46:20 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
2025-09-12 00:47:31 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
2025-09-12 00:47:33 +0200 | sprotte24_ | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
2025-09-12 00:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 00:48:54 +0200 | <monochrom> | I also allowed expr0 to be its own if-else. (But not expr1, unless parenthesized.) So, overall, there is simple solution: Imagine the "if cond else" chunk as a right-associating infix operator! It's just chainr1 ifelse expr. |
2025-09-12 00:48:59 +0200 | sprotte24___ | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) |
2025-09-12 00:52:11 +0200 | sprotte24_ | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
2025-09-12 00:52:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 00:57:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-12 00:58:17 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-12 01:09:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 01:11:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) (Ping timeout: 248 seconds) |
2025-09-12 01:14:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 01:15:20 +0200 | acidjnk | (~acidjnk@p200300d6e7171926a81168b3bd2506b7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-09-12 01:19:19 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) |
2025-09-12 01:23:14 +0200 | mange | (~mange@user/mange) mange |
2025-09-12 01:25:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 01:26:00 +0200 | sprotte24___ | (~sprotte24@p5dd5d928.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-09-12 01:29:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-09-12 01:34:20 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-12 01:34:32 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-12 01:40:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 01:43:06 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
2025-09-12 01:43:44 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-12 01:47:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 01:51:07 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 250 seconds) |
2025-09-12 01:58:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 02:02:00 +0200 | trickard_ | trickard |
2025-09-12 02:02:24 +0200 | potatoe | (~potatoe@157-131-120-242.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
2025-09-12 02:04:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 02:07:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-09-12 02:10:52 +0200 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
2025-09-12 02:14:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 02:16:17 +0200 | itaipu | (~itaipu@168.121.97.28) (Ping timeout: 244 seconds) |
2025-09-12 02:17:59 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
2025-09-12 02:19:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 02:19:59 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) segfaultfizzbuzz |
2025-09-12 02:20:00 +0200 | otto_s | (~user@p5de2f433.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-09-12 02:20:38 +0200 | itaipu | (~itaipu@168.121.97.28) itaipu |
2025-09-12 02:21:33 +0200 | otto_s | (~user@p4ff27276.dip0.t-ipconnect.de) |
2025-09-12 02:22:30 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-12 02:23:05 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2025-09-12 02:26:57 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
2025-09-12 02:30:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 02:35:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 02:38:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-09-12 02:46:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 02:47:30 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-12 02:47:53 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-12 02:48:16 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
2025-09-12 02:49:11 +0200 | califax | (~califax@user/califx) califx |
2025-09-12 02:51:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 02:56:47 +0200 | rvalue- | rvalue |
2025-09-12 03:00:17 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-09-12 03:00:37 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-12 03:00:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4d35:2673:a36a:250b) (Ping timeout: 245 seconds) |
2025-09-12 03:02:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 03:06:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 03:10:33 +0200 | qqe | (~qqq@185.54.23.136) |
2025-09-12 03:17:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 03:22:38 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-12 03:24:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 03:32:03 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
2025-09-12 03:35:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 03:38:34 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-12 03:38:45 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-12 03:40:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-09-12 03:49:52 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) segfaultfizzbuzz |
2025-09-12 03:51:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 03:56:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 04:02:51 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
2025-09-12 04:06:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-09-12 04:07:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 04:08:12 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-09-12 04:08:30 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-12 04:12:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 04:16:17 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
2025-09-12 04:19:32 +0200 | Square3 | (~Square4@user/square) Square |
2025-09-12 04:23:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 04:26:18 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2025-09-12 04:28:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 04:31:14 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) |
2025-09-12 04:35:32 +0200 | puke | (~puke@user/puke) (Quit: puke) |
2025-09-12 04:36:18 +0200 | segfaultfizzbuzz | (~segfaultf@c-73-202-118-116.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
2025-09-12 04:36:51 +0200 | puke | (~puke@user/puke) puke |
2025-09-12 04:39:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 04:43:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 04:48:47 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
2025-09-12 04:50:28 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-09-12 04:54:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 05:01:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 05:09:40 +0200 | Axma48954 | (~Axman6@user/axman6) Axman6 |
2025-09-12 05:10:32 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-12 05:10:40 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-12 05:11:33 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-12 05:12:38 +0200 | <Square3> | When i do 'cabal repl somepackageA' and the issue a ':load some/ModuleB.hs', all modules in somepackageA goes missing |
2025-09-12 05:12:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 05:17:33 +0200 | <Square3> | oh.. ':add path/to/Module.hs' did the trick |
2025-09-12 05:17:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 05:18:41 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2025-09-12 05:20:45 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-09-12 05:24:19 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
2025-09-12 05:26:06 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft |
2025-09-12 05:28:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 05:37:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 05:46:35 +0200 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 248 seconds) |
2025-09-12 05:49:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 05:54:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 06:02:57 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-12 06:03:22 +0200 | doyougnu | (~doyougnu@38.175.72.111) (Ping timeout: 255 seconds) |
2025-09-12 06:08:47 +0200 | doyougnu | (~doyougnu@38.175.72.111) |
2025-09-12 06:21:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 06:25:47 +0200 | Lycurgus | (~juan@user/Lycurgus) (Remote host closed the connection) |
2025-09-12 06:26:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 06:29:33 +0200 | michalz | (~michalz@185.246.207.215) |
2025-09-12 06:36:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 06:42:11 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-09-12 06:42:30 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-12 06:42:49 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-12 06:43:07 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-12 06:43:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 06:47:11 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
2025-09-12 06:52:27 +0200 | trickard | (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 06:52:40 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) |
2025-09-12 06:55:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 07:00:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 07:10:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 07:15:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 07:21:19 +0200 | trickard_ | (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-09-12 07:21:31 +0200 | trickard__ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 07:23:03 +0200 | trickard__ | trickard |
2025-09-12 07:25:15 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
2025-09-12 07:26:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 07:26:21 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-12 07:28:17 +0200 | Axma48954 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-12 07:29:52 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-09-12 07:30:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
2025-09-12 07:31:26 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
2025-09-12 07:34:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 07:39:33 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 252 seconds) |
2025-09-12 07:39:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 07:40:08 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-12 07:40:39 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) |
2025-09-12 07:42:25 +0200 | <dminuoso> | monochrom: True if (True if True else False) else False is allowed in Python. |
2025-09-12 07:42:36 +0200 | jrm | (~jrm@user/jrm) jrm |
2025-09-12 07:42:44 +0200 | <dminuoso> | Or did you mean without parenthesis? |
2025-09-12 07:45:35 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-12 07:50:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 07:51:39 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-09-12 07:55:27 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-09-12 07:55:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-09-12 08:06:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 08:09:40 +0200 | <monochrom> | Right. :) |
2025-09-12 08:12:03 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-12 08:12:38 +0200 | fp | (~Thunderbi@wireless-86-50-140-161.open.aalto.fi) fp |
2025-09-12 08:22:14 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 08:22:28 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 08:26:49 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
2025-09-12 08:40:30 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-12 08:41:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-12 08:53:00 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-09-12 08:53:17 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-09-12 08:53:41 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-fd1e-c506-2528-080c.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
2025-09-12 08:54:02 +0200 | humodz | (~humodz@user/humodz) humodz |
2025-09-12 08:54:19 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 248 seconds) |
2025-09-12 09:00:00 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-12 09:00:40 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-12 09:03:28 +0200 | trickard_ | trickard |
2025-09-12 09:06:14 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-09-12 09:07:31 +0200 | inline_ | (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) Inline |
2025-09-12 09:10:29 +0200 | qqe | (~qqq@185.54.23.136) (Remote host closed the connection) |
2025-09-12 09:10:43 +0200 | inline | (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
2025-09-12 09:13:33 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2025-09-12 09:20:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-12 09:25:35 +0200 | chele | (~chele@user/chele) chele |
2025-09-12 09:26:37 +0200 | acidjnk | (~acidjnk@p200300d6e71719191c7fcbd668df2360.dip0.t-ipconnect.de) acidjnk |
2025-09-12 09:30:39 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 258 seconds) |
2025-09-12 09:35:53 +0200 | Square2 | (~Square@user/square) Square |
2025-09-12 09:38:39 +0200 | Vq | (~vq@90-224-37-169-no600.tbcn.telia.com) Vq |
2025-09-12 09:39:47 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-09-12 09:40:00 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 265 seconds) |
2025-09-12 09:40:39 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2025-09-12 09:40:46 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2025-09-12 09:44:03 +0200 | Axma21796 | (~Axman6@user/axman6) Axman6 |
2025-09-12 09:45:31 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 248 seconds) |
2025-09-12 09:47:23 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-12 09:52:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-12 09:52:33 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
2025-09-12 09:53:07 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-12 09:54:15 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-09-12 09:54:57 +0200 | FANTOM | (~fantom@90.244.165.186) (Ping timeout: 256 seconds) |
2025-09-12 09:57:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-12 09:59:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
2025-09-12 10:00:15 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
2025-09-12 10:01:35 +0200 | anpad | (~pandeyan@user/anpad) anpad |
2025-09-12 10:01:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-12 10:07:44 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-09-12 10:18:38 +0200 | Alleria | (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
2025-09-12 10:19:49 +0200 | remexre | (~remexre@user/remexre) (Ping timeout: 260 seconds) |
2025-09-12 10:22:00 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-09-12 10:22:26 +0200 | Alleria | (~Alleria@user/alleria) Alleria |
2025-09-12 10:23:42 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-12 10:25:21 +0200 | FANTOM | (~fantom@90.244.165.186) |
2025-09-12 10:27:08 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-09-12 10:34:47 +0200 | ski | (~ski@remote11.chalmers.se) (Quit: Lost terminal) |
2025-09-12 10:41:00 +0200 | Googulator19 | (~Googulato@81.183.235.203) |
2025-09-12 10:43:45 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 10:43:59 +0200 | litharge | (litharge@libera/bot/litharge) (Ping timeout: 612 seconds) |
2025-09-12 10:44:02 +0200 | FragByte | (~christian@user/fragbyte) (Read error: Connection reset by peer) |
2025-09-12 10:44:44 +0200 | FragByte | (~christian@user/fragbyte) FragByte |
2025-09-12 10:44:50 +0200 | dfg | (~dfg@user/dfg) (Ping timeout: 256 seconds) |
2025-09-12 10:47:13 +0200 | litharge | (litharge@libera/bot/litharge) litharge |
2025-09-12 10:50:10 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-12 10:58:29 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 10:58:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 11:00:15 +0200 | dfg | (~dfg@user/dfg) dfg |
2025-09-12 11:09:47 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 248 seconds) |
2025-09-12 11:16:02 +0200 | Googulator71 | (~Googulato@81.183.235.203) |
2025-09-12 11:18:24 +0200 | AlexZenon | (~alzenon@178.34.162.29) (Quit: ;-) |
2025-09-12 11:18:33 +0200 | AlexNoo | (~AlexNoo@178.34.162.29) (Quit: Leaving) |
2025-09-12 11:18:51 +0200 | Googulator19 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 11:26:27 +0200 | AlexNoo | (~AlexNoo@178.34.162.29) |
2025-09-12 11:32:49 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-09-12 11:36:31 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-09-12 11:37:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-09-12 11:39:56 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-09-12 11:39:56 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-09-12 11:39:56 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-09-12 11:40:56 +0200 | Googulator51 | (~Googulato@81.183.235.203) |
2025-09-12 11:43:59 +0200 | Googulator71 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 11:44:04 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 11:46:50 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 11:49:06 +0200 | AlexZenon | (~alzenon@178.34.162.29) |
2025-09-12 11:57:22 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
2025-09-12 11:59:43 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-12 12:01:43 +0200 | Axma21796 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-12 12:07:44 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 12:07:58 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 12:08:21 +0200 | Googulator51 | Googulator |
2025-09-12 12:10:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-09-12 12:13:42 +0200 | trickard_ | trickard |
2025-09-12 12:29:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 12:34:29 +0200 | yuuta | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 265 seconds) |
2025-09-12 12:36:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2025-09-12 12:40:41 +0200 | ubert | (~Thunderbi@77.119.168.157.wireless.dyn.drei.com) ubert |
2025-09-12 12:41:22 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-12 12:41:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 12:42:13 +0200 | inline_ | inline |
2025-09-12 12:47:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 12:54:09 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-09-12 12:55:05 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-09-12 12:57:04 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-09-12 12:57:04 +0200 | ChanServ | +v haskellbridge |
2025-09-12 13:00:21 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-09-12 13:00:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 13:03:16 +0200 | Jackneill | (~Jackneill@94-21-95-126.pool.digikabel.hu) Jackneill |
2025-09-12 13:08:11 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
2025-09-12 13:09:05 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-12 13:13:38 +0200 | fp | (~Thunderbi@wireless-86-50-140-161.open.aalto.fi) (Ping timeout: 265 seconds) |
2025-09-12 13:27:07 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 13:29:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2025-09-12 13:29:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-12 13:32:16 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-09-12 13:33:41 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 13:33:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 13:36:26 +0200 | rvalue- | (~rvalue@about/hackers/rvalue) rvalue |
2025-09-12 13:36:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-12 13:36:38 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-09-12 13:37:19 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 265 seconds) |
2025-09-12 13:45:46 +0200 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
2025-09-12 13:45:55 +0200 | rvalue- | rvalue |
2025-09-12 13:48:20 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-09-12 13:48:25 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-12 13:52:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
2025-09-12 13:52:24 +0200 | ljdarj1 | ljdarj |
2025-09-12 13:52:41 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-09-12 14:15:40 +0200 | Googulator33 | (~Googulato@81.183.235.203) |
2025-09-12 14:17:24 +0200 | Axma42739 | (~Axman6@user/axman6) Axman6 |
2025-09-12 14:19:07 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 14:19:33 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
2025-09-12 14:20:30 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-09-12 14:22:24 +0200 | mari61079 | (~mari-este@user/mari-estel) mari-estel |
2025-09-12 14:23:16 +0200 | mari-estel | (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
2025-09-12 14:25:46 +0200 | remexre | (~remexre@user/remexre) remexre |
2025-09-12 14:26:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8846:d27a:34b2:3e5) |
2025-09-12 14:29:45 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 14:29:59 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 14:33:42 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-12 14:34:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-12 14:37:46 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63 |
2025-09-12 14:40:42 +0200 | Googulator52 | (~Googulato@81.183.235.203) |
2025-09-12 14:41:05 +0200 | AlexZenon | (~alzenon@178.34.162.29) (Quit: ;-) |
2025-09-12 14:41:09 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-12 14:42:19 +0200 | ft | (~ft@p4fc2a25a.dip0.t-ipconnect.de) ft |
2025-09-12 14:43:13 +0200 | AlexNoo | (~AlexNoo@178.34.162.29) (Quit: Leaving) |
2025-09-12 14:43:40 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
2025-09-12 14:43:40 +0200 | ljdarj1 | ljdarj |
2025-09-12 14:43:49 +0200 | Googulator33 | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 14:46:51 +0200 | jreicher | (~user@user/jreicher) (Quit: In transit) |
2025-09-12 14:58:05 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-09-12 15:01:52 +0200 | tremon | (~tremon@83.80.159.219) tremon |
2025-09-12 15:03:27 +0200 | trickard_ | trickard |
2025-09-12 15:07:04 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-09-12 15:09:21 +0200 | fp | (~Thunderbi@wireless-86-50-140-161.open.aalto.fi) fp |
2025-09-12 15:14:14 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 15:14:27 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 15:16:29 +0200 | jreicher | (~user@user/jreicher) jreicher |
2025-09-12 15:16:49 +0200 | AlexNoo | (~AlexNoo@178.34.162.29) |
2025-09-12 15:20:27 +0200 | fp | (~Thunderbi@wireless-86-50-140-161.open.aalto.fi) (Ping timeout: 260 seconds) |
2025-09-12 15:20:34 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-09-12 15:21:39 +0200 | bionade24_ | (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
2025-09-12 15:21:50 +0200 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
2025-09-12 15:25:57 +0200 | biberu | (~biberu@user/biberu) biberu |
2025-09-12 15:34:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-09-12 15:38:08 +0200 | Googulator52 | (~Googulato@81.183.235.203) (Quit: Client closed) |
2025-09-12 15:40:08 +0200 | AlexZenon | (~alzenon@178.34.162.29) |
2025-09-12 15:41:49 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
2025-09-12 15:42:09 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-09-12 15:42:19 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
2025-09-12 15:43:22 +0200 | mbauman | (~mbauman@2600:1700:9902:2ef0:55a2:c8fa:c48a:a59d) |
2025-09-12 15:43:25 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-12 15:46:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 15:48:41 +0200 | trickard_ | trickard |
2025-09-12 15:50:10 +0200 | <mbauman> | Hiya Haskellers! Do folks from the SRT/advisory database team hang out here or is there an informal place where they do? I'm bombing in on you all from the Julia community because I'm spearheading the dev of our own database and have been taking inspiration from the work your team has done — and would be grateful for any retrospectives they might |
2025-09-12 15:50:11 +0200 | <mbauman> | share. |
2025-09-12 15:53:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 16:02:36 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-09-12 16:04:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 16:09:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
2025-09-12 16:14:27 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-12 16:17:51 +0200 | mbauman | (~mbauman@2600:1700:9902:2ef0:55a2:c8fa:c48a:a59d) (Ping timeout: 250 seconds) |
2025-09-12 16:21:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 16:28:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-09-12 16:28:36 +0200 | miku727 | (~miku@user/miku727) miku727 |
2025-09-12 16:28:49 +0200 | <miku727> | functional programming |
2025-09-12 16:30:56 +0200 | miku727 | (~miku@user/miku727) (Quit: WeeChat 4.7.1) |
2025-09-12 16:31:17 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-09-12 16:34:42 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
2025-09-12 16:35:05 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-12 16:35:24 +0200 | oxapentane | (~oxapentan@user/oxapentane) (Remote host closed the connection) |
2025-09-12 16:35:37 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-09-12 16:35:56 +0200 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
2025-09-12 16:36:08 +0200 | miku727 | (~miku@user/miku727) miku727 |
2025-09-12 16:36:12 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-12 16:36:32 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-12 16:37:19 +0200 | Axma42739 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-12 16:37:34 +0200 | <miku727> | exit |
2025-09-12 16:37:36 +0200 | <miku727> | woops |
2025-09-12 16:37:37 +0200 | miku727 | (~miku@user/miku727) (Client Quit) |
2025-09-12 16:40:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 16:41:10 +0200 | mbauman | (~mbauman@2600:1700:9902:2ef0:55a2:c8fa:c48a:a59d) |
2025-09-12 16:41:24 +0200 | mbauman | (~mbauman@2600:1700:9902:2ef0:55a2:c8fa:c48a:a59d) (Client Quit) |
2025-09-12 16:41:28 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-12 16:42:59 +0200 | Googulator | (~Googulato@81.183.235.203) |
2025-09-12 16:45:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 16:48:31 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-09-12 16:48:48 +0200 | ubert | (~Thunderbi@77.119.168.157.wireless.dyn.drei.com) (Quit: ubert) |
2025-09-12 16:49:40 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-09-12 16:50:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-09-12 16:57:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 17:02:25 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 250 seconds) |
2025-09-12 17:02:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 17:05:31 +0200 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 250 seconds) |
2025-09-12 17:07:39 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-09-12 17:09:19 +0200 | acidjnk | (~acidjnk@p200300d6e71719191c7fcbd668df2360.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2025-09-12 17:13:06 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-09-12 17:13:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) |
2025-09-12 17:13:38 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-09-12 17:19:15 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich |
2025-09-12 17:19:46 +0200 | trickard_ | trickard |
2025-09-12 17:20:36 +0200 | Enrico63 | (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
2025-09-12 17:24:31 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 250 seconds) |
2025-09-12 17:36:27 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
2025-09-12 17:41:46 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-12 17:42:38 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-12 17:49:04 +0200 | acidjnk | (~acidjnk@p200300d6e7171985d5506271dfe67a69.dip0.t-ipconnect.de) acidjnk |
2025-09-12 17:49:43 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-09-12 17:52:27 +0200 | AlexNoo | (~AlexNoo@178.34.162.29) (Read error: Connection reset by peer) |
2025-09-12 17:52:30 +0200 | AlexNoo_ | (~AlexNoo@178.34.162.29) |
2025-09-12 17:53:55 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-12 17:58:30 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-09-12 18:05:50 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-09-12 18:06:16 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds) |
2025-09-12 18:09:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 18:10:04 +0200 | davidlbowman | (~dlb@user/davidlbowman) () |
2025-09-12 18:16:47 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-12 18:18:05 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) MelodyOwO |
2025-09-12 18:21:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 18:22:04 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2025-09-12 18:22:17 +0200 | <monochrom> | That sounds like generic blind spam. #haskell is not a "team". |
2025-09-12 18:24:12 +0200 | mari61079 | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
2025-09-12 18:27:43 +0200 | <mauke> | the security response team is a team |
2025-09-12 18:28:07 +0200 | <monochrom> | Oops. Sorry. |
2025-09-12 18:28:31 +0200 | <Franciman> | lol mauke |
2025-09-12 18:30:38 +0200 | YuutaW | (~YuutaW@alice.yuuta.moe) YuutaW |
2025-09-12 18:37:36 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
2025-09-12 18:37:56 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
2025-09-12 18:40:59 +0200 | mari-estel | (~mari-este@user/mari-estel) () |
2025-09-12 18:52:50 +0200 | ski | (~ski@remote11.chalmers.se) ski |
2025-09-12 19:01:37 +0200 | segfaultfizzbuzz | (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) segfaultfizzbuzz |
2025-09-12 19:06:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection) |
2025-09-12 19:09:54 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-09-12 19:14:36 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-12 19:15:10 +0200 | Square2 | (~Square@user/square) (Ping timeout: 265 seconds) |
2025-09-12 19:15:37 +0200 | Googulator | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Client Quit) |
2025-09-12 19:15:44 +0200 | Googulator18 | (~Googulato@94-21-175-125.pool.digikabel.hu) |
2025-09-12 19:19:30 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-09-12 19:19:52 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
2025-09-12 19:20:54 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-12 19:24:43 +0200 | MelodyOwO | (~MelodyOwO@user/MelodyOwO) (Ping timeout: 248 seconds) |
2025-09-12 19:25:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 19:36:51 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-12 19:36:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 19:37:46 +0200 | Axma82253 | (~Axman6@user/axman6) Axman6 |
2025-09-12 19:39:45 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-12 19:41:12 +0200 | <geekosaur> | https://discourse.haskell.org/t/haskell-security-response-team-2025-april-june-report/12496 is probably a better place to look to contact them? |
2025-09-12 19:41:46 +0200 | <geekosaur> | first heading, even |
2025-09-12 19:43:30 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) |
2025-09-12 19:45:34 +0200 | <tomsmeding> | they seem to be gone |
2025-09-12 19:53:23 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-09-12 19:54:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-12 19:58:45 +0200 | <EvanR> | we're putting together a team :tm: |
2025-09-12 20:05:38 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-09-12 20:12:20 +0200 | segfaultfizzbuzz | (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2025-09-12 20:14:55 +0200 | segfaultfizzbuzz | (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) segfaultfizzbuzz |
2025-09-12 20:21:16 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-09-12 20:22:43 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) |
2025-09-12 20:24:31 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
2025-09-12 20:24:40 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
2025-09-12 20:26:25 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
2025-09-12 20:26:26 +0200 | <zzz> | The A-Team is translated as "Class A Squad" in my country if you back-translate it literally so I was going to make a joke involving classes before I remembered the original name. |
2025-09-12 20:31:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-09-12 20:40:17 +0200 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
2025-09-12 20:42:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 20:45:04 +0200 | humodz | (~humodz@user/humodz) (The Lounge - https://thelounge.chat) |
2025-09-12 20:54:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 20:57:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-12 20:58:15 +0200 | monochrom | (trebla@216.138.220.146) |
2025-09-12 20:59:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 21:00:05 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-09-12 21:00:45 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-09-12 21:01:07 +0200 | segfaultfizzbuzz | (~segfaultf@c-71-202-235-127.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
2025-09-12 21:02:18 +0200 | fgarcia | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
2025-09-12 21:04:57 +0200 | sprotte24 | (~sprotte24@p5b039b62.dip0.t-ipconnect.de) |
2025-09-12 21:05:38 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-12 21:05:49 +0200 | Googulator18 | (~Googulato@94-21-175-125.pool.digikabel.hu) (Quit: Client closed) |
2025-09-12 21:10:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 21:11:23 +0200 | peterbecich | (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
2025-09-12 21:20:33 +0200 | <monochrom> | class Squad a |
2025-09-12 21:21:41 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
2025-09-12 21:21:57 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-09-12 21:39:45 +0200 | dtman34_ | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Ping timeout: 250 seconds) |
2025-09-12 21:44:45 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Quit: fp) |
2025-09-12 21:47:45 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
2025-09-12 21:50:27 +0200 | OftenFaded5 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-12 21:50:40 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
2025-09-12 21:54:15 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-09-12 21:54:38 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
2025-09-12 21:55:24 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-12 21:55:45 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
2025-09-12 21:57:00 +0200 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 252 seconds) |
2025-09-12 21:57:33 +0200 | Axma82253 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
2025-09-12 22:01:56 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-09-12 22:16:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 22:16:38 +0200 | OftenFaded5 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
2025-09-12 22:17:02 +0200 | OftenFaded74 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-12 22:23:25 +0200 | OftenFaded26 | (~OftenFade@user/tisktisk) OftenFaded |
2025-09-12 22:23:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-09-12 22:26:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 22:27:03 +0200 | OftenFaded74 | (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
2025-09-12 22:32:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-09-12 22:40:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 22:42:52 +0200 | <haskellbridge> | <magic_rb> I've implemented a kind of STG in rust for Nix evaluation. I managed to make it recursion less how the paper from 2016. What i dont understand is how to do primops. I mean if i have a primop such as "(+ 4 2)" i have a block of code representing that primop ("+") and i pass it two arguments "4" and "2". So far so good. However I'm not sure how to force the two arguments. I can start a "new" evaluation but that... |
2025-09-12 22:42:57 +0200 | <haskellbridge> | ... then incurs a new function on the rust, which i dont know if thats bad? but that means you can overflow the Rust stack but chaining enough primops |
2025-09-12 22:43:38 +0200 | <haskellbridge> | <magic_rb> not sure what do to do, how does GHC do it? the design they describe in https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/eval-apply.pdf wont work to evaluate "4" and then "2", or at least i dont see how i could make it do that |
2025-09-12 22:47:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-09-12 22:55:34 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
2025-09-12 22:56:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 250 seconds) |
2025-09-12 22:58:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 22:58:35 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-09-12 23:00:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-09-12 23:03:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-09-12 23:03:54 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-09-12 23:11:13 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
2025-09-12 23:14:00 +0200 | Guest58 | (~Guest77@130.44.133.214) |
2025-09-12 23:14:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-09-12 23:17:27 +0200 | OftenFaded26 | (~OftenFade@user/tisktisk) (Quit: Client closed) |
2025-09-12 23:20:17 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
2025-09-12 23:23:07 +0200 | michalz | (~michalz@185.246.207.215) (Remote host closed the connection) |
2025-09-12 23:23:24 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
2025-09-12 23:26:21 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
2025-09-12 23:26:39 +0200 | Googulator77 | (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
2025-09-12 23:33:27 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
2025-09-12 23:35:32 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) stefan-__ |
2025-09-12 23:35:39 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-09-12 23:36:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-12 23:36:33 +0200 | tcard__ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2025-09-12 23:37:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-09-12 23:37:37 +0200 | ljdarj1 | ljdarj |
2025-09-12 23:45:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1d0c:4f20:ca8:e791) |
2025-09-12 23:45:17 +0200 | <EvanR> | magic_rb, if your STG instruction set includes Eval and another one that does primitive operations, on e.g. machine ints, then use Eval instructions to evaluate the inputs to the primitive, then have the primitive expect evaluated arguments already? |
2025-09-12 23:45:54 +0200 | <haskellbridge> | <magic_rb> it doesnt currently, hm |
2025-09-12 23:46:23 +0200 | <haskellbridge> | <magic_rb> but it doesnt quite solve the immediate issue which is that idk how to do it recursion less if i dont uncurry everything |
2025-09-12 23:46:47 +0200 | <haskellbridge> | <magic_rb> but tbh, i dont think it matters? nix is completely uncurried, always and im targeting nix with this |
2025-09-12 23:46:53 +0200 | <EvanR> | the process of evaluating e.g. a machine int doesn't need to have special recursion on top of how you already evaluate stuff |
2025-09-12 23:47:11 +0200 | <EvanR> | since it evaluates to a number if it's well typed |
2025-09-12 23:47:12 +0200 | <haskellbridge> | <magic_rb> yes, my point is, uh |
2025-09-12 23:47:21 +0200 | <haskellbridge> | <magic_rb> (no types btw) |
2025-09-12 23:47:24 +0200 | <EvanR> | oof |
2025-09-12 23:47:25 +0200 | <haskellbridge> | <magic_rb> wait, ill push the changes i have |
2025-09-12 23:48:43 +0200 | <haskellbridge> | <magic_rb> https://git.redalder.org/magic_rb/nix-stg/src/branch/main/nix-stg/src/env.rs#L53 this is my "evaluatior/VM" |
2025-09-12 23:48:50 +0200 | <haskellbridge> | <magic_rb> i think VM is a better term? |
2025-09-12 23:48:51 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2025-09-12 23:49:06 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |