Newest at the top
| 2025-06-23 11:15:59 +0200 | hsw | (~hsw@106.104.103.23) hsw |
| 2025-06-23 11:15:49 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-23 11:15:40 +0200 | hsw | (~hsw@106.104.103.23) (Remote host closed the connection) |
| 2025-06-23 11:15:05 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-23 11:12:04 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 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 |
