Logs on 2025-08-22 (liberachat/#haskell)
| 00:00:56 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 00:01:11 | × | comonad quits (~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev) |
| 00:01:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 00:03:10 | → | comonad joins (~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) |
| 00:03:40 | × | comonad quits (~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) (Client Quit) |
| 00:04:44 | → | comonad joins (~comonad@p200300d0270a4d00dd81877f81551ca0.dip0.t-ipconnect.de) |
| 00:07:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:08:52 | × | Moyst quits (~moyst@user/moyst) (Server closed connection) |
| 00:10:08 | → | Moyst joins (~moyst@user/moyst) |
| 00:12:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:15:41 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:18:54 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 00:19:19 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 00:21:00 | × | amadaluzia quits (~amadaluzi@user/amadaluzia) (Quit: ZNC 1.10.1 - https://znc.in) |
| 00:28:50 | → | krei-se- joins (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) |
| 00:29:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:29:33 | × | krei-se quits (~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 00:35:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 00:40:50 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:41:02 | × | xdej quits (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 00:41:02 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 00:41:11 | → | xdej joins (~xdej@quatramaran.salle-s.org) |
| 00:47:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:51:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:53:12 | × | xff0x quits (~xff0x@2405:6580:b080:900:5c56:788a:c6b4:ed46) (Ping timeout: 248 seconds) |
| 00:54:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 01:02:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:03:40 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 01:03:57 | → | weary-traveler joins (~user@user/user363627) |
| 01:05:17 | → | jb-pce joins (~jb-pce@2a01:cb15:80d9:6d00:e803:553b:5621:4829) |
| 01:05:27 | × | jb-pce quits (~jb-pce@2a01:cb15:80d9:6d00:e803:553b:5621:4829) (Remote host closed the connection) |
| 01:05:53 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:07:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:18:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:22:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:24:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 01:24:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 258 seconds) |
| 01:26:35 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:31:55 | → | jackdk joins (uid373013@cssa/life/jackdk) |
| 01:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:38:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:42:18 | × | ft quits (~ft@p4fc2a016.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:44:07 | → | ft joins (~ft@p4fc2a234.dip0.t-ipconnect.de) |
| 01:46:30 | × | lieven quits (~mal@ns2.wyrd.be) (Server closed connection) |
| 01:46:52 | → | mal1 joins (~mal@ns2.wyrd.be) |
| 01:48:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:49:33 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 245 seconds) |
| 01:53:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:55:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 01:57:46 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:00:24 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 02:03:22 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 02:04:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:05:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 02:06:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 02:09:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 02:12:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:16:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:16:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:22:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 248 seconds) |
| 02:27:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:34:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 02:35:04 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 258 seconds) |
| 02:42:41 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:44:42 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 02:45:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:45:54 | trickard_ | is now known as trickard |
| 02:46:38 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 02:50:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:00:42 | × | manwithluck quits (~manwithlu@2a09:bac1:5ba0:20::39b:32) (Ping timeout: 256 seconds) |
| 03:00:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:41 | → | manwithluck joins (~manwithlu@2a09:bac5:5087:2432::39b:ec) |
| 03:03:01 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 03:03:39 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 03:03:39 | ChanServ | sets mode +v haskellbridge |
| 03:05:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:13:59 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 03:14:26 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 03:16:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:20:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:25:12 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 03:31:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:35:08 | → | aforemny joins (~aforemny@2001:9e8:6ce3:ab00:b179:c42a:16e6:327b) |
| 03:36:15 | × | aforemny_ quits (~aforemny@2001:9e8:6cc5:1100:e216:5da2:2886:cf6e) (Ping timeout: 252 seconds) |
| 03:36:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:37:10 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 03:37:44 | × | fgarcia quits (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 03:41:26 | → | fgarcia joins (~lei@user/fgarcia) |
| 03:47:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:48:02 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 03:48:18 | → | weary-traveler joins (~user@user/user363627) |
| 03:51:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:02:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:03:46 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 04:07:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:12:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:17:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 04:25:51 | → | fgarcia_ joins (~lei@user/fgarcia) |
| 04:27:46 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 258 seconds) |
| 04:28:04 | fgarcia_ | is now known as fgarcia |
| 04:28:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:33:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:33:43 | × | nek0 quits (~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat) |
| 04:42:39 | × | tinjamin4 quits (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 04:43:48 | → | tinjamin47 joins (~tinjamin@banshee.h4x0r.space) |
| 04:43:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:51:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 04:52:10 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 04:54:08 | → | fgarcia joins (~lei@user/fgarcia) |
| 04:55:38 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:03:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:08:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:08:53 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 05:09:35 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 05:13:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:18:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:20:56 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 05:22:06 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:22:19 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 05:28:36 | <dibblego> | https://hackage.haskell.org/package/prettyprinter "The library is stuffed with runnable examples" — where are they? |
| 05:28:54 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:29:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:32:56 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 05:36:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 05:36:23 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 05:36:43 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 05:39:28 | → | michalz joins (~michalz@185.246.207.205) |
| 05:47:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:48:29 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:49:50 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Server closed connection) |
| 05:50:02 | → | taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com) |
| 05:52:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 06:02:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:04:08 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 06:05:42 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:05:55 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Server closed connection) |
| 06:06:03 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 06:06:03 | × | Jonno_FTW quits (~come@api.carswap.me) (Changing host) |
| 06:06:03 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 06:06:34 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 06:07:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:07:43 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:07:52 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 06:07:57 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 06:14:29 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 06:14:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:15:42 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 06:17:57 | × | ft quits (~ft@p4fc2a234.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:18:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 06:19:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:27:38 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 06:30:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:35:02 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:35:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:38:43 | → | jreicher joins (~user@user/jreicher) |
| 06:45:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:47:22 | → | eiadtala^ joins (~eiadtala@108-203-208-17.lightspeed.tukrga.sbcglobal.net) |
| 06:47:29 | → | Square joins (~Square@user/square) |
| 06:50:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 06:53:14 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:54:21 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 06:57:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
| 06:59:04 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds) |
| 07:00:03 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:44 | → | caconym747 joins (~caconym@user/caconym) |
| 07:01:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:04:48 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:06:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 07:06:41 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 07:16:45 | × | poscat0x04 quits (~poscat@user/poscat) (Remote host closed the connection) |
| 07:20:02 | → | poscat joins (~poscat@user/poscat) |
| 07:20:18 | → | chele joins (~chele@user/chele) |
| 07:21:03 | → | tinjamin477 joins (~tinjamin@banshee.h4x0r.space) |
| 07:22:03 | × | tinjamin47 quits (~tinjamin@banshee.h4x0r.space) (Ping timeout: 248 seconds) |
| 07:22:03 | tinjamin477 | is now known as tinjamin47 |
| 07:24:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 07:34:35 | <[exa]> | dibblego: like, there are some |
| 07:34:57 | <[exa]> | but it somehow doesn't classify as "stuffed" for me |
| 07:36:13 | <[exa]> | I guess these are the copypastable examples in docstrings |
| 07:36:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 07:43:23 | × | Alleria_ quits (~Alleria@user/alleria) (Read error: Connection reset by peer) |
| 07:49:24 | → | Alleria joins (~Alleria@user/alleria) |
| 07:53:12 | × | nisstyre quits (wes@user/nisstyre) (Server closed connection) |
| 07:53:32 | → | nisstyre joins (wes@user/nisstyre) |
| 07:54:00 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 248 seconds) |
| 07:56:11 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 07:56:24 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 07:58:21 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 07:58:37 | → | califax joins (~califax@user/califx) |
| 07:59:52 | trickard_ | is now known as trickard |
| 08:00:41 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 08:02:41 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 08:03:05 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 08:04:25 | × | JamesMowery17736 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 256 seconds) |
| 08:04:38 | → | acidjnk_new joins (~acidjnk@p200300d6e71719923596d1db434d6d14.dip0.t-ipconnect.de) |
| 08:18:48 | → | Square2 joins (~Square4@user/square) |
| 08:20:53 | → | __monty__ joins (~toonn@user/toonn) |
| 08:25:43 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer) |
| 08:26:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 08:29:20 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 08:29:23 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 08:30:09 | → | haritz joins (~hrtz@209.35.65.79) |
| 08:30:09 | × | haritz quits (~hrtz@209.35.65.79) (Changing host) |
| 08:30:09 | → | haritz joins (~hrtz@user/haritz) |
| 08:31:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:32:56 | × | Square2 quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 08:35:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:40:54 | → | tromp joins (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
| 08:42:32 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 08:43:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:00:05 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:04:14 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 09:09:16 | × | astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (Server closed connection) |
| 09:09:41 | → | astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) |
| 09:13:35 | → | JamesMowery17736 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) |
| 09:39:04 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 09:51:05 | × | kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Server closed connection) |
| 09:51:24 | → | kilolympus joins (~kilolympu@vmi1102682.contaboserver.net) |
| 09:53:39 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 09:58:16 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 09:58:39 | × | haasn quits (sid579015@id-579015.hampstead.irccloud.com) (Server closed connection) |
| 09:58:53 | → | haasn joins (sid579015@id-579015.hampstead.irccloud.com) |
| 10:04:10 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 10:10:52 | → | nek0 joins (~nek0@user/nek0) |
| 10:11:10 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 10:16:02 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 10:18:42 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 10:24:24 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:24:38 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 10:27:16 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 10:30:41 | → | sprotte24 joins (~sprotte24@p200300d16f0b6e009801b70f923e9ecf.dip0.t-ipconnect.de) |
| 10:36:11 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 10:37:09 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 10:37:44 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 10:39:54 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 10:44:40 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 10:48:38 | → | athan_ joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 10:48:58 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 248 seconds) |
| 10:54:13 | × | sprotte24 quits (~sprotte24@p200300d16f0b6e009801b70f923e9ecf.dip0.t-ipconnect.de) (Quit: Leaving) |
| 10:59:31 | → | karenw joins (~karenw@user/karenw) |
| 11:02:34 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:05:01 | × | jle` quits (~jle`@2603:8001:3b00:11:4bae:4781:8d0b:3d40) (Ping timeout: 255 seconds) |
| 11:06:41 | → | jle` joins (~jle`@2603:8001:3b00:11:fb65:91e:91c3:a935) |
| 11:07:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 11:12:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 11:14:01 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds) |
| 11:19:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 11:19:12 | → | comerijn joins (~merijn@77.242.116.146) |
| 11:20:28 | × | tromp quits (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:21:17 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 11:24:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 11:26:52 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:32:04 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 11:36:47 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:37:22 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 11:38:22 | × | thenightmail quits (~thelounge@user/thenightmail) (Server closed connection) |
| 11:38:53 | → | thenightmail joins (~thelounge@37.48.95.216) |
| 11:39:00 | × | Flow quits (~none@gentoo/developer/flow) (Ping timeout: 276 seconds) |
| 11:50:11 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 12:00:17 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 12:02:04 | → | xff0x joins (~xff0x@2405:6580:b080:900:2446:78ce:a793:14e0) |
| 12:02:15 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 12:02:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:04:59 | → | jreicher joins (~user@user/jreicher) |
| 12:07:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 12:12:10 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 12:13:49 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 12:15:50 | → | Flow joins (~none@gentoo/developer/flow) |
| 12:16:20 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Remote host closed the connection) |
| 12:16:37 | × | athan_ quits (~athan@syn-047-132-161-157.res.spectrum.com) (Quit: Konversation terminated!) |
| 12:19:36 | → | fp joins (~Thunderbi@2001:708:150:10::72df) |
| 12:26:36 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 12:28:37 | → | athan joins (~athan@47.132.161.157) |
| 12:40:30 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 12:45:48 | → | tromp joins (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
| 12:46:18 | × | fp quits (~Thunderbi@2001:708:150:10::72df) (Ping timeout: 248 seconds) |
| 12:50:32 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:50:56 | → | smeik5005 joins (~smeik5005@2a02:3102:44b5:8d00:dce:ec84:aedb:4a7a) |
| 12:51:11 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 12:51:56 | × | smeik5005 quits (~smeik5005@2a02:3102:44b5:8d00:dce:ec84:aedb:4a7a) (Client Quit) |
| 12:53:35 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 12:55:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 12:57:03 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:10:08 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:13:44 | × | eL_Bart0- quits (eL_Bart02@dietunichtguten.org) (Server closed connection) |
| 13:14:00 | → | eL_Bart0 joins (eL_Bart02@dietunichtguten.org) |
| 13:19:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 13:21:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:31:29 | → | weary-traveler joins (~user@user/user363627) |
| 13:33:15 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:35:04 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 13:35:17 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 13:36:08 | → | weary-traveler joins (~user@user/user363627) |
| 13:39:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 13:40:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:41:48 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 13:43:43 | → | weary-traveler joins (~user@user/user363627) |
| 13:53:28 | × | koz quits (~koz@121.99.240.58) (Server closed connection) |
| 13:53:45 | → | koz joins (~koz@121.99.240.58) |
| 14:00:56 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 248 seconds) |
| 14:08:39 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 14:08:56 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 14:09:24 | → | amadaluzia joins (~amadaluzi@user/amadaluzia) |
| 14:10:54 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:11:08 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 14:13:45 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 14:18:54 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 14:19:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:21:33 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 14:23:51 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 258 seconds) |
| 14:27:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:29:19 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 14:33:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 14:33:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 14:36:10 | × | michalz quits (~michalz@185.246.207.205) (Ping timeout: 248 seconds) |
| 14:38:07 | → | merijn joins (~merijn@77.242.116.146) |
| 14:41:28 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 14:42:56 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 14:43:48 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Server closed connection) |
| 14:43:59 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 14:44:42 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 14:45:55 | → | ft joins (~ft@p4fc2a234.dip0.t-ipconnect.de) |
| 14:46:05 | × | athan quits (~athan@47.132.161.157) (Ping timeout: 258 seconds) |
| 14:47:00 | → | __monty__ joins (~toonn@user/toonn) |
| 14:47:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 14:47:40 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 14:48:35 | × | eiadtala^ quits (~eiadtala@108-203-208-17.lightspeed.tukrga.sbcglobal.net) (Remote host closed the connection) |
| 14:48:36 | → | athan joins (~athan@syn-047-132-161-157.res.spectrum.com) |
| 14:52:53 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 14:54:50 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 14:58:32 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 15:01:08 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 15:01:39 | → | ystael joins (~ystael@user/ystael) |
| 15:08:10 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 15:10:11 | → | ystael joins (~ystael@user/ystael) |
| 15:14:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:17:40 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:18:50 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:19:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 15:21:22 | → | Guest48 joins (~Guest86@185.164.142.163) |
| 15:21:39 | × | tromp quits (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:21:45 | × | Guest48 quits (~Guest86@185.164.142.163) (Client Quit) |
| 15:25:14 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 15:28:45 | × | ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 15:30:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:35:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 15:42:09 | × | Alleria quits (~Alleria@user/alleria) (Remote host closed the connection) |
| 15:43:10 | → | Alleria joins (~Alleria@user/alleria) |
| 15:45:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 15:49:50 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:50:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 15:54:00 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 15:54:25 | × | kaankeskin quits (~kaankeski@user/kaankeskin) (Quit: Hello, world!) |
| 15:56:44 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 15:56:54 | → | ystael joins (~ystael@user/ystael) |
| 15:57:03 | → | tromp joins (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
| 15:58:48 | → | kaankeskin joins (~kaankeski@user/kaankeskin) |
| 16:00:32 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 16:01:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:01:44 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 16:05:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 16:07:08 | → | ds_ joins (~ds@2a02:8071:884:db60:9349:34e8:ec1c:3c95) |
| 16:11:04 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 16:16:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:21:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 16:26:32 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 16:32:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:33:10 | × | enikar quits (~enikar@user/enikar) (Server closed connection) |
| 16:33:30 | → | enikar joins (~enikar@user/enikar) |
| 16:35:23 | × | xff0x quits (~xff0x@2405:6580:b080:900:2446:78ce:a793:14e0) (Ping timeout: 244 seconds) |
| 16:36:23 | × | xerox quits (~edi@user/edi) (Server closed connection) |
| 16:36:33 | → | xerox joins (~edi@user/edi) |
| 16:36:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 16:38:04 | → | ouilemur joins (~jgmerritt@user/ouilemur) |
| 16:40:24 | × | athan quits (~athan@syn-047-132-161-157.res.spectrum.com) (Ping timeout: 248 seconds) |
| 16:41:42 | <carbolymer> | Is there an extension which disables numeric underscores? Because I've added NumericUnderscores and I'm still getting: error: [GHC-88464] Variable not in scope: b0000_1000 for `bibi = 0b0000_1000` ? |
| 16:42:35 | <monochrom> | I think you prefex with "No". But I haven't tried. |
| 16:42:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:42:45 | <monochrom> | so, more like s/think/guess/ :) |
| 16:42:59 | <int-e> | You're probably missing BinaryLiterals |
| 16:43:29 | <carbolymer> | oh yeah, I was missing BinaryLiterals |
| 16:43:33 | <carbolymer> | thanks int-e |
| 16:43:53 | <geekosaur> | or have too old a ghc so numeric underscores don't apply to them (I think that was added recently-ish?) |
| 16:44:00 | <carbolymer> | it's 9.10 |
| 16:44:11 | <geekosaur> | okay that should be fine |
| 16:45:58 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:46:02 | × | dispater quits (~dispater@user/brprice) (Server closed connection) |
| 16:46:21 | → | dispater joins (~dispater@user/brprice) |
| 16:46:48 | <carbolymer> | that's strange that it works here without explicitly enabling BinaryLiterals: https://play.haskell.org/saved/SozesbC2 |
| 16:47:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 16:49:33 | <geekosaur> | GHC2021 and GHC2024 have them enabled by default; for compatibility reasons cabal and stack default to Haskell2010 which doesn't |
| 16:49:40 | × | ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 16:49:59 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 16:51:21 | <int-e> | geekosaur: NumericUnderscores was added in GHC 8.6; as far as I can make out, they worked with binary literals at that point too, unless that was treated as a bug and fixed between 8.6.1 and 8.6.5 (which I tested) |
| 16:52:46 | <geekosaur> | what I'm thinking of may only be hex literals |
| 16:53:49 | × | tromp quits (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:56:05 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 16:57:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:59:11 | → | Alleria_ joins (~Alleria@user/alleria) |
| 17:00:08 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 17:00:12 | → | xff0x joins (~xff0x@2405:6580:b080:900:2821:a49c:15d4:98f4) |
| 17:00:17 | → | ystael joins (~ystael@user/ystael) |
| 17:02:10 | × | Alleria quits (~Alleria@user/alleria) (Ping timeout: 258 seconds) |
| 17:03:10 | × | Alleria_ quits (~Alleria@user/alleria) (Read error: Connection reset by peer) |
| 17:04:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 17:06:59 | → | Alleria joins (~Alleria@user/alleria) |
| 17:16:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:16:24 | → | tromp joins (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) |
| 17:20:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:31:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:32:27 | × | Square quits (~Square@user/square) (Ping timeout: 258 seconds) |
| 17:34:17 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Server closed connection) |
| 17:34:34 | → | GoldsteinQ joins (~goldstein@goldstein.rs) |
| 17:34:55 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 17:35:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:36:56 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:43:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:43:49 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 17:46:26 | trickard_ | is now known as trickard |
| 17:48:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 17:49:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 17:59:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:00:20 | → | hadronized joins (~hadronize@2001:41d0:a:fe76::1) |
| 18:01:18 | <hadronized> | Hello! I have a package maintenance question (hackage): I am currently completely removing all of my repositories from GitHub, and before doing so, I want to ensure my packages on hackage are currently pointing to the new place. I have some package that are deprecated; should I still update them, or can I just ignore them? |
| 18:02:28 | <hadronized> | (the crazy thing is that some of them still point to repositories under I nickname I had before I switched twice, so long time ago!) |
| 18:03:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:04:54 | <monochrom> | Think-outside-the-box but extra-work: Update them, but point to a brand new web page that says "deprecated" and you go out of your way to create it. |
| 18:05:49 | <monochrom> | More seriously, I would update them to not have a link at all. |
| 18:08:19 | <hadronized> | removing the link is probably the best thing |
| 18:08:44 | <hadronized> | for most of them, I still want to have the code around, but there’s one I honestly do not care that much anymore, and it’s been deprecated for years |
| 18:08:52 | <hadronized> | https://hackage.haskell.org/package/FModExRaw |
| 18:14:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:15:17 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 18:15:29 | → | trickard joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 18:15:55 | <[exa]> | hadronized: +1 for updating; hackage has some support for "revisions" that clean up issues like this no? |
| 18:16:19 | <hadronized> | I need to check, it’s been a very long since I published a package on hackage |
| 18:16:59 | <[exa]> | hadronized: https://github.com/haskell-infra/hackage-trustees/blob/master/revisions-information.md |
| 18:17:44 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 18:17:49 | <[exa]> | (oh wow fmod) |
| 18:18:00 | <monochrom> | Yeah, it may be less work and better to use the revision feature instead of re-uploading a "new" version. |
| 18:18:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 18:19:19 | <[exa]> | I should really really have a look at the sound ecosystem sometime |
| 18:21:45 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 18:23:20 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 18:25:58 | <hadronized> | thank you both :) |
| 18:26:11 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:28:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 18:29:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:34:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 18:34:48 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:37:19 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 18:40:05 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 18:41:11 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 18:44:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:46:48 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 18:47:20 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 248 seconds) |
| 18:47:43 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.0) |
| 18:51:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:52:50 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) (Disconnected: closed) |
| 18:53:47 | rvalue- | is now known as rvalue |
| 18:54:44 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 18:56:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:59:20 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:00:02 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:41 | → | caconym747 joins (~caconym@user/caconym) |
| 19:02:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:03:02 | → | tavare joins (~tavare@user/tavare) |
| 19:03:26 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 19:04:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 19:07:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:18:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:21:57 | → | karenw joins (~karenw@user/karenw) |
| 19:22:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:23:27 | × | karenw quits (~karenw@user/karenw) (Remote host closed the connection) |
| 19:24:28 | → | karenw joins (~karenw@user/karenw) |
| 19:28:59 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 19:30:50 | → | sprotte24 joins (~sprotte24@p200300d16f06ef00d0f271b2abc709a4.dip0.t-ipconnect.de) |
| 19:33:06 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:33:20 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 19:33:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:35:52 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 19:38:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:39:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 19:39:57 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:41:54 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 19:43:43 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 19:44:04 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 19:48:55 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:48:55 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 19:52:03 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 19:53:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:55:04 | × | ubert quits (~Thunderbi@178.115.39.216.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 19:55:30 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 19:59:43 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 20:04:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:06:34 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 20:08:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:11:14 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 20:17:30 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 20:17:38 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:19:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:21:14 | × | acidjnk_new quits (~acidjnk@p200300d6e71719923596d1db434d6d14.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 20:26:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 20:37:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:38:14 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 20:38:42 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 20:42:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 20:53:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:55:37 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 20:57:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:02:58 | × | trickard_ quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 21:03:11 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 21:05:44 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:07:05 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 21:08:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:08:51 | → | athan joins (~athan@syn-174-106-168-248.res.spectrum.com) |
| 21:10:05 | → | falafel joins (~falafel@2a0c:5a87:3104:8f01::f709) |
| 21:11:46 | trickard_ | is now known as trickard |
| 21:12:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:14:00 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 21:15:42 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 21:19:27 | → | gmg joins (~user@user/gehmehgeh) |
| 21:21:55 | × | falafel quits (~falafel@2a0c:5a87:3104:8f01::f709) (Ping timeout: 250 seconds) |
| 21:22:40 | × | omnifunctor quits (~omnifunct@user/semifunctor) (Server closed connection) |
| 21:23:01 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 21:23:33 | → | omnifunctor joins (~omnifunct@user/semifunctor) |
| 21:23:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:28:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:29:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:30:14 | × | Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Server closed connection) |
| 21:31:43 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 21:33:51 | → | gmg joins (~user@user/gehmehgeh) |
| 21:35:33 | → | Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se) |
| 21:39:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:43:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:47:35 | × | opencircuit quits (~quassel@154.94.15.139) (Changing host) |
| 21:47:35 | → | opencircuit joins (~quassel@user/opencircuit) |
| 21:53:04 | × | Pozyomka quits (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 21:54:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:59:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:02:00 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 22:02:18 | × | athan quits (~athan@syn-174-106-168-248.res.spectrum.com) (Quit: Konversation terminated!) |
| 22:02:19 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 258 seconds) |
| 22:02:22 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 22:07:15 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:10:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:11:07 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 22:12:07 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 22:14:01 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection) |
| 22:15:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:19:29 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:26:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:27:06 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
| 22:27:17 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 22:30:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:30:59 | × | ds_ quits (~ds@2a02:8071:884:db60:9349:34e8:ec1c:3c95) (Quit: Leaving) |
| 22:31:13 | × | tromp quits (~textual@2001:1c00:3487:1b00:1542:a509:831e:a9dc) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:33:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:40:02 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:41:07 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 22:42:06 | × | inline quits (~inline@ip-005-146-197-054.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 22:42:39 | → | pavonia joins (~user@user/siracusa) |
| 22:46:48 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:48:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:50:23 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 245 seconds) |
| 22:50:43 | → | Pozyomka joins (~pyon@user/pyon) |
| 22:51:01 | → | itaipu joins (~itaipu@168.121.97.28) |
| 22:53:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 22:59:47 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 23:01:25 | × | trickard quits (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 23:01:39 | → | trickard_ joins (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 23:01:44 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 23:04:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:10:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:16:11 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 23:22:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:24:54 | × | adamCS quits (~adamCS@70.19.85.77) (Server closed connection) |
| 23:25:04 | → | adamCS joins (~adamCS@70.19.85.77) |
| 23:26:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:27:01 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
| 23:34:59 | → | zlqrvx joins (~zlqrvx@2001:8003:8c8b:e00:374a:bdcb:457c:d1e3) |
| 23:37:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:42:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 23:44:12 | × | TMA quits (tma@twin.jikos.cz) (Server closed connection) |
| 23:44:25 | → | TMA joins (tma@twin.jikos.cz) |
| 23:46:28 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:49:13 | × | sprotte24 quits (~sprotte24@p200300d16f06ef00d0f271b2abc709a4.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:52:43 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 258 seconds) |
| 23:53:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:53:48 | → | itaipu joins (~itaipu@168.121.97.28) |
| 23:55:27 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) (Ping timeout: 276 seconds) |
| 23:57:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 258 seconds) |
| 23:57:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
All times are in UTC on 2025-08-22.