Logs: liberachat/#haskell
| 2026-01-23 01:46:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 01:50:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-23 01:54:36 | → | Inline joins (~User@2001-4dd7-bc56-0-bf4e-84aa-8c9c-590c.ipv6dyn.netcologne.de) |
| 2026-01-23 02:01:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 02:08:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-23 02:10:07 | <Leary> | chromoblob: Write all your co/inductive co/data types in greatest/least-fixed-point form, and all your logic in folds. It's not even as bad as it sounds! |
| 2026-01-23 02:11:43 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-01-23 02:13:51 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-23 02:19:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 02:24:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 02:33:01 | <jackdk> | Reminds me of Dhall |
| 2026-01-23 02:35:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 02:40:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-23 02:41:30 | → | terrorjack joins (~terrorjac@2a01:4f8:c17:9d11::) |
| 2026-01-23 02:41:32 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-23 02:43:36 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-23 02:47:59 | <Leary> | It should; Haskell sans recursion ~ System F ~ Dhall. |
| 2026-01-23 02:51:54 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-23 02:52:25 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-23 02:53:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 02:53:09 | trickard_ | is now known as trickard |
| 2026-01-23 02:55:29 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-01-23 02:57:25 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-01-23 02:57:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 02:57:59 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-01-23 02:57:59 | ChanServ | sets mode +v haskellbridge |
| 2026-01-23 03:08:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 03:13:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 03:22:02 | → | notzmv joins (~umar@user/notzmv) |
| 2026-01-23 03:23:03 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 2026-01-23 03:24:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 03:26:58 | × | foul_owl quits (~kerry@94.156.149.99) (Ping timeout: 260 seconds) |
| 2026-01-23 03:29:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 03:34:12 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-01-23 03:34:12 | ChanServ | sets mode +v haskellbridge |
| 2026-01-23 03:38:57 | Googulator26 | is now known as Googulator |
| 2026-01-23 03:40:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 03:41:09 | → | foul_owl joins (~kerry@94.156.149.91) |
| 2026-01-23 03:45:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-23 03:45:26 | <haskellbridge> | <Zemyla> You can even zip lists by folding over both of them. |
| 2026-01-23 03:51:58 | × | rotcev quits (~rotcev@user/rotcev) (Quit: Client closed) |
| 2026-01-23 03:53:28 | → | chenjf joins (~chenjf@68.64.178.54) |
| 2026-01-23 03:55:05 | <monochrom> | Belated: My hot take: How are languages without call/cc or at least shift/reset supposed to be useful? >:) |
| 2026-01-23 03:55:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-01-23 03:55:34 | × | chenjf quits (~chenjf@68.64.178.54) (Client Quit) |
| 2026-01-23 03:55:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 03:58:30 | × | leah2 quits (~leah@vuxu.org) (Ping timeout: 265 seconds) |
| 2026-01-23 04:00:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 04:04:31 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-01-23 04:11:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 04:16:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-23 04:16:35 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-01-23 04:17:51 | <probie> | Zemyla: You don't need to fold over both them, just one |
| 2026-01-23 04:23:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 04:23:20 | <probie> | > let zip' = foldr (\x k ys -> case ys of { [] -> []; y:ys' -> (x,y):k ys' }) (const []) in zip' "hello" "world!" |
| 2026-01-23 04:23:21 | <lambdabot> | [('h','w'),('e','o'),('l','r'),('l','l'),('o','d')] |
| 2026-01-23 04:24:15 | × | sp1ff` quits (~user@2601:1c2:4701:900::32d4) (Read error: Connection reset by peer) |
| 2026-01-23 04:24:52 | → | sp1ff` joins (~user@2601:1c2:4701:900::32d4) |
| 2026-01-23 04:28:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-23 04:29:11 | <ncf> | well, case ys is a fold, just not a recursive one |
| 2026-01-23 04:31:54 | × | trickard quits (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-23 04:32:05 | <probie> | It's a lesser fold. A crease? :p |
| 2026-01-23 04:32:08 | → | trickard_ joins (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 04:32:22 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-23 04:33:16 | <ncf> | i will concede 'a ply' |
| 2026-01-23 04:38:32 | × | sp1ff` quits (~user@2601:1c2:4701:900::32d4) (Read error: Connection reset by peer) |
| 2026-01-23 04:38:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 04:39:13 | → | sp1ff` joins (~user@2601:1c2:4701:900::32d4) |
| 2026-01-23 04:43:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-23 04:48:55 | × | dutchie quits (~dutchie@user/dutchie) (Ping timeout: 264 seconds) |
| 2026-01-23 04:50:14 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 256 seconds) |
| 2026-01-23 04:50:48 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds) |
| 2026-01-23 04:51:25 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-23 04:54:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 04:54:50 | <haskellbridge> | <Zemyla> @let newtype Z a b = Z { runZ :: a -> (Z a b -> b) -> b } |
| 2026-01-23 04:55:20 | <haskellbridge> | <Zemyla> Apparently lambdabot doesn't like the bridge. |
| 2026-01-23 04:58:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-23 05:00:29 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-23 05:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-23 05:10:50 | <probie> | Zemyla: try putting a blank line before what you want to feed to lambdabot |
| 2026-01-23 05:12:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 05:15:11 | <chromoblob> | Leary: could you elaborate, maybe give an example? |
| 2026-01-23 05:15:51 | <probie> | If you send "foo\nbar" it should come through as "<haskellbridge> <Zemyla> foo\n<haskellbridge> bar", so the second line should come through as a separate message, without your username in front and will be picked up by lambdabot or yahb2 |
| 2026-01-23 05:16:33 | × | Googulator quits (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-23 05:16:44 | → | Googulator joins (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-23 05:17:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-23 05:18:03 | → | dutchie joins (~dutchie@user/dutchie) |
| 2026-01-23 05:22:44 | → | lewisbrown joins (~user@user/lewisbrown) |
| 2026-01-23 05:25:16 | → | leah2 joins (~leah@vuxu.org) |
| 2026-01-23 05:28:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 05:33:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-23 05:36:43 | → | michalz joins (~michalz@185.246.207.203) |
| 2026-01-23 05:44:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 05:45:15 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-23 05:48:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-23 05:49:46 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-23 05:57:25 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-01-23 05:58:54 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-01-23 06:00:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-23 06:03:25 | → | housemate joins (~housemate@202.7.248.67) |
All times are in UTC.