Logs on 2026-03-03 (liberachat/#haskell)
| 00:04:05 | → | user363627 joins (~user@user/user363627) |
| 00:06:13 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 272 seconds) |
| 00:10:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:14:44 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 00:14:59 | → | pavonia_ joins (~user@user/siracusa) |
| 00:15:40 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 00:15:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 00:16:31 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 264 seconds) |
| 00:17:07 | pavonia_ | is now known as pavonia |
| 00:17:49 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:18:53 | → | oskarw joins (~user@user/oskarw) |
| 00:20:55 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 00:25:56 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 00:26:20 | → | merijn joins (~merijn@62.45.136.136) |
| 00:30:26 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 00:30:46 | → | tmu joins (~tmu@user/tccq) |
| 00:31:03 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 00:40:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:45:29 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 00:46:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 00:52:15 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 00:53:06 | × | xff0x quits (~xff0x@2405:6580:b080:900:f8aa:9656:36aa:e9bc) (Ping timeout: 268 seconds) |
| 00:53:18 | × | yin quits (~zero@user/zero) (Ping timeout: 246 seconds) |
| 00:56:00 | × | acidjnk_new quits (~acidjnk@p200300d6e700e5876e445e500c43f7e0.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:56:50 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 00:57:25 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 00:58:05 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 00:58:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:03:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:03:10 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 01:12:00 | × | foul_owl quits (~kerry@94.156.149.99) (Ping timeout: 255 seconds) |
| 01:12:30 | → | yin joins (~zero@user/zero) |
| 01:13:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:18:19 | → | n0w0n joins (~john@user/n0w0n) |
| 01:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:23:43 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 01:26:04 | → | foul_owl joins (~kerry@94.156.149.94) |
| 01:26:21 | → | troydm joins (~troydm@user/troydm) |
| 01:29:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:34:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:37:16 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 01:39:05 | ← | stackdroid18 parts (~stackdroi@user/stackdroid) () |
| 01:45:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:48:11 | × | loungerry_ quits (~loungerry@150.241.86.78) (Changing host) |
| 01:48:11 | → | loungerry_ joins (~loungerry@user/loungerry-:45058) |
| 01:50:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:56:51 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:57:40 | × | jcarpenter2 quits (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 01:57:58 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:6cb2:460b:b3bd:1dce) |
| 02:01:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:06:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 02:11:17 | × | n0w0n quits (~john@user/n0w0n) (Ping timeout: 252 seconds) |
| 02:16:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:23:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 02:24:11 | × | rainbyte quits (~rainbyte@186.22.19.220) (Read error: Connection reset by peer) |
| 02:25:33 | → | rainbyte joins (~rainbyte@186.22.19.220) |
| 02:26:09 | → | GCX joins (~GCX@71.227.230.155) |
| 02:34:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:39:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:50:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:55:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:01:04 | jmcantrell_ | is now known as jmcantrell |
| 03:06:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:10:08 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 03:10:31 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 03:10:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:11:57 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 03:21:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:22:52 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection) |
| 03:26:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:34:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:39:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 03:39:19 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 03:39:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:41:43 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 03:45:31 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 03:50:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:53:02 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 03:53:43 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 264 seconds) |
| 03:53:43 | × | barthandelous01 quits (barth@triton.blinkenshell.org) (Ping timeout: 264 seconds) |
| 03:54:11 | → | Digitteknohippie joins (~user@user/digit) |
| 03:55:26 | → | barthandelous01 joins (barth@triton.blinkenshell.org) |
| 03:55:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:04:34 | × | GCX quits (~GCX@71.227.230.155) (Quit: Client closed) |
| 04:06:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:06:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 04:07:03 | → | troydm joins (~troydm@user/troydm) |
| 04:07:30 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Ping timeout: 256 seconds) |
| 04:07:44 | × | tmu quits (~tmu@user/tccq) (Ping timeout: 268 seconds) |
| 04:10:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:12:19 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 04:21:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:26:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:37:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:42:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:48:30 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 265 seconds) |
| 04:51:53 | × | crazazy quits (crazazy@tilde.town) (Ping timeout: 252 seconds) |
| 04:52:59 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 252 seconds) |
| 04:53:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:58:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:58:53 | → | crazazy joins (~crazazy@tilde.town) |
| 05:06:36 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 05:08:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:13:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 05:16:59 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 05:29:24 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 05:30:01 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 05:31:39 | DetourNe- | is now known as DetourNetworkUK |
| 05:35:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:36:15 | → | housemate joins (~housemate@202.7.248.67) |
| 05:40:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:42:07 | → | aaronv joins (~aaron@2601:602:8d00:c320:9b36:b3e0:6a50:bb79) |
| 05:46:47 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:47:05 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 05:47:42 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 05:50:38 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 05:51:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:53:09 | → | n0w0n joins (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 05:53:34 | n0w0n | is now known as Guest8314 |
| 05:56:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:07:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:07:39 | × | Guest8314 quits (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Ping timeout: 255 seconds) |
| 06:11:30 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 06:12:10 | → | housemate joins (~housemate@202.7.248.67) |
| 06:13:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:14:49 | × | aaronv quits (~aaron@2601:602:8d00:c320:9b36:b3e0:6a50:bb79) (Ping timeout: 272 seconds) |
| 06:17:23 | → | aaronv joins (~aaron@2601:602:8d00:c320:3d62:d6c1:74fd:69bc) |
| 06:22:10 | × | aaronv quits (~aaron@2601:602:8d00:c320:3d62:d6c1:74fd:69bc) (Ping timeout: 248 seconds) |
| 06:23:50 | → | aaronv joins (~aaron@2601:602:8d00:c320:f0e7:60e2:ac41:e5bb) |
| 06:24:35 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 06:25:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:30:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:35:01 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 06:35:18 | → | Googulator joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 06:36:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:41:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 06:52:26 | → | Googulator79 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 06:53:00 | × | Googulator quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 07:02:26 | → | n0w0n joins (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 07:02:49 | n0w0n | is now known as Guest3565 |
| 07:04:18 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 07:04:33 | → | emperori joins (~emperori@223.187.124.245) |
| 07:05:41 | → | u0_a2162 joins (~molidae@223.187.124.245) |
| 07:07:21 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 07:07:23 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 07:07:25 | × | emperori quits (~emperori@223.187.124.245) (Remote host closed the connection) |
| 07:09:38 | DetourNe- | is now known as DetourNetworkUK |
| 07:15:55 | × | Guest3565 quits (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 07:17:40 | × | u0_a2162 quits (~molidae@223.187.124.245) (Ping timeout: 245 seconds) |
| 07:19:40 | → | merijn joins (~merijn@77.242.116.146) |
| 07:25:38 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 248 seconds) |
| 07:25:57 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Quit: peterbecich) |
| 07:26:14 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 07:29:15 | → | comerijn joins (~merijn@77.242.116.146) |
| 07:32:05 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 07:33:55 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 07:34:14 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:39:27 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds) |
| 07:42:02 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:46:15 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 07:47:31 | → | img joins (~img@user/img) |
| 07:52:05 | → | misterfish joins (~misterfis@84.53.85.146) |
| 07:53:18 | × | aaronv quits (~aaron@2601:602:8d00:c320:f0e7:60e2:ac41:e5bb) (Ping timeout: 246 seconds) |
| 07:55:50 | → | chele joins (~chele@user/chele) |
| 08:13:49 | → | merijn joins (~merijn@77.242.116.146) |
| 08:14:09 | × | hakutaku quits (~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:24:19 | Digitteknohippie | is now known as Digit |
| 08:24:53 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:32:16 | × | Googulator79 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 08:32:23 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 08:38:28 | → | u0_a216 joins (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) |
| 08:41:45 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds) |
| 08:45:29 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 08:49:38 | → | akegalj joins (~akegalj@78-1-128-213.adsl.net.t-com.hr) |
| 08:53:55 | → | Square2 joins (~Square4@user/square) |
| 08:54:54 | <[exa]> | do we have some good ELF writer package? (kinda like this but somewhat more complete and production-ready https://hackage.haskell.org/package/elf ) |
| 09:00:05 | → | acidjnk_new joins (~acidjnk@p200300d6e700e58704b76465b5b58d34.dip0.t-ipconnect.de) |
| 09:01:19 | → | oskarw joins (~user@user/oskarw) |
| 09:11:40 | <dminuoso> | Out of curiosity: What does "production-ready" even mean? |
| 09:13:49 | <dminuoso> | Relevant anecdotehttps://www.reddit.com/r/emacs/comments/lly7po/comment/gnvzisy/ |
| 09:13:52 | <dminuoso> | Oh. https://www.reddit.com/r/emacs/comments/lly7po/comment/gnvzisy/ |
| 09:14:03 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 272 seconds) |
| 09:14:31 | <dminuoso> | That was strange, seems like a buffer rendering bug - there was defintitely a space between the URL and `anecdote` before I sent it. Must be that production-ready input buffer code. :-) |
| 09:21:48 | → | olivial joins (~benjaminl@user/benjaminl) |
| 09:35:30 | → | skum joins (~skum@user/skum) |
| 09:43:09 | → | fp joins (~Thunderbi@130.233.70.80) |
| 09:47:47 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 09:48:35 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 10:04:06 | → | Enrico63 joins (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) |
| 10:06:24 | → | misterfish joins (~misterfis@046044172198.static.ipv4.heldenvannu.net) |
| 10:07:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 245 seconds) |
| 10:19:19 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:21:27 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 255 seconds) |
| 10:27:05 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 10:27:15 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 245 seconds) |
| 10:29:43 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds) |
| 10:29:43 | divlamir_ | is now known as divlamir |
| 10:36:15 | × | sawilagar quits (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 10:36:22 | → | tromp joins (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 10:44:37 | → | __monty__ joins (~toonn@user/toonn) |
| 10:50:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:59:17 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 252 seconds) |
| 11:02:37 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) |
| 11:05:45 | × | acidjnk_new quits (~acidjnk@p200300d6e700e58704b76465b5b58d34.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 11:11:37 | × | u0_a216 quits (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) (Ping timeout: 268 seconds) |
| 11:11:57 | → | u0_a216 joins (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) |
| 11:14:10 | → | sixfourtwelve joins (~ethanmorg@static.82.129.225.46.clients.your-server.de) |
| 11:14:26 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
| 11:15:06 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 11:15:31 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 11:15:39 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 11:16:10 | → | xff0x joins (~xff0x@ai084147.d.east.v6connect.net) |
| 11:16:38 | → | u0_a2162 joins (~molidae@223.187.122.195) |
| 11:16:53 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:19:38 | → | infinity0 joins (~infinity0@pwned.gg) |
| 11:19:58 | × | u0_a2162 quits (~molidae@223.187.122.195) (Read error: Connection reset by peer) |
| 11:20:09 | × | u0_a216 quits (~molidae@2401:4900:6275:2116:f04f:39fd:d52a:6874) (Ping timeout: 246 seconds) |
| 11:21:27 | → | Pozyomka joins (~pyon@user/pyon) |
| 11:22:55 | → | madresch joins (~Thunderbi@user/madresch) |
| 11:30:15 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 11:30:35 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 11:31:19 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 11:41:51 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 11:49:54 | × | misterfish quits (~misterfis@046044172198.static.ipv4.heldenvannu.net) (Ping timeout: 256 seconds) |
| 11:55:48 | → | u0_a216 joins (~molidae@2401:4900:628f:90b4:f04f:39fd:d52a:6874) |
| 11:56:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:01:40 | → | jreicher joins (~joelr@user/jreicher) |
| 12:01:52 | × | fun-safe-math quits (~fun-safe-@97.115.234.213) () |
| 12:04:02 | → | fun-safe-math joins (~fun-safe-@97.115.234.213) |
| 12:05:43 | × | akegalj quits (~akegalj@78-1-128-213.adsl.net.t-com.hr) (Ping timeout: 264 seconds) |
| 12:06:16 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 12:08:42 | → | housemate joins (~housemate@202.7.248.67) |
| 12:12:02 | → | misterfish joins (~misterfis@84.53.85.146) |
| 12:14:29 | → | merijn joins (~merijn@77.242.116.146) |
| 12:14:35 | → | kuribas joins (~user@2a02-1810-2825-6000-bb30-9cd7-63c4-2064.ip6.access.telenet.be) |
| 12:22:08 | × | housemate quits (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 12:22:33 | → | housemate joins (~housemate@202.7.248.67) |
| 12:26:34 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 12:26:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 12:28:11 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 12:37:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 12:41:43 | × | housemate quits (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 12:43:34 | × | Enrico63 quits (~Enrico63@host-80-104-109-187.retail.telecomitalia.it) (Quit: Client closed) |
| 12:49:23 | → | merijn joins (~merijn@77.242.116.146) |
| 12:58:16 | <fp> | Not exactly Haskell, but does anyone know a way to get a LUCID dev environment running? I downloaded some source for pLUCID which builds after some adjustment, but instantly segfaults when you try to run the shipped examples. Alternately, if there are other systems for learning about dataflow programming languages in 2026, I'd love to hear about them |
| 13:00:04 | × | user363627 quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 13:00:30 | → | user363627 joins (~user@user/user363627) |
| 13:07:00 | → | qqq joins (~qqq@185.54.22.240) |
| 13:25:26 | → | AlexNoo joins (~AlexNoo@94.233.241.37) |
| 13:26:42 | → | Alex_delenda_est joins (~al_test@94.233.241.37) |
| 13:38:10 | → | akegalj joins (~akegalj@78-1-128-213.adsl.net.t-com.hr) |
| 13:43:30 | → | mange joins (~mange@user/mange) |
| 13:47:28 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 13:47:54 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) |
| 13:58:55 | × | fp quits (~Thunderbi@130.233.70.80) (Ping timeout: 245 seconds) |
| 14:03:39 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 14:10:10 | → | stef204 joins (~stef204@user/stef204) |
| 14:10:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 14:12:49 | × | Square2 quits (~Square4@user/square) (Remote host closed the connection) |
| 14:13:22 | → | merijn joins (~merijn@77.242.116.146) |
| 14:13:24 | → | Square2 joins (~Square4@user/square) |
| 14:17:07 | → | Guest88 joins (~Guest88@45.152.20.171) |
| 14:17:46 | × | Guest88 quits (~Guest88@45.152.20.171) (Client Quit) |
| 14:25:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) |
| 14:26:35 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 14:27:10 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 14:31:25 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 268 seconds) |
| 14:33:43 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 14:36:33 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 14:37:21 | × | u0_a216 quits (~molidae@2401:4900:628f:90b4:f04f:39fd:d52a:6874) (Ping timeout: 268 seconds) |
| 14:38:13 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 14:39:14 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 248 seconds) |
| 14:39:42 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 14:41:07 | → | weary-traveler joins (~user@user/user363627) |
| 14:42:29 | <gentauro> | > :t putStrLn |
| 14:42:31 | <lambdabot> | <hint>:1:1: error: parse error on input `:' |
| 14:42:42 | <gentauro> | % :t putStrLn |
| 14:42:42 | <yahb2> | putStrLn :: String -> IO () |
| 14:42:58 | <gentauro> | % putStrLn [ '🍎' ] |
| 14:42:59 | <yahb2> | 🍎 |
| 14:43:04 | <gentauro> | Hmmm |
| 14:43:13 | → | rekahsoft joins (~rekahsoft@76.67.111.168) |
| 14:43:35 | <gentauro> | why do I get `<stdout>: hPutChar: invalid argument (cannot encode character '\55357'`? |
| 14:44:14 | <__monty__> | Is your locale UTF-8? |
| 14:44:18 | <gentauro> | I'm setting the encoding to `hSetEncoding stdout utf8`. |
| 14:45:31 | <gentauro> | __monty__: it sure is -> https://paste.tomsmeding.com/ZsN4DRUa |
| 14:46:40 | <haskellbridge> | <ijouw> Just to be sure, you can use hGetEncoding to double check |
| 14:46:57 | <__monty__> | (FYI, you can use en_DK to get sensible dates ; ) ) |
| 14:47:05 | <gentauro> | % putStrLn [ '🍎', '🍏' ] |
| 14:47:05 | <yahb2> | 🍎🍏 |
| 14:47:46 | <gentauro> | ijouw: let me try |
| 14:50:10 | <gentauro> | ijouw: `hGetEncoding` -> `Just UTF-8` |
| 14:50:25 | <gentauro> | I guess I've set UTF-8 properly in the Haskell app. |
| 14:51:19 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 14:51:27 | <gentauro> | just in case, it's `hSetEncoding {stderr|stdin|stdout} utf8` |
| 14:51:55 | <__monty__> | That doesn't look like valid Haskell syntax. |
| 14:51:56 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 252 seconds) |
| 14:53:07 | <gentauro> | __monty__: obviously not. It's to write less ;) |
| 14:53:23 | <gentauro> | it's just x3 the same syntas with the following keywords |
| 14:55:19 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 14:55:32 | <gentauro> | it's correct to assume that `hSetEncoding` is set globally right? I just need to add it in my `main :: IO ()` right? |
| 14:59:17 | <__monty__> | If I `hSetEncoding` to `latin1` I do get the error you got so it looks like it is an encoding problem. |
| 15:04:37 | <gentauro> | __monty__: what does your `locale` say? |
| 15:05:47 | <__monty__> | s/en_US/en_DK/g; except LC_ALL is empty. |
| 15:06:53 | → | tremon joins (~tremon@83.80.159.219) |
| 15:07:31 | <__monty__> | Does System.IO.localeEncoding report UTF-8 for you? |
| 15:09:47 | <gentauro> | __monty__: yeah: `putStr (show localeEncoding)` -> `UTF-8` |
| 15:11:05 | <int-e> | @src print |
| 15:11:05 | <lambdabot> | print x = putStrLn (show x) |
| 15:11:10 | <gentauro> | I guess even (Elm) Evan ran into something like this (back in 2019): https://discourse.elm-lang.org/t/help-improve-unicode-support-on-windows/3366 |
| 15:11:18 | <gentauro> | but, I'm not on a windows device … |
| 15:12:08 | <__monty__> | Can you reproduce the same behavior in GHCi? |
| 15:12:53 | → | misterfish joins (~misterfis@31-161-39-137.biz.kpn.net) |
| 15:14:49 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 15:15:43 | <gentauro> | __monty__: Nope. That seem to work |
| 15:15:47 | <gentauro> | kind of strainge tbh |
| 15:16:11 | gentauro | however, I DO run my `ghci` with stack -> `stack ghci` |
| 15:22:10 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 15:34:04 | × | jreicher quits (~joelr@user/jreicher) (Read error: Connection reset by peer) |
| 15:35:14 | → | jreicher joins (~joelr@user/jreicher) |
| 15:41:08 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 15:41:56 | <durstloescher> | hey can someone explain binary trees in haskell to me? |
| 15:42:24 | <c_wraith> | How comfortable are you with binary trees in general? |
| 15:43:28 | <c_wraith> | (There's nothing particularly special about Haskell for binary trees, at least in the context of immutable data structures.) |
| 15:44:39 | <durstloescher> | i know the concept but i'm not comfortable with the use of pattern matching in this topic |
| 15:45:07 | <durstloescher> | i don't understand how i can "get" the value and how to proceed with the next node |
| 15:45:28 | <durstloescher> | my intuition says i just use (x:xs) but trees are no lists |
| 15:46:00 | <c_wraith> | Ah, true. Matching is done against the constructors for the data type. |
| 15:46:14 | <c_wraith> | So you should be starting with the data definition, and the constructors within |
| 15:48:05 | <c_wraith> | Do you have a specific example to work with, or just exploring the idea more generally? |
| 15:48:30 | → | elainedastolat joins (~m@2804:3d14:4b:de00:b20e:16f9:f4d1:21e4) |
| 15:48:55 | <haskellbridge> | <ijouw> Yes, (:) is the constructor for lists. You need the one for trees. |
| 15:48:55 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/myBmmoOKFntttTPQmkgsqoPc/QzDiwyVIkO4 (3 lines) |
| 15:49:24 | × | tromp quits (~textual@2001:1c00:3487:1b00:9536:a446:6cb6:b101) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:49:49 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 15:51:45 | × | misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 246 seconds) |
| 15:54:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 15:58:09 | × | elainedastolat quits (~m@2804:3d14:4b:de00:b20e:16f9:f4d1:21e4) (Quit: Leaving) |
| 16:01:17 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 16:01:45 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:05:06 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:07:41 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 16:09:18 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 16:14:58 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:18:47 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:20:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) |
| 16:30:09 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 16:35:32 | <EvanR> | durstloescher, search k1 (Branch k2 v l r) = case compare k1 k2 of {EQ -> v; LT -> search k1 l; GT -> search k2 r} |
| 16:36:27 | <EvanR> | (for the case of an infinite tree with all branches) |
| 16:37:14 | <EvanR> | the last k2 should be k1 of course, typo! not enough coffee |
| 16:39:06 | × | Googulator46 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 16:39:30 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 16:40:31 | × | jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 264 seconds) |
| 16:43:04 | → | tmu joins (~tmu@71.227.230.155) |
| 16:43:38 | <gentauro> | durstloescher: I would highly recommend you to read Okasaki Functional Pearl "Red-Black Trees in a Functional Setting" |
| 16:43:58 | <gentauro> | I think ACM now is free to read iirc |
| 16:45:41 | <durstloescher> | thank you all i'll look into the book and try the provided code snippet <3 |
| 16:46:03 | × | akegalj quits (~akegalj@78-1-128-213.adsl.net.t-com.hr) (Quit: leaving) |
| 16:46:29 | <gentauro> | durstloescher: here I use it (RB-Tree) for my `Set`. It can easily be used to create `Map` as well (just provide a tuple pair) -> https://paste.tomsmeding.com/K9QzYIJM |
| 16:47:15 | <gentauro> | durstloescher: I have provided `insert`. It's up to the reader to implement the `delete` logic for the `RB-Trees` (muahahaha) |
| 16:47:49 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e523af5c13a8fba9f168.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 16:49:52 | <EvanR> | red black tree is kind of complicated isn't it, or is it sort of educational value for leading up to our "industrial" trees we use in haskell? |
| 16:55:11 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 16:56:32 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:59:10 | <haskellbridge> | <ijouw> Doesn't Set use Red Black trees? |
| 17:00:17 | <haskellbridge> | <ijouw> Ah, no. |
| 17:01:55 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 17:02:16 | <gentauro> | EvanR: deleting in RB-trees is really really complex |
| 17:03:39 | <haskellbridge> | <ijouw> I cannot remember if I ever had to implement deletion. Will try |
| 17:04:28 | <c_wraith> | the nice thing about the tree implementation in containers is that balancing is is a fixup pass after a modification that's oblivious to what the modification was. |
| 17:05:25 | <c_wraith> | it just checks the ratio of the sizes of the children of a node, and acts if it exceeds its threshold. |
| 17:06:11 | <c_wraith> | (the proof that it's correct is complicated, but the algorithm is simple) |
| 17:06:26 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 17:08:05 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 245 seconds) |
| 17:10:23 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 17:12:52 | <c_wraith> | I feel relatively competent addressing its balancing algorithm, because it's the same one used in the priority search pennants a couple different libraries used that I ended up spending a lot of time investigating a year ago after my AoC solution to one problem found a balancing error. |
| 17:13:36 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 17:22:11 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:23:01 | <EvanR> | oof |
| 17:26:52 | → | n0w0n joins (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 17:27:15 | n0w0n | is now known as Guest5338 |
| 17:31:26 | × | yin quits (~zero@user/zero) (Ping timeout: 252 seconds) |
| 17:33:45 | → | yin joins (~zero@user/zero) |
| 17:38:53 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 268 seconds) |
| 17:39:55 | × | yin quits (~zero@user/zero) (Ping timeout: 264 seconds) |
| 17:44:22 | → | yin joins (~zero@user/zero) |
| 17:48:10 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 17:50:08 | × | Guest5338 quits (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Ping timeout: 252 seconds) |
| 17:51:55 | × | yin quits (~zero@user/zero) (Ping timeout: 264 seconds) |
| 17:52:13 | → | u0_a216 joins (~molidae@2401:4900:6289:5b82:f04f:39fd:d52a:6874) |
| 17:53:30 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 17:54:22 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:55:11 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 17:55:16 | → | yin joins (~zero@user/zero) |
| 17:56:24 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 17:56:34 | × | Square2 quits (~Square4@user/square) (Ping timeout: 245 seconds) |
| 17:57:48 | <c_wraith> | There were actually two bugs in those libraries. One was that they tried to optimize inserting to an empty tree and got the logic wrong so that it didn't balance repeated insertions on the same side. The other was that the paper they were working from misread one of its references and so missed an important part of the balancing algorithm's weight comparisons. |
| 18:00:47 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:05:30 | <EvanR> | this is why it's better not to look at academic research and reinvent everything from the wheel. No way to know if the paper's right! |
| 18:05:33 | → | Square2 joins (~Square4@user/square) |
| 18:07:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:10:18 | <c_wraith> | absolutely the best lesson to take from that, yes |
| 18:10:42 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 18:11:22 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 18:24:24 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 18:26:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 18:28:04 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 18:31:46 | × | jtnuttall quits (~jeremy@user/jeremyn) (Ping timeout: 248 seconds) |
| 18:32:19 | → | tromp joins (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) |
| 18:32:28 | → | Square joins (~Square@user/square) |
| 18:34:30 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 18:45:35 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 245 seconds) |
| 18:46:27 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:49:13 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 18:49:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:54:37 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:57:19 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 18:59:38 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 19:02:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:03:21 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 19:05:35 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit) |
| 19:08:46 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:159d:62bb:2d29:74f6) |
| 19:08:46 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:159d:62bb:2d29:74f6) (Changing host) |
| 19:08:46 | → | arandombit joins (~arandombi@user/arandombit) |
| 19:12:57 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 19:13:17 | → | EvanR joins (~EvanR@user/evanr) |
| 19:14:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:15:26 | → | wbrawner joins (~wbrawner@129.146.105.153) |
| 19:16:23 | × | terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 19:17:18 | → | mange joins (~mange@user/mange) |
| 19:17:32 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 19:19:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:19:17 | → | ajdev joins (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) |
| 19:20:13 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 19:20:24 | → | Square joins (~Square@user/square) |
| 19:20:30 | → | terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2) |
| 19:25:00 | × | kuribas quits (~user@2a02-1810-2825-6000-bb30-9cd7-63c4-2064.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:25:36 | → | u0_a2162 joins (~molidae@223.187.121.211) |
| 19:27:51 | → | mc2 joins (~mc@user/mc2) |
| 19:27:55 | <mc2> | hello |
| 19:28:05 | × | u0_a216 quits (~molidae@2401:4900:6289:5b82:f04f:39fd:d52a:6874) (Ping timeout: 245 seconds) |
| 19:29:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:30:44 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 19:31:57 | → | Square joins (~Square@user/square) |
| 19:32:08 | <haskellbridge> | <shapr> Hi |
| 19:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:35:49 | ajdev | is now known as atejandev |
| 19:38:25 | <monochrom> | I taught data structure courses. A pattern emerges: Delete is complicated for every data structure, including BSTs, open-addressing hash tables, and Bloom filters. |
| 19:38:54 | <EvanR> | someone should come up with a datastructure which only has delete |
| 19:39:42 | <EvanR> | if it's easy enough it can also double as an insert. Start with a plenum and whatever was deleted counts as inserted |
| 19:39:51 | × | atejandev quits (~ajdev@2001:1c04:3024:c500:177a:3bd7:e2fe:fbc5) (Changing host) |
| 19:39:51 | → | atejandev joins (~ajdev@user/atejandev) |
| 19:39:56 | <monochrom> | That data structure is doomed to also support insert trivially. So once again delete is no easier than insert. :) |
| 19:40:09 | × | atejandev quits (~ajdev@user/atejandev) (Quit: Konversation terminated!) |
| 19:40:22 | <EvanR> | how do you mean doomed to also support insert |
| 19:41:11 | <monochrom> | If it only has delete, then it's observationally equivalent to /dev/null, then you can add insert trivially. |
| 19:42:25 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:44:05 | <EvanR> | it boils down to what laws if any we expect the operations to follow. and we didn't define any observations so yeah dev null or () |
| 19:45:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:47:18 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 19:48:23 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:48:28 | × | skinkitten quits (~skinkitte@user/skinkitten) (Ping timeout: 240 seconds) |
| 19:48:30 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 19:49:11 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:50:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:51:12 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:56:02 | × | yin quits (~zero@user/zero) (Ping timeout: 248 seconds) |
| 20:00:47 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 20:01:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:06:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:06:27 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
| 20:06:56 | → | karenw_ joins (~karenw@user/karenw) |
| 20:09:13 | × | stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1) |
| 20:13:10 | → | yin joins (~zero@user/zero) |
| 20:15:54 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 20:15:54 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 20:16:10 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 20:17:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:18:19 | × | wbrawner quits (~wbrawner@129.146.105.153) (Ping timeout: 264 seconds) |
| 20:22:31 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 20:22:55 | → | Digitteknohippie joins (~user@user/digit) |
| 20:24:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:35:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:40:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 20:40:22 | → | pavonia joins (~user@user/siracusa) |
| 20:45:27 | → | jtnuttall joins (~jeremy@user/jeremyn) |
| 20:45:31 | × | karenw_ quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 20:50:26 | Digitteknohippie | is now known as Digit |
| 20:51:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:54:57 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 20:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 20:58:56 | × | michalz quits (~michalz@185.246.207.217) (Remote host closed the connection) |
| 21:00:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:01:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:01:33 | → | spew joins (~spew@user/spew) |
| 21:01:57 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:04:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 21:04:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:05:37 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 21:06:49 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 21:11:18 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 21:13:31 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 21:15:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:16:00 | × | spew quits (~spew@user/spew) (Ping timeout: 245 seconds) |
| 21:17:12 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 21:20:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:20:56 | × | connrs quits (~connrs@user/connrs) (Remote host closed the connection) |
| 21:21:03 | → | connrs joins (~connrs@user/connrs) |
| 21:25:16 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:25:40 | → | hakutaku joins (~textual@user/hakutaku) |
| 21:31:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:36:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:36:32 | <yin> | if i want to make number literals of a custom type, do i just define the Num instance with fromInteger? |
| 21:37:28 | <mauke> | yes |
| 21:38:38 | <yin> | and ignore the warning about missing other Num operations |
| 21:39:38 | <mauke> | no |
| 21:39:43 | <EvanR> | you could imagining at least inheriting the operations on Integer mapped through to your type where defined |
| 21:40:46 | <yin> | fair enough |
| 21:44:31 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 276 seconds) |
| 21:46:39 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 21:47:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:02:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:03:48 | ← | aaronm04 parts (~user@user/aaronm04) (WeeChat 4.1.0) |
| 22:08:46 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 22:09:15 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Client Quit) |
| 22:09:41 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 22:10:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:10:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 22:11:12 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 22:13:41 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 22:16:18 | <yin> | welp, i ended up doing the right thing |
| 22:16:20 | <yin> | i think |
| 22:17:01 | <yin> | https://paste.jrvieira.com/1772576191926 |
| 22:20:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:25:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:26:52 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 22:27:56 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 22:30:59 | <chromoblob> | (ワサ)ビ = (ワビ)(サビ) |
| 22:31:12 | <monochrom> | What does that mean? |
| 22:32:17 | <chromoblob> | it's a reference to the S combinator playing on two unrelated Japanese words |
| 22:32:38 | × | Googulator46 quits (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) (Quit: Client closed) |
| 22:32:56 | → | Googulator46 joins (~Googulato@2a01-036d-0106-0119-2546-5dd3-b1b8-39cd.pool6.digikabel.hu) |
| 22:33:09 | <monochrom> | Would be legal Haskell with extra spaces. :) |
| 22:33:43 | <chromoblob> | wait, what? `(x y) z = ...`? |
| 22:34:32 | <chromoblob> | or split only the right partd |
| 22:34:36 | <chromoblob> | parts* |
| 22:36:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:37:10 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 22:38:29 | <yin> | is that <*> ? |
| 22:39:19 | → | durstloescher joins (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) |
| 22:41:10 | <int-e> | @pl \f g x -> f x (g x) |
| 22:41:10 | <lambdabot> | ap |
| 22:41:31 | <int-e> | also known as <*>... didn't we do this yesterday or two days ago |
| 22:41:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:42:26 | × | v0id_7 quits (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 22:42:59 | <yin> | i was looking for |
| 22:43:12 | <yin> | @pl uncurry g . (id && f) |
| 22:43:12 | <lambdabot> | uncurry g . (id && f) |
| 22:43:47 | <yin> | a week ago |
| 22:45:19 | <yin> | int-e: and you responded with that exactly |
| 22:48:50 | <int-e> | > (iterate (\c f -> f (c succ)) (\c -> 0) !! 42) id |
| 22:48:51 | <lambdabot> | 41 |
| 22:52:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:52:55 | <yin> | trying to parse that.. |
| 22:56:48 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 22:57:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 22:59:39 | × | durstloescher quits (~textual@ip4d16b23b.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 23:01:00 | × | shr\ke quits (~shrike@user/shrke:31298) (Ping timeout: 245 seconds) |
| 23:01:53 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 23:04:44 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:04:48 | → | kilolympus6 joins (~kilolympu@vmi1102682.contaboserver.net) |
| 23:04:59 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Read error: Connection reset by peer) |
| 23:04:59 | kilolympus6 | is now known as kilolympus |
| 23:08:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:10:59 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 265 seconds) |
| 23:11:16 | → | shr\ke joins (~shrike@user/paxhumana) |
| 23:11:16 | × | shr\ke quits (~shrike@user/paxhumana) (Changing host) |
| 23:11:16 | → | shr\ke joins (~shrike@user/shrke:31298) |
| 23:11:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:13:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:15:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:bca6:b25a:741d:ca28) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:19:45 | <yin> | int-e: nice. you're extracting values from a pair with `c :: (Word -> Word) -> Word` right? that's equivalent to my `pre` |
| 23:20:47 | <int-e> | yin: that's where it came from |
| 23:22:07 | <yin> | did you derive it? it took me a long time to understand your version (it also took me a long time to understand mine) |
| 23:22:52 | <int-e> | I've seen the lambda term before. I'm quite familiar with some of the themes around Church numerals. |
| 23:23:35 | × | mange quits (~mange@user/mange) (Quit: Bye!) |
| 23:24:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:24:35 | <int-e> | I think the best I've ever come up with myself was pred = \n f x -> n (\c a b -> c b (f b)) (\a b -> a) x x |
| 23:24:40 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:24:43 | <yin> | is this technically cps? it feels like cps |
| 23:25:41 | <int-e> | There are definitely continuations here. (That's why I like calling the argument 'c'. Though I messed up above; \c -> 0 should've been \f -> 0; it is a continuation but the argument isn't) |
| 23:28:34 | → | gmg joins (~user@user/gehmehgeh) |
| 23:29:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:31:21 | <yin> | this is great |
| 23:39:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:41:48 | → | emmanuelux joins (~em@user/emmanuelux) |
| 23:44:04 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 23:46:19 | <monochrom> | I prefer "k" to "c". :) |
| 23:46:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:47:48 | <int-e> | Hi monokhrom |
| 23:47:55 | <monochrom> | haha |
| 23:50:34 | <yin> | > take 10 $ ($ id) <$> iterate (\c f -> f (c succ)) (const 0) |
| 23:50:36 | <lambdabot> | [0,0,1,2,3,4,5,6,7,8] |
| 23:50:45 | <monochrom> | kontinuashun https://lambdacats.github.io/delimited/ |
| 23:51:21 | <EvanR> | yin, at the very least, define the missing operations with an error message denoting who to blame |
| 23:51:32 | <EvanR> | is ワ lowercase or uppercase for the purposes of haskell? |
| 23:51:53 | <chromoblob> | monochrom: neat |
| 23:51:55 | <int-e> | > isLower 'ワ' |
| 23:51:56 | <lambdabot> | False |
| 23:52:03 | <yin> | EvanR: I mostly blame the Num typeclass itself |
| 23:52:04 | <EvanR> | it's pretty big so seems like a constructor |
| 23:52:04 | <int-e> | > isUpper 'ワ' |
| 23:52:05 | <lambdabot> | False |
| 23:52:14 | <chromoblob> | ... |
| 23:52:21 | <int-e> | > let ワ = 1 in ワ |
| 23:52:22 | <lambdabot> | 1 |
| 23:52:31 | <int-e> | EvanR: I guess this makes it "lower case" |
| 23:52:59 | <int-e> | I hope it isn't anything offensive ;) |
| 23:53:16 | <int-e> | wah! |
| 23:53:19 | int-e | runs |
| 23:53:29 | <chromoblob> | > (not . isUpper) 'ワ' -- here, fixed :p |
| 23:53:31 | <lambdabot> | True |
| 23:54:04 | <int-e> | % data ワ = ワ |
| 23:54:04 | <yahb2> | <interactive>:19:10: error: [GHC-25742] Not a data constructor: ‘ワ’ |
| 23:54:25 | <int-e> | % data Xワ = Xワ |
| 23:54:25 | <yahb2> | <no output> |
| 23:54:31 | × | Square quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 23:54:34 | <int-e> | (that looks so wrong) |
| 23:54:39 | <chromoblob> | % data ワ = Wa |
| 23:54:39 | <yahb2> | <interactive>:23:6: error: [GHC-47568] ; Malformed head of type or class declaration: ワ |
| 23:54:56 | <EvanR> | so it's like, yes upper is required for constructors |
| 23:55:04 | <EvanR> | lower is not required for variables |
| 23:55:35 | <EvanR> | the plot thickens |
| 23:55:52 | <geekosaur> | yes and always has been. one of the annoyances with Haskell given scripts that lack the distinction (kanji, katakana, hangul, Arabic, Hebrew, etc.) |
| 23:56:11 | <geekosaur> | initial upper for constructors, lower (or neutral) for variables |
| 23:56:30 | <geekosaur> | ":" is treated as an "uppercase" symbol character |
| 23:56:48 | <yin> | > generalCategory 'ワ' |
| 23:56:49 | <lambdabot> | OtherLetter |
| 23:57:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:59:17 | <int-e> | EvanR: The Haskell 2010 report assumes a dichotomy with language like, for example, "Names for variables and type variables are identifiers beginning with lowercase letters or underscore; the other four kinds of names are identifiers beginning with uppercase letters." So this is technically a GHC extension? Hehe. |
| 23:59:31 | <EvanR> | if you write out some computer text containing latin, green, chinese, arabic, and hebrew, some of these scripts will appear "big" and some "small"... that's how it should've been divided between types, ctors and variables xD |
| 23:59:37 | <EvanR> | s/green/greek/ |
| 23:59:44 | <geekosaur> | > generalCategory 'ש' |
| 23:59:45 | <lambdabot> | OtherLetter |
All times are in UTC on 2026-03-03.