| 2026-02-26 00:03:02 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-26 00:05:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 00:05:51 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-26 00:06:45 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-26 00:07:16 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-02-26 00:08:57 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-26 00:13:44 +0100 | wickedjargon | (~user@208.98.208.115) (Read error: Connection reset by peer) |
| 2026-02-26 00:16:03 +0100 | wickedjargon | (~user@2605:8d80:5431:9ef7:63f8:2d43:fcf7:6716) wickedjargon |
| 2026-02-26 00:19:10 +0100 | v0id_7 | (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 2026-02-26 00:20:21 +0100 | messewix | (~jmc@user/messewix) (Ping timeout: 246 seconds) |
| 2026-02-26 00:20:27 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-02-26 00:23:21 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-26 00:23:43 +0100 | tjbc | (~tjbc@user/fliife) (Remote host closed the connection) |
| 2026-02-26 00:24:03 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-26 00:26:17 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-26 00:27:15 +0100 | wickedja` | (~user@208.98.208.115) |
| 2026-02-26 00:28:04 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-02-26 00:28:33 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-26 00:28:45 +0100 | wickedjargon | (~user@2605:8d80:5431:9ef7:63f8:2d43:fcf7:6716) (Ping timeout: 246 seconds) |
| 2026-02-26 00:32:07 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) |
| 2026-02-26 00:33:45 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-02-26 00:33:56 +0100 | <tusko> | i liek haskell |
| 2026-02-26 00:36:29 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-499d-5cc3-861f-fb3b-e380.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-26 00:40:58 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-26 00:41:06 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 00:57:59 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-02-26 00:59:24 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-26 00:59:43 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-26 01:07:39 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-02-26 01:07:50 +0100 | <Digit> | i like https://www.youtube.com/@arturorochoa9359/streams 's recent noob haskell learning vids |
| 2026-02-26 01:08:32 +0100 | <tusko> | thanking you _/\_ |
| 2026-02-26 01:23:52 +0100 | ilbelkyr | nicole |
| 2026-02-26 01:29:01 +0100 | <Comstar> | tusko, have you seen helsinki's open course? it's a pretty nice and gentle guided way to learn haskell |
| 2026-02-26 01:30:19 +0100 | wickedjargon | (~user@208.98.208.115) wickedjargon |
| 2026-02-26 01:31:46 +0100 | zlqrvx | (~zlqrvx@user/zlqrvx) (Ping timeout: 276 seconds) |
| 2026-02-26 01:34:30 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 01:37:04 +0100 | st_aldini | (~Betterbir@136.48.46.187) st_aldini |
| 2026-02-26 01:40:51 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-02-26 01:45:10 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a3f9:c0ee:35e6:d3d1) (Ping timeout: 245 seconds) |
| 2026-02-26 01:54:46 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-26 01:56:25 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 245 seconds) |
| 2026-02-26 01:57:36 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2026-02-26 01:59:40 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-26 02:27:04 +0100 | Comstar | (~Comstar@user/Comstar) (Remote host closed the connection) |
| 2026-02-26 02:27:27 +0100 | Comstar | (~Comstar@user/Comstar) Comstar |
| 2026-02-26 02:29:46 +0100 | newmind | (~newmind@user/newmind) (Remote host closed the connection) |
| 2026-02-26 02:30:10 +0100 | newmind | (~newmind@user/newmind) newmind |
| 2026-02-26 02:39:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-26 03:08:04 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 2026-02-26 03:08:14 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-26 03:08:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 03:21:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-26 03:25:09 +0100 | ethan1 | (ethan@tilde.team) |
| 2026-02-26 03:25:44 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 245 seconds) |
| 2026-02-26 03:26:21 +0100 | <ethan1> | hi, i'm just starting to learn haskell, i've been looking at https://haskell.mooc.fi and they use stack for most stuff |
| 2026-02-26 03:26:43 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 03:27:18 +0100 | <geekosaur> | that's not a problem, but modern cabal is much saner than very early versions 20ish years ago and you should probably learn it as well |
| 2026-02-26 03:27:49 +0100 | <ethan1> | i was looking at https://learnyouahaskell.github.io/introduction.html#about-this-tutorial and they recommend ghcup |
| 2026-02-26 03:28:08 +0100 | <ethan1> | well i'm running v 9.6.6 so i think i've got modern cabal? |
| 2026-02-26 03:28:10 +0100 | <ethan1> | i could be wrong |
| 2026-02-26 03:28:10 +0100 | <haskellbridge> | <maerwald> good |
| 2026-02-26 03:28:35 +0100 | <haskellbridge> | <maerwald> cabal should be enough |
| 2026-02-26 03:31:55 +0100 | <geekosaur> | ghcup installs both cabal and stack |
| 2026-02-26 03:32:05 +0100 | <geekosaur> | it's an installer, not a builder |
| 2026-02-26 03:34:41 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 03:34:59 +0100 | <ethan1> | what i did was install debian's version of stack, and used that to install ghci |
| 2026-02-26 03:35:04 +0100 | <ethan1> | things seem to work fine |
| 2026-02-26 03:35:19 +0100 | <ethan1> | i want to get through the course and/or book |
| 2026-02-26 03:35:38 +0100 | <ethan1> | i was thinking i'd stick to that setup for most of it, and then i'd tweak it later if needed |
| 2026-02-26 03:36:11 +0100 | <geekosaur> | it'll work, it'll just get you older versions of things |
| 2026-02-26 03:36:22 +0100 | <ethan1> | and it turns out i don't have cabal, so i installed cabal 3.10.3 |
| 2026-02-26 03:36:36 +0100 | <ethan1> | geekosaur: that's fine then, i'll update if i need to |
| 2026-02-26 03:36:37 +0100 | <geekosaur> | ghcup gets you recommended versions of things |
| 2026-02-26 03:37:02 +0100 | <geekosaur> | (in particular cabal 3.10.3 is fairly old at this point and has known bugs) |
| 2026-02-26 03:37:53 +0100 | <geekosaur> | and if your ghc is older than 9.4 it will also have potentially severe known bugs |
| 2026-02-26 03:38:07 +0100 | <ethan1> | i have v9.6 |
| 2026-02-26 03:38:15 +0100 | <ethan1> | how bad are the bugs? |
| 2026-02-26 03:39:06 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 03:40:46 +0100 | <geekosaur> | 9.6.7 is fine, older minor versions can be problematic |
| 2026-02-26 03:41:23 +0100 | <geekosaur> | in general you want the latest minor version of any ghc (with haskell version numbers, the major number is the first two components) |
| 2026-02-26 03:42:25 +0100 | <geekosaur> | there is certainly no reason to run very recent versions unless you want to experiment; ghc moves quickly because it's' both a research compiler and a production compiler |
| 2026-02-26 03:42:56 +0100 | <ethan1> | specifically, i've got 9.6.6 |
| 2026-02-26 03:42:59 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 03:46:24 +0100 | <haskellbridge> | <maerwald> why do you have 9.6.6 |
| 2026-02-26 03:47:37 +0100 | <geekosaur> | it's probably okay but there are some bugs on some platforms: https://downloads.haskell.org/ghc/9.6.7/docs/users_guide/9.6.7-notes.html#compiler and succeeding sections |
| 2026-02-26 03:47:45 +0100 | <geekosaur> | maerwald: debian |
| 2026-02-26 03:47:52 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 03:48:11 +0100 | <ethan1> | yeah debian lol |
| 2026-02-26 03:48:44 +0100 | <ethan1> | i'll just run the ghcup install script when i can, then |
| 2026-02-26 03:49:08 +0100 | <ethan1> | if it becomes a huge problem |
| 2026-02-26 03:53:24 +0100 | <Clint> | it's 9.6.6 with some patches, ftr |
| 2026-02-26 03:56:49 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-26 04:01:55 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 276 seconds) |
| 2026-02-26 04:03:59 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-26 04:09:59 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 04:12:57 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) () |
| 2026-02-26 04:20:04 +0100 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-02-26 04:23:06 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 04:24:38 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-02-26 04:25:15 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-02-26 04:37:40 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-02-26 04:39:46 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-26 04:45:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 2026-02-26 04:47:00 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-26 04:51:25 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 245 seconds) |
| 2026-02-26 05:02:48 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-02-26 05:23:01 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-26 05:34:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-26 05:43:35 +0100 | halloy3950 | (~halloy395@149.167.1.176) |
| 2026-02-26 05:43:55 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 245 seconds) |
| 2026-02-26 05:45:14 +0100 | halloy3950 | (~halloy395@149.167.1.176) (Remote host closed the connection) |
| 2026-02-26 05:45:27 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 05:54:01 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 248 seconds) |
| 2026-02-26 05:57:14 +0100 | wickedja` | (~user@208.98.208.115) (Remote host closed the connection) |
| 2026-02-26 05:57:14 +0100 | wickedjargon | (~user@208.98.208.115) (Remote host closed the connection) |
| 2026-02-26 06:02:01 +0100 | tales | (~tales@149.167.1.176) (Remote host closed the connection) |
| 2026-02-26 06:02:13 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 06:03:45 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
| 2026-02-26 06:13:11 +0100 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2026-02-26 06:24:24 +0100 | inedia | (~irc@2600:3c00:e000:287::1) (Ping timeout: 264 seconds) |
| 2026-02-26 06:24:40 +0100 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2026-02-26 06:25:00 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 264 seconds) |
| 2026-02-26 06:25:00 +0100 | tccq | (~tccq@user/tccq) (Ping timeout: 264 seconds) |
| 2026-02-26 06:25:11 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-02-26 06:25:18 +0100 | tccq | (~tccq@2604:a00:50:1b7:ef89:6719:b6af:6c9e) |
| 2026-02-26 06:26:29 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-26 06:31:11 +0100 | tales | (~tales@149.167.1.176) (Read error: Connection reset by peer) |
| 2026-02-26 06:32:45 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 06:48:52 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-02-26 06:49:03 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-26 06:52:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 07:03:29 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 07:05:52 +0100 | <tusko> | Comstar: I haven't. Have been working through Hutton's book |
| 2026-02-26 07:07:40 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 07:16:44 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 07:21:03 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 07:22:59 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-02-26 07:28:46 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 07:30:24 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2026-02-26 07:31:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 256 seconds) |
| 2026-02-26 07:33:01 +0100 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2026-02-26 07:34:21 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) fp |
| 2026-02-26 07:36:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 07:38:15 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 07:42:56 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 268 seconds) |
| 2026-02-26 07:43:45 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-02-26 07:53:35 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 07:55:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-26 07:57:48 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 08:00:41 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 2026-02-26 08:01:24 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 08:02:48 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 08:06:19 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 08:09:20 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000-cb85-53ba-5aff-d578.rev.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-02-26 08:09:20 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-02-26 08:13:25 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 08:14:57 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-02-26 08:17:45 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 08:20:10 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 268 seconds) |
| 2026-02-26 08:22:07 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 08:29:36 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-26 08:31:40 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 08:33:41 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-26 08:36:29 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 265 seconds) |
| 2026-02-26 08:37:21 +0100 | jreicher | (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 2026-02-26 08:38:33 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-26 08:44:53 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 08:47:17 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 08:49:15 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 08:51:22 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-02-26 08:51:36 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 08:54:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-26 08:55:01 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 08:57:42 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 08:57:45 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 2026-02-26 08:57:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-26 08:58:48 +0100 | Comstar | (~Comstar@user/Comstar) (Ping timeout: 255 seconds) |
| 2026-02-26 08:58:51 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-26 09:01:50 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 09:06:22 +0100 | michalz_ | (~michalz@185.246.207.197) |
| 2026-02-26 09:06:27 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-26 09:06:30 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Read error: Connection reset by peer) |
| 2026-02-26 09:07:27 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-26 09:07:46 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 09:08:39 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-26 09:08:53 +0100 | michalz | (~michalz@185.246.207.218) (Ping timeout: 268 seconds) |
| 2026-02-26 09:10:29 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-26 09:10:58 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 09:12:28 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) fp |
| 2026-02-26 09:16:03 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 272 seconds) |
| 2026-02-26 09:17:20 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:2832:6b11:5873:83f4) |
| 2026-02-26 09:17:20 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:2832:6b11:5873:83f4) (Changing host) |
| 2026-02-26 09:17:20 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-26 09:18:24 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-26 09:19:06 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-02-26 09:19:49 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 09:22:23 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 272 seconds) |
| 2026-02-26 09:23:43 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) fp |
| 2026-02-26 09:29:16 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 09:29:17 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-26 09:33:42 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 09:43:55 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 272 seconds) |
| 2026-02-26 09:44:23 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-26 09:45:37 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-26 09:47:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-26 09:47:41 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 09:48:07 +0100 | misterfish | (~misterfis@f119018.upc-f.chello.nl) misterfish |
| 2026-02-26 09:50:03 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-26 09:55:16 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 265 seconds) |
| 2026-02-26 09:55:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 09:56:02 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-02-26 09:57:45 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 09:58:00 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-26 10:03:15 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2026-02-26 10:06:13 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-02-26 10:10:36 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Ping timeout: 264 seconds) |
| 2026-02-26 10:11:00 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
| 2026-02-26 10:11:04 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-26 10:12:56 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-26 10:13:12 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-26 10:13:55 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 10:18:05 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 10:20:18 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-26 10:21:00 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 245 seconds) |
| 2026-02-26 10:21:30 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-26 10:22:46 +0100 | uli-fem | (~uli-fem@118.210.1.123) |
| 2026-02-26 10:23:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2026-02-26 10:23:32 +0100 | ljdarj1 | ljdarj |
| 2026-02-26 10:24:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-26 10:25:37 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-26 10:27:03 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 10:27:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 10:33:33 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 10:35:38 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 10:37:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-26 10:39:45 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 10:42:54 +0100 | lol__ | (~lol@2603:3016:1e01:b940:4d29:e35:f98e:367a) (Ping timeout: 256 seconds) |
| 2026-02-26 10:43:27 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b940:25c3:513e:f05c:648e) (Ping timeout: 272 seconds) |
| 2026-02-26 10:44:12 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-26 10:44:49 +0100 | jcarpenter2 | (~lol@96.78.87.197) |
| 2026-02-26 10:44:52 +0100 | lol_ | (~lol@96.78.87.197) |
| 2026-02-26 10:46:41 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-26 10:56:54 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 10:57:16 +0100 | redshuffle | (~quassel@45.43.70.75) (Remote host closed the connection) |
| 2026-02-26 10:57:31 +0100 | redshuffle | (~quassel@45.43.70.75) |
| 2026-02-26 11:01:31 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 264 seconds) |
| 2026-02-26 11:01:44 +0100 | jackdk | (sid373013@cssa/life/jackdk) (Ping timeout: 268 seconds) |
| 2026-02-26 11:02:57 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 11:04:16 +0100 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2026-02-26 11:04:20 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 245 seconds) |
| 2026-02-26 11:04:20 +0100 | fp1 | fp |
| 2026-02-26 11:04:40 +0100 | jackdk | (sid373013@cssa/life/jackdk) jackdk |
| 2026-02-26 11:08:38 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2026-02-26 11:09:15 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 11:09:25 +0100 | uli-fem | (~uli-fem@118.210.1.123) (Ping timeout: 272 seconds) |
| 2026-02-26 11:10:58 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-26 11:11:23 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer) |
| 2026-02-26 11:11:29 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 11:11:41 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-26 11:14:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-26 11:14:35 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-26 11:15:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 11:16:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 11:18:42 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 2026-02-26 11:24:44 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 11:26:52 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-26 11:27:02 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-26 11:29:29 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 268 seconds) |
| 2026-02-26 11:35:09 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-02-26 11:38:00 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 11:38:44 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-26 11:38:53 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-26 11:40:24 +0100 | misterfish | (~misterfis@f119018.upc-f.chello.nl) (Ping timeout: 246 seconds) |
| 2026-02-26 11:44:10 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-02-26 11:44:31 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) fp |
| 2026-02-26 11:45:10 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 11:51:25 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-26 11:52:49 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-26 11:55:04 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 11:55:39 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 12:00:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 12:02:08 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 12:06:34 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 12:08:55 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-26 12:09:28 +0100 | chele | (~chele@user/chele) chele |
| 2026-02-26 12:15:05 +0100 | Enrico63 | (~Enrico63@host-79-43-182-7.retail.telecomitalia.it) Enrico63 |
| 2026-02-26 12:15:28 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 12:17:50 +0100 | xff0x | (~xff0x@2405:6580:b080:900:96a:d9bf:efaf:a826) |
| 2026-02-26 12:20:28 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 12:31:14 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 12:35:42 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 12:35:55 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-26 12:38:36 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-26 12:38:52 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) |
| 2026-02-26 12:39:47 +0100 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2026-02-26 12:42:13 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2026-02-26 12:44:08 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 12:46:38 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-26 12:48:47 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 265 seconds) |
| 2026-02-26 12:51:06 +0100 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2026-02-26 12:52:07 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 12:55:33 +0100 | housemate | (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-02-26 12:56:21 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 13:03:43 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 13:04:15 +0100 | Enrico63 | (~Enrico63@host-79-43-182-7.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-26 13:08:05 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 13:15:13 +0100 | lbseale | (~quassel@user/ep1ctetus) (Quit: No Ping reply in 180 seconds.) |
| 2026-02-26 13:16:59 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2026-02-26 13:18:26 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 13:21:29 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-26 13:21:59 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 13:26:33 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 255 seconds) |
| 2026-02-26 13:31:57 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-26 13:35:15 +0100 | realBeginner | (~realBegin@164.215.171.125) |
| 2026-02-26 13:37:14 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 13:38:51 +0100 | <realBeginner> | Hi, would anyone who knows Python, C, and Haskell be able to answer my question, please? I am an absolute beginner to programming. Which programming language would give me a better foundation and help me learn other things in the long run? |
| 2026-02-26 13:39:05 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 248 seconds) |
| 2026-02-26 13:40:08 +0100 | <darkling> | They will all teach you things. They will all teach you different things, in different ways. |
| 2026-02-26 13:40:12 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 13:42:15 +0100 | <darkling> | Python's probably the easiest of the three to understand. Haskell is the most elegant. C (or Rust) will probably give you a slightly better idea of what's going on down at the CPU level. |
| 2026-02-26 13:43:00 +0100 | <realBeginner> | If you were me, you would start with… ? I am very patient |
| 2026-02-26 13:43:25 +0100 | <darkling> | Personally, I'd suggest Python. Other opinions are available. :) |
| 2026-02-26 13:43:35 +0100 | <oskarw> | realBeginner: I started programming in python as it was introductory language on my university, and I think this is great start |
| 2026-02-26 13:44:20 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 13:44:55 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-26 13:45:08 +0100 | <merijn> | To be the dissent, I think it's a terrible start :p |
| 2026-02-26 13:45:09 +0100 | <oskarw> | realBeginner: You can also try scheme after learning python with SICP. SICP is great book about programming in general, and is uses scheme |
| 2026-02-26 13:45:15 +0100 | <darkling> | (My personal journey went something like: BASIC, Arm assembler, C, C++, Perl, Java, Python, Erlang, TypeScript, Rust. I've only really dabbled in Haskell.) |
| 2026-02-26 13:45:20 +0100 | <merijn> | And empirically, starting with Haskell and going to python is fairly easy :p |
| 2026-02-26 13:45:28 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-26 13:46:33 +0100 | <oskarw> | merijn: You have to wait until IO monad to print something on screen. Also, haskell only made sense for me when I learned about state monad, and this is a long way from the start |
| 2026-02-26 13:47:06 +0100 | <oskarw> | merijn: Which programming lanugage would you recommend for beginners? |
| 2026-02-26 13:47:15 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 13:48:26 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 13:50:07 +0100 | <realBeginner> | Which language has the most logical syntax and processes? I dislike inconsistency. |
| 2026-02-26 13:50:17 +0100 | <oskarw> | realBeginner: If you would be more interested in learning how computer works, I can recommend "Turing complete" game on steam https://store.steampowered.com/app/1444480/Turing_Complete/ |
| 2026-02-26 13:50:51 +0100 | <oskarw> | realBeginner: Could you explain what do you mean by inconsistency? |
| 2026-02-26 13:51:10 +0100 | <__monty__> | I'd say Haskell has the nicer syntax, entirely unbiased opinion, of course. |
| 2026-02-26 13:52:34 +0100 | oskarw | loves both haskell and lisp syntax, but he knows that liking lisp syntax on #haskell is tabu |
| 2026-02-26 13:52:49 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 13:52:49 +0100 | <oskarw> | *taboo |
| 2026-02-26 13:54:10 +0100 | philopsos1 | (~caecilius@user/philopsos) philopsos |
| 2026-02-26 13:54:11 +0100 | <realBeginner> | English isn’t my native language, and learning its grammar was a nightmare—for example, regular nouns versus irregular nouns when forming plurals.I guess this might apply to computer languages |
| 2026-02-26 13:54:49 +0100 | <geekosaur> | dunno about other people, but I find strings not being fully OO in python somewhat confusing and offputting. and its join method always seems backwards to me |
| 2026-02-26 13:55:04 +0100 | <darkling> | They're generally much smaller and hence have less room for variation, but there are definitely syntactic/structural warts in places. |
| 2026-02-26 13:55:36 +0100 | <oskarw> | geekosaur: I can agree that join method have stupid sytax in python |
| 2026-02-26 13:55:52 +0100 | <newmind> | geekosaur: that join feels backwards, i can agree on. treating a string like a primitive type (like an int) though, that makes sense to me |
| 2026-02-26 13:55:55 +0100 | <geekosaur> | english doesn't have grammar, it has loose guidelines that it breask on a whim ☺ |
| 2026-02-26 13:56:18 +0100 | <merijn> | oskarw: I mean, did you know a language before starting haskell? |
| 2026-02-26 13:56:37 +0100 | <merijn> | oskarw: My girlfriend learned haskell as her first language and didn't really struggle |
| 2026-02-26 13:56:55 +0100 | <ski> | oskarw : sexps are fine. there was even a Haskell in sexp syntax .. (Liskell) |
| 2026-02-26 13:57:05 +0100 | <oskarw> | Yes, I knew python, and a bit R and other languages for data science |
| 2026-02-26 13:57:17 +0100 | <merijn> | oskarw: That's a lot of baggage, though |
| 2026-02-26 13:57:17 +0100 | <oskarw> | But for general purpose programming, I only knew python |
| 2026-02-26 13:57:27 +0100 | <newmind> | merijn: i have the strong suspicion that haskell is actually harder (or at least: more frustrating) to learn if you're already proficient in imperative languages |
| 2026-02-26 13:57:33 +0100 | <merijn> | newmind: I agree |
| 2026-02-26 13:58:04 +0100 | <oskarw> | You can write functional code in python /s |
| 2026-02-26 13:58:08 +0100 | <newmind> | you tend to look for analogs and similarities that just don't quite work, and it's frustrating to get stuck on problems you already know should be easy to solve |
| 2026-02-26 13:58:17 +0100 | <darkling> | oskarw: That's where I came to functional programming from. :) |
| 2026-02-26 13:58:25 +0100 | divya | (divya@140.238.251.170) (Remote host closed the connection) |
| 2026-02-26 13:58:43 +0100 | <ski> | oskarw : it's possibly easier to learn Haskell, if you don't know another language yet |
| 2026-02-26 13:58:57 +0100 | <darkling> | I realised I was writing things in ever more functional style in my Python, and explicitly went looking for something to learn the details. I landed on Erlang. |
| 2026-02-26 13:59:02 +0100 | <newmind> | like: are typeclasses like java/c# interfaces? well.. a bit, yeah, but not quite |
| 2026-02-26 13:59:54 +0100 | <oskarw> | Outside of implementation of parsers in applicative, I didn't had problems with haskell, thought this was more about that I didn't know anything about parsers |
| 2026-02-26 14:00:21 +0100 | <newmind> | applicative was my real "hard to get my head around" barrier |
| 2026-02-26 14:00:23 +0100 | <oskarw> | Maybe because I had mathematical education I didn't have problems with haskell... |
| 2026-02-26 14:00:27 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-02-26 14:00:59 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 14:01:58 +0100 | <darkling> | Haskell is definitely mathematical catnip. |
| 2026-02-26 14:02:03 +0100 | <Leary> | realBeginner: Haskell is certainly the language most concerned with regularity. |
| 2026-02-26 14:03:04 +0100 | divya | (divya@140.238.251.170) divya |
| 2026-02-26 14:03:30 +0100 | <ski> | realBeginner : Lisps (like e.g. Scheme), and Prolog, have quite simple concrete syntax. Haskell is a bit more complicated, but, for the most part, i'd say, fairly regular, few corner cases/exceptions |
| 2026-02-26 14:03:34 +0100 | <oskarw> | newmind: I remember spend _a lot of time_ on applicative exercise from cis194 |
| 2026-02-26 14:04:34 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 14:04:43 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 14:05:01 +0100 | <oskarw> | realBeginner: Do you have like dream program you want to make? Maybe we can help you more in recommending your programming lanugage based on this answer |
| 2026-02-26 14:05:13 +0100 | <newmind> | i think it's the first time you encounter something that really has no sensible analog in procedural/oop programming |
| 2026-02-26 14:06:23 +0100 | <oskarw> | merijn: From which source did your girlfriend learned Haskell? |
| 2026-02-26 14:07:04 +0100 | <oskarw> | ski: I know you like sexps ;) |
| 2026-02-26 14:08:48 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 14:08:50 +0100 | <oskarw> | newmind: But together with parser it really throw me off. When I done some implementations for list for applicative and doing other exercises from typeclassopedia I didn't had that much of a problem |
| 2026-02-26 14:09:01 +0100 | <realBeginner> | I love learning how to think and enjoy making complex things easier to do. |
| 2026-02-26 14:09:45 +0100 | <oskarw> | realBeginner: If you want to broaden your way of thinking, than haskell certainly can do that |
| 2026-02-26 14:10:10 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 245 seconds) |
| 2026-02-26 14:10:25 +0100 | <oskarw> | Also, do you like math? |
| 2026-02-26 14:13:14 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2026-02-26 14:13:23 +0100 | <realBeginner> | I enjoy geometry |
| 2026-02-26 14:13:30 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-26 14:16:03 +0100 | <oskarw> | Actual geometry enjoyer |
| 2026-02-26 14:16:36 +0100 | <realBeginner> | The idea that there are infinitely many numbers between 0 and 1 is really amazing to me, I just enjoy thinking about these subjects. |
| 2026-02-26 14:17:06 +0100 | <oskarw> | Try out haskell, if you have any problems just ask here. Here is haskell study guide I can recommend https://github.com/soupi/haskell-study-plan |
| 2026-02-26 14:17:43 +0100 | <ski> | @where CIS194 |
| 2026-02-26 14:17:44 +0100 | <lambdabot> | <https://github.com/byorgey/haskell-course>,<https://www.seas.upenn.edu/~cis194/spring13/lectures.html> |
| 2026-02-26 14:18:00 +0100 | <ski> | a textbook might also be nice |
| 2026-02-26 14:19:56 +0100 | <realBeginner> | My distro is Arch‑based; is that okay, or should I choose another distro that supports Haskell? |
| 2026-02-26 14:20:33 +0100 | <geekosaur> | it's fine if you ignore their packages and use ghcup |
| 2026-02-26 14:20:57 +0100 | <geekosaur> | just remember that, on any distro, their language packages support their needs, not yours |
| 2026-02-26 14:21:40 +0100 | <geekosaur> | for something like C or C++ there's enough overlap not to be a problem, but there's a reason why other languages always tell you to use their installers and/or sandboxes |
| 2026-02-26 14:22:31 +0100 | realBeginner | (~realBegin@164.215.171.125) (Quit: Ping timeout (120 seconds)) |
| 2026-02-26 14:22:36 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 14:23:45 +0100 | <Clint> | it's not always a good reason ;P |
| 2026-02-26 14:23:47 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-26 14:23:47 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-26 14:23:47 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-26 14:30:27 +0100 | califax_ | (~califax@user/califx) califx |
| 2026-02-26 14:33:27 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-26 14:33:34 +0100 | realBeginner | (~realBegin@164.215.171.125) |
| 2026-02-26 14:34:20 +0100 | realBeginner | (~realBegin@164.215.171.125) (Client Quit) |
| 2026-02-26 14:34:20 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 14:34:20 +0100 | califax | (~califax@user/califx) (Ping timeout: 252 seconds) |
| 2026-02-26 14:34:21 +0100 | califax_ | califax |
| 2026-02-26 14:38:39 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-02-26 14:38:53 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-02-26 14:42:31 +0100 | Googulator12 | Googulator |
| 2026-02-26 14:46:09 +0100 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-26 14:48:30 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 14:50:47 +0100 | <haskellbridge> | <maerwald> the main reason is that distros rarely follow upstream development and are stuck with buggy and vulnerable GHC versions |
| 2026-02-26 14:51:05 +0100 | <haskellbridge> | <maerwald> Fedora is maybe an exception, because Jens is maintaining Haskell there |
| 2026-02-26 14:51:25 +0100 | <haskellbridge> | <maerwald> can't be bothered to contribute to 10 different linux distros |
| 2026-02-26 14:52:22 +0100 | <__monty__> | NixOS is another exception. |
| 2026-02-26 14:52:55 +0100 | <newmind> | nixos has easy-mode when it comes to dependency management for applications |
| 2026-02-26 14:53:00 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 265 seconds) |
| 2026-02-26 14:53:35 +0100 | <newmind> | has a lot of other complications, but making sure something works even if dependencies can conflict, that's what it's good at |
| 2026-02-26 14:54:58 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-26 14:56:48 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 14:58:11 +0100 | <merijn> | oskarw: Haskell Programming from First Principles |
| 2026-02-26 15:00:48 +0100 | trueBeginner | (~trueBegin@164.215.171.125) |
| 2026-02-26 15:00:49 +0100 | <oskarw> | merijn: Its good book |
| 2026-02-26 15:00:56 +0100 | <oskarw> | *It's |
| 2026-02-26 15:01:40 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 15:08:20 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 15:12:40 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 15:13:58 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 15:14:01 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-26 15:16:02 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 2026-02-26 15:20:33 +0100 | fp | (~Thunderbi@wireless-86-50-141-0.open.aalto.fi) (Ping timeout: 265 seconds) |
| 2026-02-26 15:21:37 +0100 | trueBeginner | (~trueBegin@164.215.171.125) (Quit: Client closed) |
| 2026-02-26 15:21:41 +0100 | tusko_ | (~uwu@user/tusko) tusko |
| 2026-02-26 15:22:00 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-02-26 15:22:53 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-26 15:26:35 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 15:33:36 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 256 seconds) |
| 2026-02-26 15:34:46 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 15:35:12 +0100 | wickedjargon | (~user@208.98.208.115) wickedjargon |
| 2026-02-26 15:35:30 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-26 15:38:55 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 15:40:37 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 15:44:56 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 256 seconds) |
| 2026-02-26 15:58:51 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 16:03:05 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 16:17:07 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 264 seconds) |
| 2026-02-26 16:19:01 +0100 | meejah | (~meejah@rutas.meejah.ca) (Ping timeout: 276 seconds) |
| 2026-02-26 16:19:23 +0100 | meejah | (~meejah@rutas.meejah.ca) meejah |
| 2026-02-26 16:22:06 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 16:23:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-26 16:24:05 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) |
| 2026-02-26 16:26:21 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 16:26:25 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 245 seconds) |
| 2026-02-26 16:30:19 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 16:31:59 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 245 seconds) |
| 2026-02-26 16:32:35 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 16:32:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 16:33:31 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-02-26 16:33:48 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 16:34:45 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 16:35:06 +0100 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
| 2026-02-26 16:35:31 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2026-02-26 16:36:03 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 16:36:04 +0100 | <chromoblob> | get on a channel about Haskell, get recommended Haskell. 🙄 |
| 2026-02-26 16:37:17 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 2026-02-26 16:37:47 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 16:38:53 +0100 | <int-e> | . o O ( write 1 in the chat if you agree that this is a completely objective and unbiased recommendation ) |
| 2026-02-26 16:42:32 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 16:45:35 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-26 16:46:59 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 16:48:56 +0100 | wickedjargon | (~user@208.98.208.115) (Remote host closed the connection) |
| 2026-02-26 16:54:54 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-26 16:55:23 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2026-02-26 16:56:06 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2026-02-26 16:56:17 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-26 16:56:35 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-02-26 16:58:50 +0100 | <chromoblob> | 0... |
| 2026-02-26 16:59:12 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-02-26 17:00:51 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 17:01:17 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 17:05:49 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 17:06:57 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-26 17:07:14 +0100 | <__monty__> | Was the drama about the co-author of HPFFP not being fairly remunerated ever resolved? |
| 2026-02-26 17:09:04 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 17:13:15 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 246 seconds) |
| 2026-02-26 17:13:18 +0100 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-26 17:15:25 +0100 | A_Dragon | gAy_Dragon |
| 2026-02-26 17:21:41 +0100 | tusko_ | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-02-26 17:22:38 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 17:26:50 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 17:26:53 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-02-26 17:30:13 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-26 17:36:25 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2026-02-26 17:43:02 +0100 | <merijn> | __monty__: Not afaik |
| 2026-02-26 17:45:45 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 17:47:07 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-26 17:47:55 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2026-02-26 17:51:18 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2026-02-26 17:52:49 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 17:54:32 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 17:58:55 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 18:09:45 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 245 seconds) |
| 2026-02-26 18:12:46 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 18:14:14 +0100 | <oskarw> | chromoblob: Tbh I don't know which language is better than haskell for "I love learning how to think and enjoy making complex things easier to do." |
| 2026-02-26 18:17:06 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 18:18:26 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 18:20:16 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-02-26 18:20:16 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-02-26 18:20:16 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-02-26 18:20:38 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 18:22:40 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 18:24:20 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 18:30:58 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 18:32:53 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 18:34:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-26 18:36:36 +0100 | <haskellbridge> | <sm> The APL family, forths, and maybe smalltalk, isn't it |
| 2026-02-26 18:36:51 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 18:37:35 +0100 | <haskellbridge> | <sm> oops, I was hoping that would show the replied-to: "Which languages are the most consistent..." |
| 2026-02-26 18:39:28 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 256 seconds) |
| 2026-02-26 18:40:25 +0100 | <darkling> | Forths are all over the place, because everyone implements their own. :) |
| 2026-02-26 18:43:05 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 18:44:50 +0100 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-02-26 18:46:09 +0100 | myme | (~myme@2a01:799:d5e:5f00:8616:d783:6707:c6c8) (Ping timeout: 245 seconds) |
| 2026-02-26 18:46:32 +0100 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) (Remote host closed the connection) |
| 2026-02-26 18:46:34 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) |
| 2026-02-26 18:46:40 +0100 | Arsen | (16abab341f@gentoo/developer/managarm.dev.Arsen) Arsen |
| 2026-02-26 18:47:21 +0100 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) myme |
| 2026-02-26 18:47:24 +0100 | Square3 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2026-02-26 18:47:52 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 18:50:12 +0100 | <oskarw> | scheme is also cool |
| 2026-02-26 18:52:18 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 19:01:04 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 19:01:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 19:05:35 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 19:06:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-26 19:08:06 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2026-02-26 19:08:52 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-26 19:09:00 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 2026-02-26 19:17:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 19:22:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-26 19:28:17 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-26 19:31:09 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-02-26 19:32:20 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 19:34:07 +0100 | tjbc | (~tjbc@user/fliife) (Quit: ZNC - https://znc.in) |
| 2026-02-26 19:34:34 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-26 19:35:13 +0100 | <fgarcia> | i wanted a language i could kind of do reverse polish notation in. then i found haskell with a lot of cooler stuff |
| 2026-02-26 19:36:14 +0100 | <fgarcia> | it's kind of funny to see people getting excited over languages getting new features and i am thinking that haskell did it before |
| 2026-02-26 19:37:30 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-26 19:39:14 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-02-26 19:39:37 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 265 seconds) |
| 2026-02-26 19:40:05 +0100 | <dolio> | That's been like the past 20 years at least. |
| 2026-02-26 19:40:34 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 19:40:43 +0100 | <dolio> | Combined with, 'most languages can't have those features because everyone's head would explode.' |
| 2026-02-26 19:45:06 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 19:48:40 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-26 19:49:23 +0100 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Ping timeout: 272 seconds) |
| 2026-02-26 19:51:02 +0100 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) dtman34 |
| 2026-02-26 19:53:03 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 19:53:38 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-02-26 19:57:55 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Quit: Later) |
| 2026-02-26 19:58:47 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 19:59:02 +0100 | dtman34 | (~dtman34@2601:447:d183:2302:b0c5:8965:1c3f:d560) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-26 19:59:13 +0100 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-02-26 20:02:31 +0100 | <ethan1> | fgarcia: forth also does rpn |
| 2026-02-26 20:02:34 +0100 | <ethan1> | if you're interested |
| 2026-02-26 20:02:42 +0100 | <ethan1> | oh it was already mentioned |
| 2026-02-26 20:02:44 +0100 | <ethan1> | nvm |
| 2026-02-26 20:03:05 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 20:03:24 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 20:03:50 +0100 | <newmind> | isn't forth basically RPN-the-programming-language? |
| 2026-02-26 20:04:12 +0100 | <ethan1> | well....kinda? |
| 2026-02-26 20:04:24 +0100 | <ethan1> | it's just how the math operators work |
| 2026-02-26 20:04:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:04:39 +0100 | <ethan1> | you don't have to do everything in RPN |
| 2026-02-26 20:06:46 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:07:23 +0100 | <ethan1> | nvm i thought RPN was exclusively tied to math for some reason |
| 2026-02-26 20:07:33 +0100 | <ethan1> | everything is postfix |
| 2026-02-26 20:09:00 +0100 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Quit: ein reboot macht gut) |
| 2026-02-26 20:09:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-26 20:09:51 +0100 | morj_away | (~morj@user/morj) morj |
| 2026-02-26 20:09:54 +0100 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2026-02-26 20:11:26 +0100 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
| 2026-02-26 20:16:36 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-26 20:17:06 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 20:19:32 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-02-26 20:19:42 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7955:9591:6018:7ef9) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-26 20:19:47 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-26 20:19:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:20:23 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-26 20:20:57 +0100 | <haskellbridge> | <ijouw> I made a curry that works for any Arrow; used it to define ($) = curryArrow ArrowApply.app; and noticed it is useless for Arrows that are not (->) |
| 2026-02-26 20:23:45 +0100 | <monochrom> | It should be useful for any ArrowApply then, aka Monad. |
| 2026-02-26 20:25:44 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:26:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 20:30:34 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 276 seconds) |
| 2026-02-26 20:35:21 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:37:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:40:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 20:42:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-26 20:43:51 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 20:45:56 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-26 20:47:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-26 20:47:27 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2026-02-26 20:47:43 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-26 20:48:05 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 20:48:35 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-26 20:49:05 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-26 20:53:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 20:54:05 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-26 20:54:17 +0100 | cipherrot | (~jez@user/petrichor) petrichor |
| 2026-02-26 20:54:45 +0100 | petrichor | (~jez@user/petrichor) (Ping timeout: 245 seconds) |
| 2026-02-26 20:56:20 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-26 20:58:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 21:00:59 +0100 | <jreicher> | "The idea that there are infinitely many numbers between 0 and 1 is really amazing to me". Just wait until they learn about dense vs compact. |
| 2026-02-26 21:02:07 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:02:18 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2026-02-26 21:05:21 +0100 | <EvanR> | alternatively imagine a number system where there are finite numbers between 0 and 1, like fixed point numbers |
| 2026-02-26 21:05:33 +0100 | <EvanR> | is this more or less mindblowing |
| 2026-02-26 21:05:46 +0100 | <EvanR> | some finite numbers are... really big |
| 2026-02-26 21:06:27 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 255 seconds) |
| 2026-02-26 21:06:33 +0100 | <EvanR> | sometimes jumping straight to infinity is much easier to comprehend |
| 2026-02-26 21:06:43 +0100 | ethan1 | (ethan@tilde.team) (WeeChat 4.7.1) |
| 2026-02-26 21:07:06 +0100 | <monochrom> | On odd-numbered days everything blows my mind. On even-numbered days everything looks unsurprising. |
| 2026-02-26 21:08:49 +0100 | <EvanR> | "curry that works for any Arrow" is screaming to me "actually, any cartesian category category" ? |
| 2026-02-26 21:09:00 +0100 | <EvanR> | which has some overlap with Arrow ? |
| 2026-02-26 21:09:28 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:09:43 +0100 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2026-02-26 21:09:51 +0100 | <mauke> | cartesian category category |
| 2026-02-26 21:10:01 +0100 | <EvanR> | blahhhhh |
| 2026-02-26 21:10:06 +0100 | <EvanR> | cartesian closed category |
| 2026-02-26 21:10:08 +0100 | <monochrom> | Every Arrow is also a Category so I think you're right on. |
| 2026-02-26 21:10:39 +0100 | <monochrom> | Oh heh my mind auto-corrected that typo. :) |
| 2026-02-26 21:11:22 +0100 | <mauke> | chaos computer category |
| 2026-02-26 21:12:28 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-02-26 21:14:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 21:14:46 +0100 | <jreicher> | EvanR: one of the most confounding results I ever heard is that logic is not complete with respect to all finite models. You only get completeness if you allow infinite models. (Roughly speaking) |
| 2026-02-26 21:15:28 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2026-02-26 21:15:29 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:15:34 +0100 | <EvanR> | I don't follow that precisely but knee jerk reaction is that's probably an eventually trivial consequence of whatever the definition of complete is xD |
| 2026-02-26 21:16:18 +0100 | <monochrom> | Yeah, I saw logic homework questions that showed some unprovable sentences that had only infinite counter-models. |
| 2026-02-26 21:16:21 +0100 | <jreicher> | https://en.wikipedia.org/wiki/Trakhtenbrot%27s_theorem |
| 2026-02-26 21:16:48 +0100 | <jreicher> | (I can never remember the name) |
| 2026-02-26 21:18:48 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 21:20:02 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 21:21:50 +0100 | <mauke> | that's like the English transliteration of the phonetic Russian spelling of the German words for <traditional costume> <bread> |
| 2026-02-26 21:22:16 +0100 | <monochrom> | haha |
| 2026-02-26 21:22:52 +0100 | <mauke> | Mandelbrot being "almond bread", of course |
| 2026-02-26 21:23:25 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:25:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:25:37 +0100 | <monochrom> | English b and v are associated with Greek beta and its Cyrillic equivalent. So you can have a transmutation from English b to Greek/Cyrillic beta to English v. This is known as beta reduction. >:) |
| 2026-02-26 21:25:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-26 21:25:56 +0100 | <monochrom> | (In a Physics channel I would be saying "beta decay" >:) >:) ) |
| 2026-02-26 21:27:49 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 245 seconds) |
| 2026-02-26 21:29:39 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:30:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 21:33:54 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 248 seconds) |
| 2026-02-26 21:36:33 +0100 | ChanServ | +o monochrom |
| 2026-02-26 21:37:38 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2026-02-26 21:41:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:41:07 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2026-02-26 21:41:56 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:45:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-26 21:46:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 21:47:20 +0100 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 21:47:20 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2026-02-26 21:47:24 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-26 21:47:38 +0100 | enikar | (~enikar@user/enikar) (*.net *.split) |
| 2026-02-26 21:47:41 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-02-26 21:47:58 +0100 | enikar | (~enikar@user/enikar) enikar |
| 2026-02-26 21:48:16 +0100 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 21:48:23 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-26 21:49:14 +0100 | tales | (~tales@149.167.1.176) (Ping timeout: 268 seconds) |
| 2026-02-26 21:50:15 +0100 | tales | (~tales@149.167.1.176) |
| 2026-02-26 21:51:21 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 2026-02-26 21:51:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-26 21:51:33 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | tusko | (~uwu@user/tusko) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | califax | (~califax@user/califx) (*.net *.split) |
| 2026-02-26 21:51:33 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (*.net *.split) |
| 2026-02-26 21:51:34 +0100 | gmg | (~user@user/gehmehgeh) (*.net *.split) |
| 2026-02-26 21:51:44 +0100 | Googulator | (~Googulato@2a01-036d-0106-0119-3163-e164-ab4d-fc66.pool6.digikabel.hu) (*.net *.split) |
| 2026-02-26 21:51:59 +0100 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-02-26 21:51:59 +0100 | ChanServ | (ChanServ@services.libera.chat) (shutting down) |
| 2026-02-26 21:52:22 +0100 | litharge | (litharge@libera/bot/litharge) (*.net *.split) |
| 2026-02-26 22:02:49 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-26 22:06:26 +0100 | housemate | (~housemate@202.7.248.67) (Ping timeout: 248 seconds) |
| 2026-02-26 22:09:21 +0100 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 246 seconds) |
| 2026-02-26 22:09:41 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2026-02-26 22:09:45 +0100 | ChanServ | (ChanServ@services.libera.chat) |
| 2026-02-26 22:09:45 +0100 | litharge | (litharge@libera/bot/litharge) litharge |
| 2026-02-26 22:09:45 +0100 | zirconium.libera.chat | +o ChanServ |
| 2026-02-26 22:13:18 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-26 22:13:18 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-26 22:13:40 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-26 22:16:35 +0100 | califax | (~califax@user/califx) califx |
| 2026-02-26 22:16:44 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-02-26 22:17:49 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) (Remote host closed the connection) |
| 2026-02-26 22:17:52 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-26 22:20:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-26 22:20:54 +0100 | monochrom | -o monochrom |
| 2026-02-26 22:22:01 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-02-26 22:23:17 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-26 22:23:46 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-02-26 22:25:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-26 22:25:29 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | glguy | (glguy@libera/staff/glguy) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | morj_away | (~morj@user/morj) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | target_i | (~target_i@user/target-i/x-6023099) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | shr\ke | (~shrike@user/shrke:31298) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | jackdk | (sid373013@cssa/life/jackdk) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | lol_ | (~lol@96.78.87.197) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | jcarpenter2 | (~lol@96.78.87.197) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | tremon | (~tremon@83.80.159.219) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | mud | (~mud@user/kadoban) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | oskarw | (~user@user/oskarw) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | j1n37- | (~j1n37@user/j1n37) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | inedia | (~irc@2600:3c00:e000:287::1) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | terrorjack | (~terrorjac@static.27.101.55.162.clients.your-server.de) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | lortabac | (~lortabac@mx1.fracta.dev) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | Wanderer | (~wanderer@user/wanderer) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | Moyst | (~moyst@user/moyst) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | carbolymer | (~carbolyme@delirium.systems) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | vulpine | (xfnw@user/meow/xfnw) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | j0lol | (~j0lol@132.145.17.236) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | probie | (cc0b34050a@user/probie) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | rselim | (ce261f06ff@user/milesrout) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2026-02-26 22:25:29 +0100 | aka_dude | (~aka_dude@192.71.166.120) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | Pozyomka | (~pyon@user/pyon) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | EvanR | (~EvanR@user/evanr) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:5b23:7d4e:8d70:47e1) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | berberman | (~berberman@user/berberman) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | systemfault | (sid267009@about/typescript/member/systemfault) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | natto17 | (~natto@129.154.243.159) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | foul_owl | (~kerry@94.156.149.91) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | jkoshy | (99b9359beb@user/jkoshy) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | ajrdck | (e0a4b72d53@user/ajrdck) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | zfnmxt | (~m-gkkevi@209.209.10.107) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | mstruebing | (~mstruebin@ns343649.ip-188-165-193.eu) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split) |
| 2026-02-26 22:26:12 +0100 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2026-02-26 22:26:14 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-02-26 22:26:14 +0100 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-26 22:26:14 +0100 | arthurvl | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) earthy |
| 2026-02-26 22:26:14 +0100 | morj_away | (~morj@user/morj) morj |
| 2026-02-26 22:26:14 +0100 | dtman34_ | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2026-02-26 22:26:14 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-26 22:26:14 +0100 | myme | (~myme@2a01:799:d5e:5f00:3864:a0fc:2539:2c1f) myme |
| 2026-02-26 22:26:14 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-02-26 22:26:14 +0100 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-02-26 22:26:14 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-26 22:26:14 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-26 22:26:14 +0100 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-26 22:26:14 +0100 | jackdk | (sid373013@cssa/life/jackdk) jackdk |
| 2026-02-26 22:26:14 +0100 | lol_ | (~lol@96.78.87.197) |
| 2026-02-26 22:26:14 +0100 | jcarpenter2 | (~lol@96.78.87.197) |
| 2026-02-26 22:26:14 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-26 22:26:14 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2026-02-26 22:26:14 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-26 22:26:14 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2026-02-26 22:26:14 +0100 | inedia | (~irc@2600:3c00:e000:287::1) dove |
| 2026-02-26 22:26:14 +0100 | terrorjack | (~terrorjac@static.27.101.55.162.clients.your-server.de) terrorjack |
| 2026-02-26 22:26:14 +0100 | lortabac | (~lortabac@mx1.fracta.dev) lortabac |
| 2026-02-26 22:26:14 +0100 | Wanderer | (~wanderer@user/wanderer) Wanderer |
| 2026-02-26 22:26:14 +0100 | Moyst | (~moyst@user/moyst) Moyst |
| 2026-02-26 22:26:14 +0100 | carbolymer | (~carbolyme@delirium.systems) carbolymer |
| 2026-02-26 22:26:14 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2026-02-26 22:26:14 +0100 | j0lol | (~j0lol@132.145.17.236) j0lol |
| 2026-02-26 22:26:14 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-02-26 22:26:14 +0100 | probie | (cc0b34050a@user/probie) probie |
| 2026-02-26 22:26:14 +0100 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2026-02-26 22:26:14 +0100 | rselim | (ce261f06ff@user/milesrout) milesrout |
| 2026-02-26 22:26:14 +0100 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
| 2026-02-26 22:26:14 +0100 | tritlo | (sid58727@id-58727.hampstead.irccloud.com) |
| 2026-02-26 22:26:14 +0100 | acidsys | (~crameleon@openSUSE/member/crameleon) crameleon |
| 2026-02-26 22:26:14 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) saolsen |
| 2026-02-26 22:26:14 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) gmc |
| 2026-02-26 22:26:14 +0100 | aka_dude | (~aka_dude@192.71.166.120) |
| 2026-02-26 22:26:19 +0100 | terrorjack | (~terrorjac@static.27.101.55.162.clients.your-server.de) (Max SendQ exceeded) |
| 2026-02-26 22:26:19 +0100 | vulpine | (xfnw@user/meow/xfnw) (Max SendQ exceeded) |
| 2026-02-26 22:26:29 +0100 | vulpine | (xfnw@user/meow/xfnw) xfnw |
| 2026-02-26 22:26:50 +0100 | morj_away | (~morj@user/morj) (Quit: Konversation terminated!) |
| 2026-02-26 22:27:05 +0100 | albet70 | (~xxx@172-233-90-118.ip.linodeusercontent.com) (*.net *.split) |
| 2026-02-26 22:27:05 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:f950:5f48:5c60:fcdc) (*.net *.split) |
| 2026-02-26 22:27:05 +0100 | hadronized | (~hadronize@2001:41d0:a:fe76::1) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | olivial | (~benjaminl@user/benjaminl) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | rawles | (sid630849@user/rawles) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | buhman | (sid411355@user/buhman) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | xdej | (~xdej@quatramaran.salle-s.org) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | danso | (~danso@user/danso) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | collide2954 | (~collide29@user/collide2954) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | ar3ph | (~ar3ph@user/ar3ph) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | janus | (janus@user/janus) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (*.net *.split) |
| 2026-02-26 22:27:06 +0100 | mzg | (mzg@abusers.hu) (*.net *.split) |
| 2026-02-26 22:27:08 +0100 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-02-26 22:27:35 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-02-26 22:27:35 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-26 22:27:35 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2026-02-26 22:27:35 +0100 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-02-26 22:27:35 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-02-26 22:27:35 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2026-02-26 22:27:35 +0100 | dunj3 | (~dunj3@2a01:239:328:1600::1) dunj3 |
| 2026-02-26 22:27:35 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-26 22:27:35 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:5b23:7d4e:8d70:47e1) |
| 2026-02-26 22:27:35 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2026-02-26 22:27:35 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2026-02-26 22:27:35 +0100 | Kamuela | (sid111576@id-111576.tinside.irccloud.com) Kamuela |
| 2026-02-26 22:27:35 +0100 | systemfault | (sid267009@about/typescript/member/systemfault) systemfault |
| 2026-02-26 22:27:35 +0100 | natto17 | (~natto@129.154.243.159) natto |
| 2026-02-26 22:27:35 +0100 | mauke | (~mauke@user/mauke) mauke |
| 2026-02-26 22:27:35 +0100 | foul_owl | (~kerry@94.156.149.91) foul_owl |
| 2026-02-26 22:27:35 +0100 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
| 2026-02-26 22:27:35 +0100 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) jgart |
| 2026-02-26 22:27:35 +0100 | jkoshy | (99b9359beb@user/jkoshy) jkoshy |
| 2026-02-26 22:27:35 +0100 | ajrdck | (e0a4b72d53@user/ajrdck) ajrdck |
| 2026-02-26 22:27:35 +0100 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
| 2026-02-26 22:27:35 +0100 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) pmk |
| 2026-02-26 22:27:35 +0100 | zfnmxt | (~m-gkkevi@209.209.10.107) |
| 2026-02-26 22:27:35 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2026-02-26 22:27:35 +0100 | mstruebing | (~mstruebin@ns343649.ip-188-165-193.eu) |
| 2026-02-26 22:27:35 +0100 | lally | (sid388228@id-388228.uxbridge.irccloud.com) lally |
| 2026-02-26 22:27:35 +0100 | bjs | (sid190364@user/bjs) bjs |
| 2026-02-26 22:28:04 +0100 | albet70 | (~xxx@172-233-90-118.ip.linodeusercontent.com) albet70 |
| 2026-02-26 22:28:04 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:f950:5f48:5c60:fcdc) nschoe |
| 2026-02-26 22:28:04 +0100 | hadronized | (~hadronize@2001:41d0:a:fe76::1) phaazon |
| 2026-02-26 22:28:04 +0100 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
| 2026-02-26 22:28:04 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-02-26 22:28:04 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-02-26 22:28:04 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2026-02-26 22:28:04 +0100 | natechan | (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) |
| 2026-02-26 22:28:04 +0100 | rawles | (sid630849@user/rawles) rawles |
| 2026-02-26 22:28:04 +0100 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2026-02-26 22:28:04 +0100 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2026-02-26 22:28:04 +0100 | buhman | (sid411355@user/buhman) buhman |
| 2026-02-26 22:28:04 +0100 | fernando-basso | (~fernando-@2a01:4f9:c012:63d3::1) fernando-basso |
| 2026-02-26 22:28:04 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2026-02-26 22:28:04 +0100 | remedan | (~remedan@78-80-95-79.customers.tmcz.cz) remedan |
| 2026-02-26 22:28:04 +0100 | danso | (~danso@user/danso) danso |
| 2026-02-26 22:28:04 +0100 | collide2954 | (~collide29@user/collide2954) collide2954 |
| 2026-02-26 22:28:04 +0100 | ar3ph | (~ar3ph@user/ar3ph) ar3ph |
| 2026-02-26 22:28:04 +0100 | janus | (janus@user/janus) janus |
| 2026-02-26 22:28:04 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2026-02-26 22:28:04 +0100 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2026-02-26 22:28:04 +0100 | mzg | (mzg@abusers.hu) |
| 2026-02-26 22:28:04 +0100 | zirconium.libera.chat | +v lambdabot |
| 2026-02-26 22:29:19 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) (Ping timeout: 268 seconds) |
| 2026-02-26 22:29:42 +0100 | Ging | (46fea76d80@2001:bc8:1210:2cd8::470) (Ping timeout: 268 seconds) |