Newest at the top
| 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 |
| 2025-06-23 09:26:50 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-06-23 09:24:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-23 09:24:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-23 09:23:57 +0200 | acidjnk | (~acidjnk@p200300d6e70b661750c15e2a18f5d35c.dip0.t-ipconnect.de) acidjnk |
| 2025-06-23 09:21:55 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: Leaving) |
| 2025-06-23 09:21:20 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-23 09:21:20 +0200 | soverysour | (~soverysou@84.232.150.229) (Changing host) |
| 2025-06-23 09:21:20 +0200 | soverysour | (~soverysou@84.232.150.229) |
| 2025-06-23 09:18:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-23 09:11:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:3d67:6270:e25f:3cc5) |
| 2025-06-23 09:06:41 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-23 09:05:51 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 09:04:59 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-06-23 09:03:27 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-06-23 09:02:53 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-23 09:02:52 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 265 seconds) |
| 2025-06-23 09:02:32 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-23 09:01:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-06-23 09:01:02 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
| 2025-06-23 09:00:50 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-23 09:00:16 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-23 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-23 08:58:29 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
| 2025-06-23 08:57:13 +0200 | kenran | (~void@user/kenran) kenran |
| 2025-06-23 08:54:35 +0200 | trickard_ | trickard |
| 2025-06-23 08:52:41 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-23 08:51:53 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-23 08:49:58 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-23 08:48:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-23 08:47:17 +0200 | ft | (~ft@p3e9bcab0.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-06-23 08:47:09 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-23 08:45:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-06-23 08:41:39 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) flukiluke |
| 2025-06-23 08:41:20 +0200 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection) |
| 2025-06-23 08:39:10 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2025-06-23 08:35:33 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
| 2025-06-23 08:33:41 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Remote host closed the connection) |
