Newest at the top
| 2026-01-18 22:16:41 +0100 | michalz_ | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2026-01-18 22:09:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-18 22:08:49 +0100 | <thenightmail> | alright I'm finding lots of books now, never mind https://wiki.haskell.org/index.php?title=Books |
| 2026-01-18 22:07:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-18 22:05:36 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-01-18 22:01:55 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 22:01:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 22:01:41 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:50:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-18 21:46:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:41:28 +0100 | <thenightmail> | there is the book Discrete Mathematics Using a Computer which might be what I'm looking for. hmm |
| 2026-01-18 21:40:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2026-01-18 21:38:45 +0100 | <thenightmail> | specifically with physics I found the learn-physics library which I think goes along with the book Learn Physics with Functional Programming, guess I'm looking for something of the sorts for discrete mathematics, but it is probably just built into the language from what I've seen |
| 2026-01-18 21:37:20 +0100 | <thenightmail> | so I'm taking physics 2 and discrete math this semester. I plan on using haskell for checking work / implementing some stuff. Is there any obvious libraries I ought to know of or is this stuff built into the language? I'll get the syllabus in a couple of days to know for sure what I need, but it seems like these entire courses are trivialized by using haskell. |
| 2026-01-18 21:35:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-18 21:35:06 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-18 21:30:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:27:00 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:26:47 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-18 21:25:59 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-01-18 21:25:45 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-01-18 21:23:55 +0100 | Milan_Vanca | (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.7.2) |
| 2026-01-18 21:18:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 21:18:13 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2026-01-18 21:13:58 +0100 | trickard_ | (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-18 21:13:15 +0100 | trickard | (~trickard@cpe-82-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-18 21:12:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 21:04:24 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-18 21:01:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:56:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:51:16 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-01-18 20:45:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:41:23 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2026-01-18 20:41:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:39:49 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-01-18 20:38:35 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-01-18 20:31:14 +0100 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) acidjnk |
| 2026-01-18 20:29:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:25:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 20:24:30 +0100 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-01-18 20:24:22 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-18 20:23:39 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-18 20:22:31 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 2026-01-18 20:18:18 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-01-18 20:14:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-18 20:13:14 +0100 | DetourNe- | DetourNetworkUK |
| 2026-01-18 20:11:16 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-18 20:10:57 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-01-18 20:09:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:59:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |