2025/05/02

Newest at the top

2025-05-02 12:37:51 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-02 12:37:13 +0200poscat(~poscat@user/poscat) (Ping timeout: 244 seconds)
2025-05-02 12:36:46 +0200poscat0x04(~poscat@user/poscat) poscat
2025-05-02 12:35:06 +0200alecs(~alecs@61.pool85-58-154.dynamic.orange.es) alecs
2025-05-02 12:32:22 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 252 seconds)
2025-05-02 12:29:33 +0200malte(~malte@mal.tc) malte
2025-05-02 12:16:33 +0200malte(~malte@mal.tc) (Ping timeout: 244 seconds)
2025-05-02 12:15:52 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-02 12:15:28 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-05-02 12:15:03 +0200zmt00(~zmt00@user/zmt00) (Remote host closed the connection)
2025-05-02 12:14:59 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-02 12:14:44 +0200zmt00(~zmt00@user/zmt00) zmt00
2025-05-02 12:09:19 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 244 seconds)
2025-05-02 12:09:08 +0200 <haskellbridge> <hellwolf> again
2025-05-02 12:09:08 +0200 <haskellbridge> <hellwolf> Thanks haskellbridge, leaking my location.
2025-05-02 12:03:15 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e)
2025-05-02 12:00:56 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-05-02 12:00:38 +0200euleritian(~euleritia@ip4d17f82f.dynamic.kabel-deutschland.de)
2025-05-02 12:00:36 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-05-02 12:00:21 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 12:00:08 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2025-05-02 11:59:59 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de)
2025-05-02 11:59:51 +0200euleritian(~euleritia@77.23.248.47) (Read error: Connection reset by peer)
2025-05-02 11:59:27 +0200 <lambdabot> No quotes match. And you call yourself a Rocket Scientist!
2025-05-02 11:59:27 +0200 <hellwolf> @quote SovietT
2025-05-02 11:58:32 +0200 <lambdabot> Jafet says: In Soviet Russia, State executes you
2025-05-02 11:58:32 +0200 <hellwolf> @quote cute
2025-05-02 11:55:55 +0200hellwolffeeling every day I am just discovering new programs; I have not created much new things.
2025-05-02 11:55:18 +0200 <merijn> That one :)
2025-05-02 11:55:14 +0200 <lambdabot> just don't know what it means.
2025-05-02 11:55:14 +0200 <lambdabot> autrijus says: * autrijus stares at type Eval x = forall r. ContT r (ReaderT x IO) (ReaderT x IO x) and feels very lost <shapr> Didn't you write that code? <autrijus> yeah. and it works <autrijus> I
2025-05-02 11:55:13 +0200 <merijn> @quote stares.at
2025-05-02 11:55:07 +0200 <merijn> wrong quote
2025-05-02 11:55:05 +0200 <merijn> aww
2025-05-02 11:55:02 +0200 <lambdabot> dobblego says: <dobblego> Cale, didn't you write one? :) <Cale> dobblego: two actually, and a half.
2025-05-02 11:55:02 +0200 <merijn> @quote didn't.you.write
2025-05-02 11:52:43 +0200 <hellwolf> Cont is both easy and hard to understand at the same time. I remember geek o saur said something about that too
2025-05-02 11:51:58 +0200hellwolfjust realized that I need Cont, after getting cute and trying to come up some clever jigsaw mechanism.
2025-05-02 11:51:54 +0200euleritian(~euleritia@77.23.248.47)
2025-05-02 11:51:36 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 11:51:15 +0200xff0x(~xff0x@2405:6580:b080:900:7099:7f52:1441:1e43)
2025-05-02 11:50:32 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-02 11:48:01 +0200xff0x(~xff0x@2405:6580:b080:900:eadd:b346:77f9:cfbc) (Quit: xff0x)
2025-05-02 11:47:25 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de)
2025-05-02 11:46:57 +0200euleritian(~euleritia@dynamic-176-006-138-168.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2025-05-02 11:46:45 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2025-05-02 11:37:02 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-05-02 11:36:19 +0200tromp(~textual@2001:1c00:3487:1b00:31c9:5f27:18bf:4d4e)
2025-05-02 11:33:15 +0200nadja(~dequbed@banana-new.kilobyte22.de) (Ping timeout: 265 seconds)
2025-05-02 11:29:24 +0200xff0x(~xff0x@2405:6580:b080:900:eadd:b346:77f9:cfbc)