Logs: liberachat/#haskell
| 2021-05-24 12:56:45 | × | kewa quits (~kewa@5.138.148.77) (Client Quit) |
| 2021-05-24 12:57:29 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 244 seconds) |
| 2021-05-24 13:00:26 | × | kaskal_ quits (~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in) |
| 2021-05-24 13:00:34 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-24 13:00:50 | → | kaskal_ joins (~kaskal@cqc02.itp.tuwien.ac.at) |
| 2021-05-24 13:02:32 | <ski> | colors (and bold, underlined , inverse, italic ) can occasionally be useful, but should, imho, be used sparingly (certainly not using multiple of them at the same time, as a matter of course, in ordinary messages, imho. especially changing background color (or using inverse) tends to stand out more, but also changing foreground can mess with some people's settings (preferred default backgrounds vary)) |
| 2021-05-24 13:03:50 | <ski> | using them for syntax-highlighting (or semantically highlighting some portions of code) could possibly be useful |
| 2021-05-24 13:03:50 | × | kaskal_ quits (~kaskal@cqc02.itp.tuwien.ac.at) (Client Quit) |
| 2021-05-24 13:04:22 | → | kaskal_ joins (~kaskal@cqc02.itp.tuwien.ac.at) |
| 2021-05-24 13:05:45 | × | boxscape quits (4ff0bb95@user/boxscape) (Ping timeout: 272 seconds) |
| 2021-05-24 13:05:57 | → | pbrisbin joins (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) |
| 2021-05-24 13:05:57 | kaskal_ | is now known as lalo |
| 2021-05-24 13:06:06 | <ski> | (i've found myself occasionally using bold, sometimes underlined, in conversations. often these can be rendered as "*bold" and "_underlined_" (which some clients will automatically apply those attributes to), but that is less desirable for subphrases of formal languages (such as Haskell)) |
| 2021-05-24 13:06:08 | lalo | is now known as kaskal_ |
| 2021-05-24 13:07:27 | <ski> | (er, that should be "*bold*") |
| 2021-05-24 13:09:30 | × | yaroot quits (~yaroot@6.3.30.125.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-24 13:09:54 | × | kaskal_ quits (~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in) |
| 2021-05-24 13:10:21 | → | yaroot joins (~yaroot@6.3.30.125.dy.iij4u.or.jp) |
| 2021-05-24 13:10:33 | → | kaskal_ joins (~kaskal@cqc02.itp.tuwien.ac.at) |
| 2021-05-24 13:16:31 | × | chddr quits (~Thunderbi@91.226.34.182) (Ping timeout: 272 seconds) |
| 2021-05-24 13:22:23 | → | ddellacosta joins (~ddellacos@89.46.62.18) |
| 2021-05-24 13:24:14 | → | waleee-cl joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-05-24 13:30:19 | → | moistoreos joins (~moistoreo@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 2021-05-24 13:32:01 | → | xkapastel joins (uid17782@id-17782.tinside.irccloud.com) |
| 2021-05-24 13:32:10 | × | TheLugal quits (~sander@164.89-11-223.nextgentel.com) (Changing host) |
| 2021-05-24 13:32:10 | → | TheLugal joins (~sander@user/sander) |
| 2021-05-24 13:32:26 | × | kilolympus quits (~kilolympu@5.151.5.180) (Quit: Quitting IRC :() |
| 2021-05-24 13:32:33 | → | SanchayanMaity_ joins (sid478177@id-478177.stonehaven.irccloud.com) |
| 2021-05-24 13:32:55 | × | SanchayanMaity quits (~Sanchayan@136.185.150.127) (Quit: SanchayanMaity) |
| 2021-05-24 13:32:56 | SanchayanMaity_ | is now known as SanchayanMaity |
| 2021-05-24 13:33:05 | × | SanchayanMaity quits (sid478177@id-478177.stonehaven.irccloud.com) (Client Quit) |
| 2021-05-24 13:33:17 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Read error: Connection reset by peer) |
| 2021-05-24 13:33:21 | → | SanchayanMaity joins (sid478177@id-478177.stonehaven.irccloud.com) |
| 2021-05-24 13:33:44 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-24 13:34:01 | <maerwald> | so, is there an *actual* channel rule for/against colors? |
| 2021-05-24 13:34:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-24 13:34:45 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) |
| 2021-05-24 13:35:14 | <bin_> | I don't know, but it's a bit rude. arahael is correct that it's unpleasantly garish in many clients. |
| 2021-05-24 13:36:22 | × | betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-05-24 13:36:23 | → | betelgeuse6 joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-05-24 13:37:08 | → | lukeseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-24 13:38:05 | <ski> | maerwald : no |
| 2021-05-24 13:38:49 | <maerwald> | ok, then the normal spam rules of the server apply, I guess and we can move on with our lives |
| 2021-05-24 13:38:50 | <ski> | afaiac, the main channel rule is "Be nice, or else." |
| 2021-05-24 13:39:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c058:6523:2cbb:40ea) (Ping timeout: 272 seconds) |
| 2021-05-24 13:40:18 | → | boxscape joins (4ff0bb95@user/boxscape) |
| 2021-05-24 13:40:28 | × | lbseale quits (~lbseale@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-05-24 13:43:55 | → | heath joins (~heath@68.68.64.38) |
| 2021-05-24 13:44:15 | × | ddellacosta quits (~ddellacos@89.46.62.18) (Remote host closed the connection) |
| 2021-05-24 13:44:45 | → | ddellacosta joins (~ddellacos@89.46.62.18) |
| 2021-05-24 13:45:30 | notzmv | is now known as baasaardappel |
| 2021-05-24 13:46:42 | baasaardappel | is now known as notzmv |
| 2021-05-24 13:47:06 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-24 13:49:22 | × | ddellacosta quits (~ddellacos@89.46.62.18) (Ping timeout: 264 seconds) |
| 2021-05-24 13:51:33 | → | ddellacosta joins (~ddellacos@89.46.62.69) |
| 2021-05-24 13:53:37 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-24 13:58:19 | × | holy_ quits (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) (Ping timeout: 272 seconds) |
| 2021-05-24 14:01:22 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-05-24 14:02:44 | → | yumaikas- joins (~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) |
| 2021-05-24 14:04:41 | × | kaskal_ quits (~kaskal@cqc02.itp.tuwien.ac.at) (Quit: ZNC - https://znc.in) |
| 2021-05-24 14:05:06 | → | imdoor joins (~imdoor@balticom-142-78-50.balticom.lv) |
| 2021-05-24 14:05:28 | → | kaskal_ joins (~kaskal@cqc02.itp.tuwien.ac.at) |
| 2021-05-24 14:07:10 | × | ystael_ quits (~ystael@user/ystael) (Quit: leaving) |
| 2021-05-24 14:07:25 | → | ystael joins (~ystael@user/ystael) |
| 2021-05-24 14:10:01 | → | mastarija joins (~mastarija@31.217.26.16) |
| 2021-05-24 14:10:27 | × | ddellacosta quits (~ddellacos@89.46.62.69) (Ping timeout: 264 seconds) |
| 2021-05-24 14:10:34 | × | whitgreenlghtsbr quits (~pjetcetal@2.95.204.25) (Quit: EXIT) |
| 2021-05-24 14:12:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-24 14:15:46 | → | bgamari joins (~int0x0c@2001:470:e438:2:c1ed:bb6e:19bc:5f60) |
| 2021-05-24 14:17:03 | → | xprlgjf joins (~gavin@60.27.93.209.dyn.plus.net) |
| 2021-05-24 14:22:45 | × | exarkun1 quits (~exarkun@2605:59c1:c2cc:400::e9c) (Remote host closed the connection) |
| 2021-05-24 14:23:11 | → | exarkun1 joins (~exarkun@2605:59c1:c2cc:400::e9c) |
| 2021-05-24 14:28:37 | × | lortabac quits (~lortabac@37.173.130.118) (Quit: WeeChat 2.8) |
| 2021-05-24 14:33:03 | ← | eight parts (~eight@user/eight) () |
| 2021-05-24 14:33:10 | → | jpds joins (~jpds@tor-relay.zwiebeltoralf.de) |
| 2021-05-24 14:35:44 | × | exarkun1 quits (~exarkun@2605:59c1:c2cc:400::e9c) (Remote host closed the connection) |
| 2021-05-24 14:36:02 | → | exarkun1 joins (~exarkun@2605:59c1:c2cc:400::e9c) |
| 2021-05-24 14:36:14 | → | ben__ joins (~int0x0c@72.65.101.148) |
| 2021-05-24 14:39:10 | × | bgamari quits (~int0x0c@2001:470:e438:2:c1ed:bb6e:19bc:5f60) (Ping timeout: 264 seconds) |
| 2021-05-24 14:43:14 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.204.25) |
| 2021-05-24 14:48:42 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-05-24 14:48:45 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-24 14:49:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-24 14:53:06 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-24 14:53:27 | × | safinaskar quits (~user@109-252-90-89.nat.spd-mgts.ru) (Ping timeout: 265 seconds) |
| 2021-05-24 14:54:55 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-05-24 14:58:46 | × | sondre quits (~sondrelun@eduroam-193-157-240-212.wlan.uio.no) (Ping timeout: 265 seconds) |
| 2021-05-24 14:58:54 | × | yumaikas- quits (~yumaikas@2601:281:c700:4240:fd30:c8d2:2412:4375) (Ping timeout: 244 seconds) |
| 2021-05-24 15:00:00 | → | m_shiraeeshi joins (~shiraeesh@109.166.56.7) |
| 2021-05-24 15:00:38 | → | Guest64 joins (b0644b43@107.161.19.109) |
| 2021-05-24 15:00:38 | Guest64 | is now known as dut |
| 2021-05-24 15:01:45 | kaskal_ | |
| 2021-05-24 15:01:56 | → | b20n joins (sid115913@highgate.irccloud.com) |
| 2021-05-24 15:02:01 | kaskal_ | |
| 2021-05-24 15:06:34 | <boxscape> | it's weird to me that monad transformer runners are not flipped. I keep writing `flip evalState foo . flip runReaderT bar $ do {...}` |
| 2021-05-24 15:07:03 | × | mastarija quits (~mastarija@31.217.26.16) (Quit: Leaving) |
| 2021-05-24 15:07:30 | <boxscape> | ah, I suppose it's because they're record fields |
| 2021-05-24 15:10:05 | → | fjmorazan joins (~quassel@user/fjmorazan) |
| 2021-05-24 15:10:18 | × | dut quits (b0644b43@107.161.19.109) (Quit: dut) |
| 2021-05-24 15:11:34 | × | pbrisbin quits (~patrick@pool-173-49-145-161.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
All times are in UTC.