Newest at the top
| 2025-06-23 11:07:24 +0200 | manwithluck | (~manwithlu@194.177.28.145) manwithluck |
| 2025-06-23 11:06:39 +0200 | manwithluck | (~manwithlu@194.177.28.145) (Ping timeout: 245 seconds) |
| 2025-06-23 11:06:16 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-23 11:05:59 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-23 11:05:39 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 276 seconds) |
| 2025-06-23 11:05:14 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-06-23 11:01:54 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:1a90:299a:1ff:5c3d) ubert |
| 2025-06-23 11:01:18 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 10:56:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 10:55:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-23 10:55:45 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-23 10:55:31 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 10:55:29 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-06-23 10:55:27 +0200 | chele | (~chele@user/chele) chele |
| 2025-06-23 10:54:09 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-23 10:53:15 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 10:51:58 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-23 10:49:32 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-06-23 10:48:51 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-06-23 10:47:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-23 10:45:31 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2025-06-23 10:45:16 +0200 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-23 10:39:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 10:38:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 10:31:55 +0200 | piele | (~piele@eiseth.creativeserver.net) |
| 2025-06-23 10:31:07 +0200 | tromp | (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) (Ping timeout: 276 seconds) |
| 2025-06-23 10:30:19 +0200 | piele | (~piele@eiseth.creativeserver.net) (Ping timeout: 252 seconds) |
| 2025-06-23 10:30:06 +0200 | dhil | (~dhil@5.151.29.140) dhil |
| 2025-06-23 10:26:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 10:26:25 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2025-06-23 10:26:09 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-23 10:25:26 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-06-23 10:06:52 +0200 | <tomsmeding> | it is |
| 2025-06-23 10:06:28 +0200 | <dutchie> | f -> String is a bit boring after all the constraints though |
| 2025-06-23 10:01:58 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-06-23 10:01:40 +0200 | hsw | (~hsw@106.104.103.23) (Remote host closed the connection) |
| 2025-06-23 09:57:36 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-06-23 09:56:00 +0200 | <tomsmeding> | oh if just long constraint lists already count then https://github.com/ivogabe/accelerate/blob/new-pipeline/src/Data/Array/Accelerate/Trafo.hs#L90 |
| 2025-06-23 09:53:42 +0200 | <dutchie> | if you don't mind an instance declaration rather than a function |
| 2025-06-23 09:53:31 +0200 | <dutchie> | https://hackage.haskell.org/package/servant-0.20.2/docs/src/Servant.Links.html#line-459 |
| 2025-06-23 09:52:39 +0200 | <tomsmeding> | magic_rb: apparently this has been in accelerate at some point https://tomsmeding.com/vang/pPEUWn/Untitled.png |
| 2025-06-23 09:50:33 +0200 | <tomsmeding> | *now |
| 2025-06-23 09:50:31 +0200 | <tomsmeding> | I was convinced accelerate had some scary types but can't find any noe |
| 2025-06-23 09:50:08 +0200 | <haskellbridge> | <magic_rb> And thanks tom :) |
| 2025-06-23 09:50:04 +0200 | <haskellbridge> | <magic_rb> Type error? Sure if it looks scary :P |
| 2025-06-23 09:43:59 +0200 | <tomsmeding> | magic_rb: https://git.tomsmeding.com/chad-fast/tree/src/Simplify.hs#n461 |
| 2025-06-23 09:41:28 +0200 | <yin> | magic_rb: would a type error do the trick? |
| 2025-06-23 09:38:12 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-23 09:36:35 +0200 | <haskellbridge> | <magic_rb> Im making a presentation for my thesis and i want to include something scary at the end, whats the most complex practical type signature you can think of? Lenses are complex but also done to hell, so something new perhaps |
| 2025-06-23 09:32:36 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
