Home liberachat/#haskell: Logs Calendar

Logs on 2024-11-23 (liberachat/#haskell)

00:01:09 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds)
00:05:07 acidjnk_new3 joins (~acidjnk@p200300d6e7283f07095a006aa041e305.dip0.t-ipconnect.de)
00:10:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:17:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:21:50 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
00:22:05 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
00:22:52 lol_ joins (~lol@2603:3016:1e01:b9c0:198d:38f1:39b:cb75)
00:23:09 Lord_of_Life_ is now known as Lord_of_Life
00:25:12 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
00:26:45 × jcarpenter2 quits (~lol@2603:3016:1e01:b9c0:4843:dab9:4f1f:25c0) (Ping timeout: 246 seconds)
00:28:24 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:33:10 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
00:40:21 × acidjnk_new3 quits (~acidjnk@p200300d6e7283f07095a006aa041e305.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
00:43:47 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:48:07 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
00:52:54 × euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection)
00:53:13 euleritian joins (~euleritia@77.22.252.159)
00:54:58 × sprotte24 quits (~sprotte24@p200300d16f067300a0004335d6f02347.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
00:58:54 × euleritian quits (~euleritia@77.22.252.159) (Remote host closed the connection)
00:59:09 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
00:59:20 euleritian joins (~euleritia@77.22.252.159)
01:02:04 × euleritian quits (~euleritia@77.22.252.159) (Remote host closed the connection)
01:02:30 euleritian joins (~euleritia@77.22.252.159)
01:03:43 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
01:09:28 × stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
01:09:51 stiell_ joins (~stiell@gateway/tor-sasl/stiell)
01:11:08 khumba joins (~khumba@user/khumba)
01:14:29 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:15:09 × khumba quits (~khumba@user/khumba) (Client Quit)
01:17:22 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
01:19:20 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
01:25:41 weary-traveler joins (~user@user/user363627)
01:25:44 × Kamuela quits (sid111576@id-111576.tinside.irccloud.com) ()
01:26:04 Kamuela joins (~Kamuela@2601:18d:8700:7590:7d4a:4d03:a278:a7ca)
01:27:20 × Kamuela quits (~Kamuela@2601:18d:8700:7590:7d4a:4d03:a278:a7ca) (Remote host closed the connection)
01:29:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:33:01 Kamuela joins (sid111576@id-111576.tinside.irccloud.com)
01:34:38 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
01:36:21 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:40:01 <hgolden> wiki
01:40:57 <geekosaur> waka?
01:42:50 <hgolden> sorry. i meant to search rather than post.
01:45:12 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
01:47:54 × Square quits (~Square@user/square) (Ping timeout: 252 seconds)
01:51:55 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
01:52:17 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
01:57:03 × Wygulmage quits (~Wygulmage@user/Wygulmage) (Ping timeout: 256 seconds)
02:03:14 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:07:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
02:18:36 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:23:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
02:23:24 × xff0x quits (~xff0x@2405:6580:b080:900:c592:c633:1797:9bb3) (Ping timeout: 260 seconds)
02:25:38 × divya quits (~user@139.5.11.231) (Remote host closed the connection)
02:33:58 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:39:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
02:44:43 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
02:49:19 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
02:51:05 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
02:54:55 xff0x joins (~xff0x@2405:6580:b080:900:107f:bbe8:4d69:ff73)
02:57:23 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
02:58:46 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
03:06:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:08:10 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
03:08:11 Alleria_ joins (~Alleria@user/alleria)
03:09:09 × Alleria quits (~Alleria@user/alleria) (Ping timeout: 246 seconds)
03:11:23 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
03:21:59 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:32:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
03:40:52 JuanDaugherty joins (~juan@user/JuanDaugherty)
03:43:39 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:48:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
03:59:02 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
03:59:51 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
04:01:25 × bliminse quits (~bliminse@user/bliminse) (Quit: leaving)
04:03:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
04:04:08 bliminse joins (~bliminse@user/bliminse)
04:04:16 × kimiamania quits (~924ba01d@user/kimiamania) (Quit: PegeLinux)
04:04:46 kimiamania joins (~924ba01d@user/kimiamania)
04:14:36 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:17:51 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
04:19:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:27:06 × notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds)
04:29:58 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:30:44 bilegeek joins (~bilegeek@2600:1008:b0ad:42ad:95ca:dd60:a911:98a1)
04:34:43 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
04:45:35 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
04:48:22 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
04:50:33 × ridcully quits (~ridcully@pd951f16a.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
04:50:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
04:59:23 × RedNifre quits (~RedNifre@dslb-088-075-093-154.088.075.pools.vodafone-ip.de) (Ping timeout: 255 seconds)
05:00:51 × euleritian quits (~euleritia@77.22.252.159) (Remote host closed the connection)
05:00:59 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:01:15 euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
05:06:44 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
05:12:22 RedNifre joins (~RedNifre@dslb-002-206-121-010.002.206.pools.vodafone-ip.de)
05:13:09 ridcully joins (~ridcully@pd951f245.dip0.t-ipconnect.de)
05:22:44 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:27:27 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
05:38:06 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:41:23 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:42:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
05:42:49 Feuermagier joins (~Feuermagi@user/feuermagier)
05:46:04 hiecaq joins (~hiecaq@user/hiecaq)
05:53:27 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
05:58:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
06:04:58 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
06:08:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:13:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
06:17:27 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
06:24:07 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:25:36 euphores joins (~SASL_euph@user/euphores)
06:26:38 vanishingideal joins (~vanishing@user/vanishingideal)
06:28:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
06:36:00 × alp_ quits (~alp@2001:861:8ca0:4940:78a1:8f27:d654:5f75) (Ping timeout: 246 seconds)
06:39:30 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:43:48 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
06:54:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
06:55:06 target_i joins (~target_i@user/target-i/x-6023099)
06:57:30 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
06:59:54 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
07:00:29 × JamesMowery43 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
07:00:56 JamesMowery43 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
07:03:44 ubert joins (~Thunderbi@178.165.183.45.wireless.dyn.drei.com)
07:09:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:12:11 falafel joins (~falafel@2600:1700:99f4:2050:bca7:c13f:5997:acdb)
07:12:46 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
07:16:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
07:18:52 × youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection)
07:21:22 youthlic joins (~Thunderbi@user/youthlic)
07:23:49 takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:27:38 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:30:25 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
07:31:56 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
07:35:10 × bilegeek quits (~bilegeek@2600:1008:b0ad:42ad:95ca:dd60:a911:98a1) (Quit: Leaving)
07:39:47 acidjnk_new3 joins (~acidjnk@p200300d6e7283f30c1cc099943f53135.dip0.t-ipconnect.de)
07:40:15 Digitteknohippie joins (~user@user/digit)
07:40:33 × Digit quits (~user@user/digit) (Ping timeout: 252 seconds)
07:42:58 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:46:37 Digitteknohippie is now known as Digit
07:47:41 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
07:57:44 housemate joins (~housemate@2405:6e00:2806:a805:e1b7:7e4:8955:5ba7)
07:58:19 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
07:59:38 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:00:02 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:00:37 caconym joins (~caconym@user/caconym)
08:02:37 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
08:02:47 alp_ joins (~alp@2001:861:8ca0:4940:7f78:9e73:c563:a763)
08:07:35 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
08:10:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:15:13 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
08:24:55 housemate_ joins (~housemate@9ykysfsngz398hss1v94.ip6.superloop.au)
08:25:21 × alp_ quits (~alp@2001:861:8ca0:4940:7f78:9e73:c563:a763) (Ping timeout: 252 seconds)
08:25:58 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:26:38 × housemate quits (~housemate@2405:6e00:2806:a805:e1b7:7e4:8955:5ba7) (Ping timeout: 245 seconds)
08:30:54 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
08:31:06 <tomsmeding> bwe: happy that you like it :)
08:31:41 <tomsmeding> bwe: any reason in particular you're using play-haskell.tomsmeding.com instead of play.haskell.org? (They're the same machine, one domain is just an alias for the other, so it matters nil, but for curiosity)
08:41:20 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
08:45:44 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
08:47:18 × j1n37 quits (j1n37@user/j1n37) (Read error: Connection reset by peer)
08:50:24 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
08:56:41 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:01:21 <haskellbridge> <hellwolf> i hadn't known play. Haskell. org was a thing... much easier to remember now :p
09:02:54 <tomsmeding> long live mobile keyboards that auto-insert a space after a dot?
09:03:43 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
09:03:53 <tomsmeding> hellwolf: should play-haskell.tomsmeding.com redirect to play.haskell.org?
09:04:10 <monochrom> Mine auto-insert a dot after I double-click space
09:04:38 <tomsmeding> now that I think about it, that's indeed the more common thing to do (mine does nothing, don't decide for me what I want to type)
09:05:28 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
09:05:38 <monochrom> In some sense it's a workaround for not having a dot on the letters-and-space keyboard.
09:05:51 tomsmeding does
09:06:58 <monochrom> They would rather have an emoji button than a dot button.
09:07:29 × falafel quits (~falafel@2600:1700:99f4:2050:bca7:c13f:5997:acdb) (Ping timeout: 248 seconds)
09:07:36 j1n37 joins (j1n37@user/j1n37)
09:07:48 <haskellbridge> <hellwolf> tomsmeding: Why not? it increases the awareness of its domain proper.
09:09:02 <tomsmeding> monochrom: my android keyboard has on the bottom row: numberpadswitch, comma, multilingual, spacebaaaaaar, dot, return
09:09:11 <tomsmeding> and long-press on the return key gives the emoji picker
09:09:41 <monochrom> Nice. Mine is an iPhone.
09:09:52 <tomsmeding> and most other punctuation marks are on a long-press on a letter
09:10:02 <haskellbridge> <hellwolf> (who actually uses irc on mobile here? my long connection is on my machine instead, hence my name has two instances in this room.)
09:10:26 <tomsmeding> I sometimes when I go afk but have a strong interest in actually wanting to get mentions as they arrive
09:10:46 <tomsmeding> but I guess, I can set it to redirect :)
09:11:37 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:13:13 hiecaq joins (~hiecaq@user/hiecaq)
09:14:50 <tomsmeding> hellwolf: redirect in place
09:16:05 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
09:16:34 <haskellbridge> <hellwolf> thank you! I didn't mean to ask to sacrifice your branding :p
09:16:57 <tomsmeding> hahaha I don't care much about that branding, if someone really needs to know they'll know anyway
09:27:00 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:31:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
09:39:08 caryhartline joins (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp)
09:39:09 × caryhartline quits (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) (Read error: Connection reset by peer)
09:39:31 caryhartline joins (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp)
09:41:11 × euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:41:18 euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de)
09:42:20 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:47:16 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
09:54:05 × caryhartline quits (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) (Read error: Connection reset by peer)
09:55:39 jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
09:57:41 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
09:58:30 × jespada_ quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
10:02:32 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
10:06:02 sawilagar joins (~sawilagar@user/sawilagar)
10:06:07 caryhartline joins (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp)
10:13:03 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:13:37 × cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
10:17:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
10:22:45 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
10:28:13 Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
10:28:25 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:34:58 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
10:37:41 × acidjnk_new3 quits (~acidjnk@p200300d6e7283f30c1cc099943f53135.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
10:40:36 × Alleria_ quits (~Alleria@user/alleria) (Read error: Connection reset by peer)
10:46:22 Alleria joins (~Alleria@user/alleria)
10:46:26 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
10:47:37 × CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
10:49:32 CrunchyFlakes joins (~CrunchyFl@31.19.233.78)
10:50:50 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
10:54:43 L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
11:01:47 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:05:01 pavonia joins (~user@user/siracusa)
11:06:19 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
11:12:41 ljdarj joins (~Thunderbi@user/ljdarj)
11:15:28 Square joins (~Square@user/square)
11:24:51 acidjnk_new3 joins (~acidjnk@p200300d6e7283f30c1cc099943f53135.dip0.t-ipconnect.de)
11:26:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:31:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
11:36:18 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds)
11:39:38 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
11:39:43 sawilagar joins (~sawilagar@user/sawilagar)
11:42:13 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:44:42 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
11:46:40 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
11:57:33 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
11:58:14 troydm joins (~troydm@user/troydm)
11:58:21 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
11:58:57 alp_ joins (~alp@2001:861:8ca0:4940:52f6:f44e:2991:e8fd)
12:00:08 × caconym quits (~caconym@user/caconym) (Quit: bye)
12:02:14 caconym joins (~caconym@user/caconym)
12:02:48 × kronicmage quits (~kronicmag@neotame.csclub.uwaterloo.ca) (Ping timeout: 276 seconds)
12:03:18 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
12:04:38 kronicmage joins (~kronicmag@neotame.csclub.uwaterloo.ca)
12:07:28 harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288)
12:09:31 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal)
12:14:09 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:21:07 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
12:21:36 × ubert quits (~Thunderbi@178.165.183.45.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
12:21:56 JuanDaugherty joins (~juan@user/JuanDaugherty)
12:23:27 sagittaria joins (~sagittari@220.118.98.38)
12:29:02 ubert joins (~Thunderbi@178.115.46.13.wireless.dyn.drei.com)
12:32:10 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:33:04 lxsameer joins (~lxsameer@Serene/lxsameer)
12:37:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
12:47:30 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
12:52:12 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
12:57:38 ljdarj1 joins (~Thunderbi@user/ljdarj)
12:59:33 × masterbuilder quits (~quassel@user/masterbuilder) (Ping timeout: 248 seconds)
13:00:03 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:01:09 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
13:01:09 ljdarj1 is now known as ljdarj
13:04:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
13:12:42 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
13:15:14 briandaed joins (~root@user/briandaed)
13:15:23 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:19:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
13:21:32 × Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (Remote host closed the connection)
13:30:46 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:35:17 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
13:42:28 × harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving)
13:44:41 × caryhartline quits (~caryhartl@KD106184157010.ec-userreverse.dion.ne.jp) (Read error: Connection reset by peer)
13:46:02 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds)
13:46:08 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
13:47:11 × j1n37 quits (j1n37@user/j1n37) (Read error: Connection reset by peer)
13:50:12 j1n37 joins (j1n37@user/j1n37)
13:50:18 L29Ah joins (~L29Ah@wikipedia/L29Ah)
13:50:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
13:51:44 × CrunchyFlakes quits (~CrunchyFl@31.19.233.78) (Ping timeout: 255 seconds)
13:53:59 CrunchyFlakes joins (~CrunchyFl@31.19.233.78)
13:54:12 ubert1 joins (~Thunderbi@178.165.185.16.wireless.dyn.drei.com)
13:55:06 × ubert quits (~Thunderbi@178.115.46.13.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
13:55:07 ubert1 is now known as ubert
13:58:05 ubert1 joins (~Thunderbi@91.141.78.234.wireless.dyn.drei.com)
13:59:54 × ubert quits (~Thunderbi@178.165.185.16.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
13:59:54 ubert1 is now known as ubert
14:01:03 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:02:48 rvalue- joins (~rvalue@user/rvalue)
14:03:59 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds)
14:07:27 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
14:09:38 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
14:09:45 weary-traveler joins (~user@user/user363627)
14:10:23 × lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
14:10:45 rvalue- is now known as rvalue
14:10:52 lbseale joins (~quassel@user/ep1ctetus)
14:16:17 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
14:17:22 × ubert quits (~Thunderbi@91.141.78.234.wireless.dyn.drei.com) (Ping timeout: 252 seconds)
14:19:05 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:22:12 Nixkernal joins (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net)
14:22:13 × alp_ quits (~alp@2001:861:8ca0:4940:52f6:f44e:2991:e8fd) (Ping timeout: 248 seconds)
14:22:42 hiecaq joins (~hiecaq@user/hiecaq)
14:23:15 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
14:24:30 Everything joins (~Everythin@46.211.85.22)
14:25:50 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:30:52 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:32:44 × acidjnk_new3 quits (~acidjnk@p200300d6e7283f30c1cc099943f53135.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
14:34:26 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:34:50 × Nixkernal quits (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
14:35:07 Nixkernal joins (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net)
14:39:00 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
14:47:34 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
14:48:56 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
14:49:08 × Everything quits (~Everythin@46.211.85.22) (Ping timeout: 245 seconds)
14:49:27 gorignak joins (~gorignak@user/gorignak)
14:49:46 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
14:51:31 Everything joins (~Everythin@46-133-33-209.mobile.vf-ua.net)
14:54:28 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
14:56:08 × Alleria quits (~Alleria@user/alleria) (Remote host closed the connection)
14:56:51 notzmv joins (~umar@user/notzmv)
14:57:09 Alleria joins (~Alleria@user/alleria)
14:59:07 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
14:59:38 gorignak joins (~gorignak@user/gorignak)
15:02:04 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:06:03 × m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0)
15:06:25 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
15:09:18 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
15:09:49 gorignak joins (~gorignak@user/gorignak)
15:15:40 Guest8 joins (~Guest8@2a00:9fe0:0:c::1:102a)
15:17:25 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:25:09 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
15:26:15 ftzm joins (~ftzm@085080233074.dynamic.telenor.dk)
15:28:18 × Guest8 quits (~Guest8@2a00:9fe0:0:c::1:102a) (Quit: Client closed)
15:35:59 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:38:55 m1dnight joins (~m1dnight@d8D861908.access.telenet.be)
15:39:06 × dfg quits (~dfg@user/dfg) (Remote host closed the connection)
15:39:32 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
15:40:04 gorignak joins (~gorignak@user/gorignak)
15:40:33 dfg joins (~dfg@user/dfg)
15:41:43 × dfg quits (~dfg@user/dfg) (Remote host closed the connection)
15:42:31 dfg joins (~dfg@user/dfg)
15:42:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
15:43:43 × m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Client Quit)
15:44:29 m1dnight joins (~m1dnight@d8D861908.access.telenet.be)
15:49:39 acidjnk_new3 joins (~acidjnk@p200300d6e7283f30c1cc099943f53135.dip0.t-ipconnect.de)
15:49:44 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
15:49:59 m1dnight_ joins (~christoph@d8D861908.access.telenet.be)
15:50:15 gorignak joins (~gorignak@user/gorignak)
15:50:24 × m1dnight_ quits (~christoph@d8D861908.access.telenet.be) (Client Quit)
15:50:41 m1dnight_ joins (~christoph@d8D861908.access.telenet.be)
15:51:31 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4))
15:53:00 × m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0)
15:53:17 m1dnight joins (~m1dnight@d8D861908.access.telenet.be)
15:53:44 × m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Client Quit)
15:54:00 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
15:54:50 m1dnight joins (~m1dnight@d8D861908.access.telenet.be)
15:54:54 × m1dnight_ quits (~christoph@d8D861908.access.telenet.be) (Client Quit)
15:55:02 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
15:55:11 m1dnight_ joins (~christoph@d8D861908.access.telenet.be)
15:58:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
15:58:48 × m1dnight_ quits (~christoph@d8D861908.access.telenet.be) (Client Quit)
15:59:05 m1dnight_ joins (~christoph@d8D861908.access.telenet.be)
15:59:56 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
16:00:27 gorignak joins (~gorignak@user/gorignak)
16:00:49 × m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (Quit: WeeChat 3.0)
16:01:48 m1dnight joins (~m1dnight@d8D861908.access.telenet.be)
16:01:48 × m1dnight_ quits (~christoph@d8D861908.access.telenet.be) (Client Quit)
16:03:06 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:03:28 m1dnight_ joins (~christoph@d8D861908.access.telenet.be)
16:05:28 × m1dnight_ quits (~christoph@d8D861908.access.telenet.be) (Client Quit)
16:06:49 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:07:56 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
16:10:09 stef204 joins (~stef204@user/stef204)
16:10:55 × youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection)
16:11:27 × son0p quits (~ff@2800:e2:f80:ee7::4) (Ping timeout: 244 seconds)
16:12:22 Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se)
16:12:29 Digitteknohippie joins (~user@user/digit)
16:12:37 × Digit quits (~user@user/digit) (Ping timeout: 248 seconds)
16:15:49 × Everything quits (~Everythin@46-133-33-209.mobile.vf-ua.net) (Quit: leaving)
16:18:25 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:19:16 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
16:23:50 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
16:30:09 ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:30:44 machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
16:34:16 econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:34:56 Digitteknohippie is now known as Digit
16:37:31 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:41:56 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
16:44:45 × stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1)
16:46:32 michalz joins (~michalz@185.246.207.217)
16:46:41 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
16:48:45 ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:52:55 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
16:57:26 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
16:57:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
16:57:56 athan joins (~athan@syn-173-042-095-241.biz.spectrum.com)
16:59:38 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
17:01:33 sprotte24 joins (~sprotte24@p200300d16f0d6f0079b5156ddb362109.dip0.t-ipconnect.de)
17:02:21 cheater joins (~Username@user/cheater)
17:04:00 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
17:04:03 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:08:42 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
17:13:40 ljdarj joins (~Thunderbi@user/ljdarj)
17:15:24 × j1n37 quits (j1n37@user/j1n37) (Read error: Connection reset by peer)
17:17:38 ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:18:30 j1n37 joins (j1n37@user/j1n37)
17:19:24 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:27:40 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
17:29:15 lxsameer joins (~lxsameer@Serene/lxsameer)
17:33:27 Smiles joins (uid551636@id-551636.lymington.irccloud.com)
17:38:44 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:43:29 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
17:54:07 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
17:56:15 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
17:58:41 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
17:59:08 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds)
18:09:45 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:14:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
18:17:29 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
18:20:07 × mikko quits (~mikko@user/mikko) (Quit: WeeChat 4.4.2)
18:20:23 son0p joins (~ff@2800:e2:f80:ee7::4)
18:20:42 mikko joins (~mikko@user/mikko)
18:25:19 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:31:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
18:36:51 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:43:21 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:45:31 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
18:47:26 <lxsameer> hey folks, how do you feel about the 'Safe' extension?
18:47:53 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
18:48:32 <geekosaur> not useful, and doesn't mean what most people expect
18:48:36 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
18:48:49 <lxsameer> geekosaur: awesome, short and percise
18:48:52 <lxsameer> thank you
18:51:00 ChaiTRex joins (~ChaiTRex@user/chaitrex)
18:51:19 youthlic joins (~Thunderbi@user/youthlic)
18:53:28 <geekosaur> (basically means the typechecker is stricter than normal, which as a side effect disallows various backdoors such as unsafePerformIO and unsafeCoerce. unfortunately, being opt-in, it's relatively useless. it also disables GND which could otherwise perform questionable coercions)
18:55:14 <lxsameer> geekosaur: out of curiosity I enabled it earlier, most of the libs that I use can't get imported safely :D
18:57:11 <geekosaur> anything that uses FFI is inherently unsafe because there's no way to validate C, so module authors must vet their usage and explicitly declare their modules Trustworthy
18:57:16 × glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer)
18:57:17 <geekosaur> most don't
18:57:31 <tomsmeding> don't you then also have to explicitly trust Trustworthy-using packages?
18:57:34 glguy joins (glguy@libera/staff/glguy)
18:57:39 <tomsmeding> or is that also opt-in
18:58:01 alp_ joins (~alp@2001:861:8ca0:4940:a586:31b0:6114:221b)
18:58:12 <tomsmeding> ah that's with -fpackage-trust
18:58:25 <geekosaur> opt-in, I think; there are options controlling whether to use the declared module states, reject them, or specify per module iirc
18:58:43 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
18:58:56 <tomsmeding> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/safe_haskell.html#ghc-flag--fpackage-trust
18:59:56 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:03:14 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
19:04:18 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
19:04:18 tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:14:02 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:18:23 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
19:20:14 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:24:38 akegalj joins (~akegalj@11-134.dsl.iskon.hr)
19:24:43 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
19:25:05 × alp_ quits (~alp@2001:861:8ca0:4940:a586:31b0:6114:221b) (Ping timeout: 248 seconds)
19:26:47 × sagittaria quits (~sagittari@220.118.98.38) (Quit: sagittaria)
19:32:12 × son0p quits (~ff@2800:e2:f80:ee7::4) (Quit: Leaving)
19:35:32 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:36:25 ljdarj joins (~Thunderbi@user/ljdarj)
19:39:53 alp_ joins (~alp@2001:861:8ca0:4940:b023:f0f6:2875:ea8b)
19:41:35 son0p joins (~ff@191.109.96.243)
19:42:40 × Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
19:43:48 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
19:55:19 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
19:59:05 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
19:59:53 Sgeo joins (~Sgeo@user/sgeo)
20:00:03 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:00:40 caconym joins (~caconym@user/caconym)
20:01:34 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
20:03:36 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
20:05:30 JuanDaugherty joins (~juan@user/JuanDaugherty)
20:07:04 Sgeo joins (~Sgeo@user/sgeo)
20:09:49 ph88 joins (~ph88@2a02:8109:9e26:c800:b3b1:d228:4f1c:e33c)
20:10:40 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
20:12:27 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:13:35 Sgeo joins (~Sgeo@user/sgeo)
20:17:07 renatofdds joins (~user@user/renatofdds)
20:19:01 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
20:29:05 × Alleria quits (~Alleria@user/alleria) (Ping timeout: 255 seconds)
20:29:07 × j1n37 quits (j1n37@user/j1n37) (Read error: Connection reset by peer)
20:30:29 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:32:06 <bwe> tomsmeding: I've only learned about it by converting a paste to it; however I missed to spot the playground button. I return to it because I have it faster open than creating a new project for isolating and fiddling around with problems.
20:32:28 j1n37 joins (j1n37@user/j1n37)
20:33:52 <bwe> tomsmeding: I wonder whether it's possible to edit a file locally and keep it synchronised with a play instance. Likewise, downloading a play file and keep it synced…
20:34:25 <tomsmeding> bwe: thanks for making me aware that the pastebin still links to the old URL :p
20:35:10 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
20:36:03 <tomsmeding> bwe: such synchronisation sounds suspiciously like using the playground as an IDE. It's not, it's a pastebin with an attached execution tool :p
20:37:25 × ph88 quits (~ph88@2a02:8109:9e26:c800:b3b1:d228:4f1c:e33c) (Remote host closed the connection)
20:37:38 <tomsmeding> bwe: if you want to fiddle around, what haskell dependencies do you need? If you only need what's called the bootlibs ( https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history ), then plain ghc/ghci works
20:39:06 <tomsmeding> bwe: if you want dependencies but are okay with just a single runnable file (in which HLS doesn't work, at least for me), then https://cabal.readthedocs.io/en/stable/cabal-commands.html?highlight=script%20files#cabal-run
20:39:18 <tomsmeding> (the 'project:' block is optional)
20:43:00 <tomsmeding> 'playground' on paste.tomsmeding.com fixed to go to play.haskell.org :)
20:43:30 <tomsmeding> (which, with the redirect that is in place since yesterday, also fixes said link to actually load the file in the playground...)
20:45:51 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
20:46:13 × briandaed quits (~root@user/briandaed) (Remote host closed the connection)
20:46:28 tomsmeding now realises that the sporadic people landing on play-haskell.tomsmeding.com were probably all coming from the pastebin at this point...
20:46:35 <bwe> tomsmeding: ok, how about cross-loading github / sr.ht files through the playground? I mean that way I could edit the file locally and pushing it to gh / sr.ht actually will yield an updated playground
20:46:58 <tomsmeding> the playground is not intended as a development environment
20:47:06 Everything joins (~Everythin@46.211.115.170)
20:47:07 <bwe> tomsmeding: I know, but I like it ;)
20:47:12 <tomsmeding> :p
20:47:45 <tomsmeding> the thing is, it can be used (-ish) as a development environment, but once I concede to adding one feature to make that nicer, there are a gezillion more things that could be done to improve it as a development environment
20:47:50 <tomsmeding> because it's a rather crappy one now :p
20:48:07 <tomsmeding> and I don't want to do all of those things, and if you want those, there are already solutions out there -- github codespaces, for example, or repl.it
20:48:27 <tomsmeding> the playground is more lightweight and I'd like to keep it that way
20:48:53 <bwe> Oh, completely understandable. Thanks for elaborating on this. Clear for me now :).
20:49:18 <tomsmeding> of course, features that make it better as a playground but also happen to make it nicer as a development environment are not off the table :)
20:49:30 <bwe> And thanks for the two tips on local file development.
20:49:50 <tomsmeding> these things very non-discoverable :)
20:50:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
20:51:37 renatofdds parts (~user@user/renatofdds) ()
20:58:11 hueso_ joins (~root@user/hueso)
20:58:12 × hueso quits (~root@user/hueso) (Read error: Connection reset by peer)
21:00:05 × akegalj quits (~akegalj@11-134.dsl.iskon.hr) (Ping timeout: 248 seconds)
21:01:12 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:05:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
21:06:01 × vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving)
21:06:24 masterbuilder joins (~quassel@user/masterbuilder)
21:10:05 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
21:16:33 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:20:52 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
21:21:50 × michalz quits (~michalz@185.246.207.217) (Remote host closed the connection)
21:22:09 × JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
21:22:33 × Everything quits (~Everythin@46.211.115.170) (Quit: leaving)
21:22:54 ph88 joins (~ph88@2a02:8109:9e26:c800:378f:4c14:ef5c:5e04)
21:26:05 Everything joins (~Everythin@46.211.115.170)
21:31:55 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:33:44 <hellwolf> Not sure where to ask about haskell-language-server questions. I have an issue when using cabal mixins.
21:34:25 <geekosaur> #haskell-language-server
21:34:32 <geekosaur> (or the same on Matrix)
21:36:33 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
21:36:34 agent314 joins (~quassel@146.70.211.42)
21:41:40 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
21:43:16 remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
21:44:40 <hellwolf> I don't find it on the Matrix. But I am on IRC.
21:45:18 <Hecate> hellwolf: https://app.element.io/#/room/#haskell-language-server:matrix.org
21:47:16 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
21:48:04 <hellwolf> Thanks! I swear that searching "haskell-language-server" public rooms in the element.io UI yielded nothing for me.
21:48:14 <hellwolf> weird software
21:48:36 <hellwolf> got the worst from both web2 and web1 IRC
21:51:07 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
21:53:51 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
21:53:56 × hellwolf quits (~user@ce28-37de-4848-1507-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
21:54:15 hellwolf joins (~user@f887-92f8-0256-c4f3-0f00-4d40-07d0-2001.sta.estpak.ee)
21:56:06 <geekosaur> it's disabled due to spam, aiui
21:56:30 <hellwolf> I see. That makes sense.
22:05:14 × jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds)
22:05:18 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:07:23 jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
22:09:30 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
22:10:14 peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
22:19:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:19:48 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
22:20:39 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:25:11 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds)
22:34:42 JuanDaugherty joins (~juan@user/JuanDaugherty)
22:35:15 Alleria joins (~Alleria@user/alleria)
22:35:59 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:40:23 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
22:41:05 × Alleria quits (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:42:02 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
22:42:25 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:43:40 ljdarj joins (~Thunderbi@user/ljdarj)
22:51:21 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
22:55:49 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
22:59:01 Alleria_ joins (~Alleria@user/alleria)
23:06:43 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:07:11 × Alleria_ quits (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…)
23:11:36 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
23:13:34 × ph88 quits (~ph88@2a02:8109:9e26:c800:378f:4c14:ef5c:5e04) (Ping timeout: 244 seconds)
23:14:02 ph88 joins (~ph88@2a02:8109:9e26:c800:7f56:50fd:4ad9:d7f9)
23:22:19 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:22:32 sagittaria joins (~sagittari@220.118.98.38)
23:29:24 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
23:40:21 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:41:05 × sagittaria quits (~sagittari@220.118.98.38) (Quit: sagittaria)
23:44:58 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
23:47:09 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds)
23:55:16 merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl)
23:55:21 × Nixkernal quits (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
23:59:09 <hellwolf> What it takes for me to embed a little widget and let people to try a subset of Haskell for my landing page? Similar to haskell.org has. Fwiw, roc-lang.org a "Try Roc" area, which is cool.
23:59:45 × merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
23:59:51 <hellwolf> (perhaps I could reuse/self host something behind play.haskell.org?)
23:59:56 ephemient joins (uid407513@user/ephemient)

All times are in UTC on 2024-11-23.