Newest at the top
| 2025-04-23 21:23:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-23 21:23:16 +0200 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-04-23 21:23:15 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f35189c4bef71fa2fe9.dip0.t-ipconnect.de) acidjnk |
| 2025-04-23 21:23:07 +0200 | __jmcantrell__ | jmcantrell |
| 2025-04-23 21:23:07 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (tantalum.libera.chat (Nickname regained by services))) |
| 2025-04-23 21:19:53 +0200 | jespada | (~jespada@r190-133-24-204.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-04-23 21:19:21 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-23 21:16:29 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 260 seconds) |
| 2025-04-23 21:16:13 +0200 | ljdarj1 | ljdarj |
| 2025-04-23 21:16:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-23 21:15:53 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 21:15:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-23 21:15:17 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-04-23 21:14:45 +0200 | Guest49 | (~Guest49@astrolabe.plus.com) (Quit: Client closed) |
| 2025-04-23 21:14:29 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) |
| 2025-04-23 21:14:26 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-04-23 21:14:12 +0200 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-23 21:13:51 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-23 21:12:43 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-23 21:12:31 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 21:12:29 +0200 | euleritian | (~euleritia@77.23.248.47) (Remote host closed the connection) |
| 2025-04-23 21:06:23 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-23 21:05:51 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) |
| 2025-04-23 21:05:20 +0200 | Googulator8 | (~Googulato@2a01-036d-0106-093f-283a-6048-db9e-64d7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-23 21:00:44 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-23 21:00:02 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-23 20:59:35 +0200 | <tomsmeding> | if I were as good as augustss at jamming out haskell compilers, I'd have done the same |
| 2025-04-23 20:59:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-23 20:58:56 +0200 | <tomsmeding> | if you want a production-ready haskell compiler that is configurable and checks your work, there's a very good one called GHC :p |
| 2025-04-23 20:58:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-23 20:58:34 +0200 | <monochrom> | OK OK, just joking, dynamic typing does not mean unsafeCoerce. |
| 2025-04-23 20:58:23 +0200 | <tomsmeding> | I mean, isn't that reasonable given the intent of MicroHs? |
| 2025-04-23 20:56:02 +0200 | <monochrom> | That's available as unsafeCoerce. >:) |
| 2025-04-23 20:51:13 +0200 | <mauke> | also, writing a static type checker is hard. can't we just add dynamic typing to haskell? |
| 2025-04-23 20:48:07 +0200 | <monochrom> | Hahahaha "Incoherent instances is on because it’s too tedious to check for the condition. I’m lazy." and "And the extensions are always on because it adds a lot of complexity to have them optional." from augustss on the Discourse about MicroHs. |
| 2025-04-23 20:45:33 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2025-04-23 20:44:08 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-04-23 20:41:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-23 20:38:47 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:c9c8:e2be:ff6d:9e09) |
| 2025-04-23 20:35:03 +0200 | euleritian | (~euleritia@77.23.248.47) |
| 2025-04-23 20:34:51 +0200 | euleritian | (~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-04-23 20:34:51 +0200 | <haskellbridge> | <Liamzee> Mercury also went to Gold |
| 2025-04-23 20:34:41 +0200 | <haskellbridge> | <Liamzee> on the q1 2025, like, it seems as though people dropped out? |
| 2025-04-23 20:34:33 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2025-04-23 20:34:20 +0200 | <haskellbridge> | <Liamzee> the sponsorship is weird |
| 2025-04-23 20:34:12 +0200 | <monochrom> | Equality-Iso-Lens from lens |
| 2025-04-23 20:33:35 +0200 | <tomsmeding> | monochrom: at the bottom of https://haskell.foundation/donations/ , the lists of sponsors are indeed called "monads", "applicatives" and "functors" |
| 2025-04-23 20:32:48 +0200 | <monochrom> | hahaha |
| 2025-04-23 20:32:40 +0200 | <int-e> | monochrom: at a billion dollars you might cause macroeconomic side effects |
| 2025-04-23 20:32:22 +0200 | <tomsmeding> | mauke: Enum |