2025/06/08

Newest at the top

2025-06-08 09:00:00 +0200caconym7(~caconym@user/caconym) (Quit: bye)
2025-06-08 08:57:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:57:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:54:02 +0200 <yabobay> hold on, nevermind. i thought foldr started at the end. oops.
2025-06-08 08:52:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:52:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:51:54 +0200 <yabobay> i'm reading 'learn you a haskell', and it demonstrates foldr by showing you this map implementation: `map' f xs = foldr (\x acc -> f x : acc) [] xs`. doesn't this fail at being lazy? if you wanna `take 3` off of a list like this for example
2025-06-08 08:50:55 +0200yabobay(~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) yabobay
2025-06-08 08:47:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:47:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-08 08:43:31 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 252 seconds)
2025-06-08 08:41:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:41:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:37:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:36:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:35:58 +0200euphores(~SASL_euph@user/euphores) euphores
2025-06-08 08:32:32 +0200arahael(~arahael@user/arahael) (Ping timeout: 252 seconds)
2025-06-08 08:30:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:30:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:25:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:25:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:20:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:20:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:14:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:14:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:09:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 08:07:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:07:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:06:45 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 276 seconds)
2025-06-08 08:05:38 +0200gabiruh_(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-06-08 08:02:47 +0200tavare(~tavare@user/tavare) tavare
2025-06-08 08:02:47 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-06-08 08:02:47 +0200tavare(~tavare@150.129.88.189)
2025-06-08 08:01:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 08:01:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 08:00:34 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-06-08 07:58:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:58:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-08 07:58:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:53:36 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:53:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 07:53:12 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:49:27 +0200Guest65(~Guest65@2400:4050:c763:c200:98e:a5c3:f619:ae04) (Ping timeout: 272 seconds)
2025-06-08 07:47:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:47:30 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-06-08 07:47:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:42:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 07:41:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 07:41:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 07:37:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn