Logs: liberachat/#haskell
| 2021-05-21 18:01:54 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-87.cust.tzulo.com) |
| 2021-05-21 18:02:27 | × | xkapastel quits (uid17782@id-17782.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-05-21 18:02:40 | × | lechner quits (~lechner@letbox-vps.us-core.com) (Quit: WeeChat 3.0) |
| 2021-05-21 18:02:54 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 18:03:02 | → | malvo joins (~malvo@malvo.org) |
| 2021-05-21 18:03:25 | → | azeem joins (azeem@107.161.19.109) |
| 2021-05-21 18:04:19 | × | tomek quits (~erzet@83.25.12.106.ipv4.supernova.orange.pl) (Quit: WeeChat 2.8) |
| 2021-05-21 18:04:47 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-21 18:04:49 | × | FreeVariable quits (FreeVariab@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 18:04:56 | × | hongminhee quits (sid295@id-295.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-05-21 18:05:35 | → | hongminhee joins (sid295@id-295.tinside.irccloud.com) |
| 2021-05-21 18:05:45 | → | lechner joins (~lechner@letbox-vps.us-core.com) |
| 2021-05-21 18:07:02 | → | jao` joins (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-05-21 18:07:31 | <boxscape> | equality constraints are also carries around in a dictionary right? |
| 2021-05-21 18:08:02 | <ski> | i'd expect not |
| 2021-05-21 18:08:04 | × | jao quits (~mail@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Killed (NickServ (GHOST command used by jao`))) |
| 2021-05-21 18:08:08 | <boxscape> | s/carries/carried |
| 2021-05-21 18:08:11 | <boxscape> | oh |
| 2021-05-21 18:08:18 | jao` | is now known as jao |
| 2021-05-21 18:08:18 | <maerwald> | yin: https://github.com/haskell-infra/www.haskell.org/pull/84/files |
| 2021-05-21 18:08:19 | <boxscape> | ski would that mean they have no runtime cost? |
| 2021-05-21 18:08:36 | <ski> | (if they were carrying an actual isomorphism, rather than representational equality, they would have to) |
| 2021-05-21 18:09:02 | <boxscape> | right that makes sense |
| 2021-05-21 18:09:03 | <ski> | boxscape : i haven't looked at how things are actually implemented, but that's what i'd assume, yes |
| 2021-05-21 18:09:10 | <boxscape> | okay, cheers |
| 2021-05-21 18:09:19 | → | Franciman joins (~francesco@host-80-180-196-134.pool80180.interbusiness.it) |
| 2021-05-21 18:11:45 | <ski> | yin,maerwald : maybe it'd make sense to list both, interrim. or maybe it'd be better to await some sort of official decision .. |
| 2021-05-21 18:12:05 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2021-05-21 18:12:08 | <maerwald> | freenode is flooded with spam afaih, so... |
| 2021-05-21 18:12:10 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-21 18:12:36 | → | paolino-tunnel joins (~paolo@84.33.178.37) |
| 2021-05-21 18:12:37 | <ski> | we had a little bit of spam in here, not long ago |
| 2021-05-21 18:12:48 | → | autofrog joins (autofrog@107.161.19.109) |
| 2021-05-21 18:12:52 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-05-21 18:13:42 | paolino-tunnel | is now known as paolino |
| 2021-05-21 18:13:42 | → | zeph joins (~zeph@59.88.30.92) |
| 2021-05-21 18:15:26 | → | bontaq` joins (~user@ec2-18-235-23-153.compute-1.amazonaws.com) |
| 2021-05-21 18:16:11 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds) |
| 2021-05-21 18:16:51 | → | wennefer0 joins (~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) |
| 2021-05-21 18:17:49 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-05-21 18:18:40 | × | sirodoht quits (uid499766@id-499766.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-21 18:19:02 | × | jneira quits (5127aca6@unknownnetwork-a.clients.kiwiirc.com) (Quit: Connection closed) |
| 2021-05-21 18:19:41 | × | wennefer0 quits (~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2021-05-21 18:21:02 | → | arw joins (~arw@impulse.informatik.uni-erlangen.de) |
| 2021-05-21 18:22:41 | × | azeem quits (azeem@107.161.19.109) (Quit: Connection closed) |
| 2021-05-21 18:22:54 | → | irc_user joins (uid423822@id-423822.tooting.irccloud.com) |
| 2021-05-21 18:23:29 | × | brandonh quits (~brandonh@2a04:3542:1000:910:905f:f9ff:fe67:4d32) (Quit: brandonh) |
| 2021-05-21 18:26:33 | <tomsmeding> | edwardk: preliminary multi-network support in ircbrowse! https://ircbrowse.tomsmeding.com |
| 2021-05-21 18:26:49 | <tomsmeding> | there's bound to be stuff that doesn't work though |
| 2021-05-21 18:27:38 | × | hiruji- quits (~hiruji@72.74.190.75) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-21 18:28:52 | <davean> | tomsmeding: nice |
| 2021-05-21 18:29:26 | × | Robin_Jadoul quits (~Robin_Jad@152.67.64.160) (Ping timeout: 252 seconds) |
| 2021-05-21 18:29:52 | <tomsmeding> | it's kiiind of hacked in, but I hope the code follows its own conventions as much as I think it does :) |
| 2021-05-21 18:30:50 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-21 18:31:16 | → | hiruji joins (~hiruji@72.74.190.75) |
| 2021-05-21 18:31:31 | × | Guest3497 quits (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
| 2021-05-21 18:31:31 | → | Guest3497 joins (~nitrix@user/nitrix) |
| 2021-05-21 18:31:37 | Guest3497 | is now known as nitrix |
| 2021-05-21 18:31:38 | × | cnr- quits (~cnr@user/cnr) (Ping timeout: 252 seconds) |
| 2021-05-21 18:31:47 | oxide_ | is now known as oxide |
| 2021-05-21 18:32:44 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-05-21 18:33:26 | × | xwx quits (~george@user/george) (Quit: leaving) |
| 2021-05-21 18:34:29 | → | xwx joins (~george@user/george) |
| 2021-05-21 18:39:56 | <edwardk> | tomsmeding: you rock |
| 2021-05-21 18:40:26 | <tomsmeding> | :) |
| 2021-05-21 18:42:21 | × | xwx quits (~george@user/george) (Ping timeout: 248 seconds) |
| 2021-05-21 18:42:44 | → | river joins (~river@user/river) |
| 2021-05-21 18:43:10 | → | xwx joins (~george@user/george) |
| 2021-05-21 18:44:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-21 18:44:30 | <tomsmeding> | geekosaur: if you wish I can add libera#xmonad to ircbrowse too |
| 2021-05-21 18:44:41 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-21 18:45:48 | → | jakesyl joins (sid56879@id-56879.stonehaven.irccloud.com) |
| 2021-05-21 18:45:53 | BadCoder1 | is now known as BadCoderFinger |
| 2021-05-21 18:46:13 | <geekosaur> | please, we moved over yessterday |
| 2021-05-21 18:47:03 | <tomsmeding> | given the addition of libera#haskell went basically without effort (apart from implementing multi-network support in the first place), let's see if adding another channel is as simple :) |
| 2021-05-21 18:51:25 | <tomsmeding> | geekosaur: https://ircbrowse.tomsmeding.com/browse/lcxmonad |
| 2021-05-21 18:51:52 | → | Heffalump joins (~ganesh@urchin.earth.li) |
| 2021-05-21 18:52:04 | <tomsmeding> | ah I found a bug already, the Link functionality doesn't do names correctly :p |
| 2021-05-21 18:52:26 | × | xwx quits (~george@user/george) (Ping timeout: 245 seconds) |
| 2021-05-21 18:53:24 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-05-21 18:53:29 | → | xwx joins (~george@user/george) |
| 2021-05-21 18:54:32 | → | lyxia joins (~lyxia@poisson.chat) |
| 2021-05-21 18:54:42 | → | bontaq`` joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-05-21 18:55:18 | → | Valerian joins (~vclerc@modemcable030.18-176-173.mc.videotron.ca) |
| 2021-05-21 18:56:02 | × | Valerian quits (~vclerc@modemcable030.18-176-173.mc.videotron.ca) (Client Quit) |
| 2021-05-21 18:56:11 | × | bontaq` quits (~user@ec2-18-235-23-153.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-21 18:56:14 | <ski> | edwardk,tomsmeding : ty both |
| 2021-05-21 18:56:17 | → | keltono joins (~kelton@x-160-94-179-178.acm.umn.edu) |
| 2021-05-21 18:57:49 | → | zeph_ joins (~zeph@117.222.69.244) |
| 2021-05-21 18:58:08 | × | zeph_ quits (~zeph@117.222.69.244) (Client Quit) |
| 2021-05-21 18:58:43 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-21 18:58:52 | <boxscape> | tomsmeding there isn't a feature at the moment to hide joins/leaves, is there? |
| 2021-05-21 18:59:03 | <tomsmeding> | unfortunately not :p |
| 2021-05-21 18:59:06 | <tomsmeding> | still have to build that |
| 2021-05-21 18:59:06 | <boxscape> | okay |
| 2021-05-21 18:59:08 | × | involans quits (~involans@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-21 18:59:23 | <tomsmeding> | some day |
| 2021-05-21 19:00:53 | × | zeph quits (~zeph@59.88.30.92) (Ping timeout: 272 seconds) |
| 2021-05-21 19:01:56 | tomsmeding | finds that searching for # in the source code is a good way to find places where ircbrowse doesn't follow its own conventions regarding channel ids and channel names |
| 2021-05-21 19:02:05 | <geekosaur> | tyvm |
All times are in UTC.