| 2024-06-29 00:02:14 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-06-29 00:07:23 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-29 00:11:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-06-29 00:12:49 +0200 | pavonia | (~user@user/siracusa) |
| 2024-06-29 00:14:15 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 255 seconds) |
| 2024-06-29 00:22:03 +0200 | mikess | (~mikess@user/mikess) |
| 2024-06-29 00:25:47 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-06-29 00:30:47 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-06-29 00:31:37 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 268 seconds) |
| 2024-06-29 00:48:09 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-06-29 00:48:37 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8ec3:58dc:1906:fdfb) |
| 2024-06-29 00:54:59 +0200 | zzz | (~yin@user/zero) |
| 2024-06-29 00:56:17 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc15096bb9c652d485a4.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-06-29 01:09:43 +0200 | mikess | (~mikess@user/mikess) |
| 2024-06-29 01:16:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-06-29 01:21:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-06-29 01:24:13 +0200 | <monochrom> | Oh noes, it's tau day! I forgot. |
| 2024-06-29 01:24:34 +0200 | <monochrom> | But I ate a cookie, so that's fine. :) |
| 2024-06-29 01:25:20 +0200 | <monochrom> | wine glass is also circular so that's also fine :) |
| 2024-06-29 01:26:23 +0200 | geekosaur | sends monochrom an egg yolk and a lentil |
| 2024-06-29 01:40:17 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 256 seconds) |
| 2024-06-29 01:42:53 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-06-29 02:00:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-06-29 02:02:49 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2024-06-29 02:40:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-06-29 02:51:14 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-06-29 02:58:09 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 2024-06-29 02:58:09 +0200 | ChanServ | +v haskellbridge |
| 2024-06-29 03:07:16 +0200 | DreamDeckup | (~DreamDeck@184.145.181.233) (Ping timeout: 246 seconds) |
| 2024-06-29 03:07:34 +0200 | DreamDeckup | (~DreamDeck@194.127.199.91) |
| 2024-06-29 03:16:22 +0200 | <glguy> | andrea_r: seems like you're using alloca incorrectly |
| 2024-06-29 03:17:56 +0200 | <glguy> | You shouldn't be peeking it before poking it, and the pointer isn't valid that it passes to the continuation once the continuation returns |
| 2024-06-29 03:19:45 +0200 | <glguy> | You need malloc instead of alloca |
| 2024-06-29 03:20:17 +0200 | <glguy> | Specifically you can use: new :: Storable a => a -> IO (Ptr a) |
| 2024-06-29 03:31:16 +0200 | danza | (~francesco@151.46.223.232) |
| 2024-06-29 03:32:15 +0200 | phma | (phma@2001:5b0:211c:3a08:71e1:2206:9a0a:f676) (Read error: Connection reset by peer) |
| 2024-06-29 03:32:40 +0200 | phma | (phma@2001:5b0:211c:3a08:71e1:2206:9a0a:f676) |
| 2024-06-29 03:41:23 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-06-29 03:44:00 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-06-29 03:53:03 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-29 03:54:41 +0200 | nitrix | (~nitrix@user/meow/nitrix) |
| 2024-06-29 03:56:50 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-29 04:00:35 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-06-29 04:01:27 +0200 | danza_ | (~francesco@151.44.142.105) |
| 2024-06-29 04:01:39 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-06-29 04:02:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-06-29 04:03:03 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-06-29 04:03:58 +0200 | danza | (~francesco@151.46.223.232) (Ping timeout: 246 seconds) |
| 2024-06-29 04:04:22 +0200 | petrichor | (~znc-user@user/petrichor) |
| 2024-06-29 04:46:05 +0200 | td_ | (~td@i53870939.versanet.de) (Ping timeout: 240 seconds) |
| 2024-06-29 04:48:07 +0200 | td_ | (~td@i5387091C.versanet.de) |
| 2024-06-29 05:02:03 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-29 05:08:26 +0200 | zzz | (~yin@user/zero) |
| 2024-06-29 05:16:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-06-29 05:17:18 +0200 | euleritian | (~euleritia@dynamic-176-007-199-084.176.7.pool.telefonica.de) |
| 2024-06-29 05:17:44 +0200 | <glguy> | andrea_r: even fixing those mistakes I still get the crash on 9.8 but not 9.10 |
| 2024-06-29 05:18:52 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-06-29 05:26:02 +0200 | zzz | (~yin@user/zero) |
| 2024-06-29 05:32:45 +0200 | abrantesasf | (~abrantesa@179.217.48.72) |
| 2024-06-29 05:37:33 +0200 | DreamDeckup | (~DreamDeck@194.127.199.91) (Read error: Connection reset by peer) |
| 2024-06-29 05:43:37 +0200 | aaronv | (~aaronv@user/aaronv) |
| 2024-06-29 05:50:08 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-06-29 05:50:53 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-06-29 06:01:30 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) (Quit: ) |
| 2024-06-29 06:02:09 +0200 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2024-06-29 06:02:39 +0200 | zzz | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-06-29 06:03:48 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-06-29 06:05:03 +0200 | abrantesasf | (~abrantesa@179.217.48.72) (Remote host closed the connection) |
| 2024-06-29 06:08:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:8ec3:58dc:1906:fdfb) (Quit: Leaving) |
| 2024-06-29 06:09:02 +0200 | zzz | (~yin@user/zero) |
| 2024-06-29 06:16:20 +0200 | euleritian | (~euleritia@dynamic-176-007-199-084.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-06-29 06:23:25 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) |
| 2024-06-29 06:28:57 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) |
| 2024-06-29 06:30:56 +0200 | euleritian | (~euleritia@dynamic-176-004-188-141.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-06-29 06:31:14 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-06-29 06:32:11 +0200 | zzz | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-06-29 06:36:16 +0200 | Goodbye_Vincent | (cyvahl@freakshells.net) |
| 2024-06-29 06:37:44 +0200 | <cheater> | how would you encode: function f takes a type a and returns another value of type a that is larger than the parameter (larger meaning that all the values held inside the parameter are also held in the return value) |
| 2024-06-29 06:38:06 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-05-70-51-80-57.dsl.bell.ca) (Ping timeout: 255 seconds) |
| 2024-06-29 06:38:51 +0200 | zzz | (~yin@user/zero) |
| 2024-06-29 06:46:29 +0200 | <c_wraith> | It's either trivial due to parametricity, or an ad-hoc mess that can be anything. |
| 2024-06-29 06:48:24 +0200 | danza_ | (~francesco@151.44.142.105) (Ping timeout: 268 seconds) |