Newest at the top
2025-06-24 01:07:09 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-24 01:05:00 +0200 | <lambdabot> | <http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/>,<http://math.andrej.com/2008/11/21/a-haskell-monad-for-infinite-search-in-finite-time/> |
2025-06-24 01:04:59 +0200 | <ski> | @where impossible |
2025-06-24 01:04:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-24 01:04:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-24 01:02:55 +0200 | <haskellbridge> | <magic_rb> Im so confuswd |
2025-06-24 01:02:52 +0200 | <haskellbridge> | <magic_rb> What am i even looking at |
2025-06-24 01:01:31 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-06-24 00:53:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-24 00:52:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-24 00:48:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-24 00:37:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-24 00:32:04 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
2025-06-24 00:30:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-24 00:27:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-06-24 00:26:36 +0200 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
2025-06-24 00:26:36 +0200 | <ski> | @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> (b -> s) -> b |
2025-06-24 00:25:14 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-06-24 00:23:18 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-24 00:21:25 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-24 00:19:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-24 00:18:50 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
2025-06-24 00:18:03 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-24 00:17:12 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-24 00:14:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-24 00:13:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-24 00:06:37 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org)) |
2025-06-24 00:03:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-24 00:02:53 +0200 | ThePenguin0 | (~ThePengui@cust-95-80-31-242.csbnet.se) ThePenguin |
2025-06-24 00:02:49 +0200 | ThePenguin | (~ThePengui@cust-95-80-31-242.csbnet.se) (Read error: Connection reset by peer) |
2025-06-23 23:59:27 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
2025-06-23 23:58:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-23 23:58:41 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
2025-06-23 23:55:18 +0200 | <haskellbridge> | <magic_rb> tomsmeding my irc bridge is down, if youve got nothing better to do you can come to my thesis presentation on thursday :P |
2025-06-23 23:54:30 +0200 | sprotte24 | (~sprotte24@p200300d16f147e00e80e584d50a84a27.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-06-23 23:49:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-06-23 23:49:13 +0200 | <monochrom> | ((a -> r) -> r) -> (a -> (b -> r) -> r) -> (b -> r) -> r |
2025-06-23 23:48:46 +0200 | <monochrom> | Right, you have to expand Cont r a to (a -> r) -> r throughout |
2025-06-23 23:48:15 +0200 | <haskellbridge> | <magic_rb> I just didnt want to put complete bollocks on the slide |
2025-06-23 23:48:01 +0200 | <haskellbridge> | <magic_rb> This is meant for people that dont speak haskell :P |
2025-06-23 23:47:49 +0200 | <haskellbridge> | <magic_rb> Well, it doesnt _look_ scary |
2025-06-23 23:47:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-23 23:47:41 +0200 | <haskellbridge> | <magic_rb> Oh |
2025-06-23 23:47:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-06-23 23:46:54 +0200 | <monochrom> | You asked for practical scary types. |
2025-06-23 23:46:17 +0200 | <haskellbridge> | <magic_rb> monochrom im not following :( |
2025-06-23 23:43:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-23 23:43:00 +0200 | <monochrom> | magic_rb: (Belated) I once expanded "Cont r a -> (a -> Cont r b) -> Cont r b" to "understand" it. :) |
2025-06-23 23:41:34 +0200 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
2025-06-23 23:41:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |