Newest at the top
| 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) |
| 2026-01-18 19:54:27 +0100 | trickard_ | trickard |
| 2026-01-18 19:54:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-18 19:53:15 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2026-01-18 19:50:30 +0100 | <haskellbridge> | <thirdofmay18081814goya> neat, ty both for references! and wow MicroHS really is small |
| 2026-01-18 19:49:55 +0100 | michalz | (~michalz@185.246.207.221) (Ping timeout: 240 seconds) |
| 2026-01-18 19:47:42 +0100 | michalz_ | (~michalz@185.246.207.221) |
| 2026-01-18 19:46:17 +0100 | <geekosaur> | (in development) |
| 2026-01-18 19:46:05 +0100 | <geekosaur> | https://github.com/Superstar64/Hazy |
| 2026-01-18 19:41:07 +0100 | acidjnk | (~acidjnk@p200300d6e717195811a2eb9a91fd28d7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2026-01-18 19:35:39 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-01-18 19:35:25 +0100 | <monochrom> | If you just look for type checking, there is Typing Haskell in Haskell. If you also need execution or code generation, I bet MicroHS is the best starting point, simply because it is written from scratch most recently therefore maximum benefit of hindsight. |
| 2026-01-18 19:34:34 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |