Logs: freenode/#xmonad
| 2021-05-17 19:22:52 | <Solid> | It was... an online event |
| 2021-05-17 19:23:42 | <mc47> | that's the first time I hear about it |
| 2021-05-17 19:23:54 | <mc47> | it might be fun, but I'm kinda not motivated |
| 2021-05-17 19:24:07 | <Liskni_si> | Solid: do tell more, if you can; I have absolutely no idea what to expect |
| 2021-05-17 19:24:29 | <Solid> | I remember one workshop about generics being really good, but online conferences really fail to capture what I like about conferences |
| 2021-05-17 19:24:53 | <geekosaur> | the hallway track? |
| 2021-05-17 19:25:04 | <Liskni_si> | I was hoping it'd be more a hackathon than a conference |
| 2021-05-17 19:25:05 | × | cyr4x3 quits (~cyr4x3@139.47.119.53) (Quit: WeeChat 2.3) |
| 2021-05-17 19:25:11 | ← | davemq parts (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-17 19:25:23 | → | cyr4x3 joins (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:25:29 | <Solid> | it is if you ignore the talks :D but even for hackathon I need human contact :/ |
| 2021-05-17 19:25:39 | <Solid> | basically, there's a big discord server (yikes) with different rooms for different projects (people can ask for rooms) |
| 2021-05-17 19:25:47 | <Liskni_si> | and that being online would solve my social anxiety issues |
| 2021-05-17 19:25:50 | <Solid> | plus some off-topic stuff, plus rooms for talks where you can ask questions |
| 2021-05-17 19:26:04 | × | cyr4x3 quits (~cyr4x3@139.47.119.53) (Client Quit) |
| 2021-05-17 19:26:17 | <Liskni_si> | I've been to conference once or twice, but never talked to anyone, as those people were already talking to one another :-/ |
| 2021-05-17 19:26:31 | → | cyr4x3 joins (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:26:32 | geekosaur | resembles that one |
| 2021-05-17 19:26:52 | <Liskni_si> | (the good old trick of getting absolutely shitfaced at 10 am is frowned upon at international conferences, unfortunately) |
| 2021-05-17 19:27:25 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-17 19:27:46 | × | cyr4x3 quits (~cyr4x3@139.47.119.53) (Client Quit) |
| 2021-05-17 19:28:00 | → | cyr4x3 joins (~cyr4x3@139.47.119.53) |
| 2021-05-17 19:28:24 | <Liskni_si> | mc47: not motivated in general or not motivated by zurihac in particular? |
| 2021-05-17 19:29:29 | <mc47> | in general, if everything goes well, I should be chilling by the beach by then |
| 2021-05-17 19:29:56 | <mc47> | or still working on my bachelor thesis because I procrastinated too much |
| 2021-05-17 19:31:55 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-17 19:32:45 | <Liskni_si> | :-) |
| 2021-05-17 19:33:39 | <Solid> | let's hope it's the beach :P |
| 2021-05-17 19:41:11 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-17 19:41:29 | × | cyr4x3 quits (~cyr4x3@139.47.119.53) (Quit: WeeChat 2.3) |
| 2021-05-17 19:41:32 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 20:04:38 | <mc47> | fingers crossed |
| 2021-05-17 20:04:54 | <mc47> | Liskni_si I think the PRs you added today are pretty cool! good job |
| 2021-05-17 20:06:42 | <Liskni_si> | I'm glad you guys like it; I'm very excited about them myself, I think it'll improve a lot of stuff |
| 2021-05-17 20:07:24 | <mc47> | I didn't have time to look at the implementation details, but the contribution solves a real problem |
| 2021-05-17 20:09:53 | → | benin joins (~benin@183.82.177.199) |
| 2021-05-17 20:13:52 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-17 20:44:14 | → | samiamsam joins (~d@zukertort.childrenofmay.org) |
| 2021-05-17 21:04:10 | → | notis joins (~notis@85.203.44.186) |
| 2021-05-17 21:06:56 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 21:20:50 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 21:21:08 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 21:35:20 | × | notis quits (~notis@85.203.44.186) (Ping timeout: 246 seconds) |
| 2021-05-17 21:36:06 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 265 seconds) |
| 2021-05-17 21:37:30 | → | notis joins (~notis@185.51.134.229) |
| 2021-05-17 21:48:25 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-17 21:48:46 | × | samiamsam quits (~d@zukertort.childrenofmay.org) (Ping timeout: 252 seconds) |
| 2021-05-17 22:00:29 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) (Ping timeout: 250 seconds) |
| 2021-05-17 22:02:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-17 22:09:59 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-17 22:12:20 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) |
| 2021-05-17 22:26:44 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-05-17 22:45:41 | × | notis quits (~notis@185.51.134.229) (Ping timeout: 240 seconds) |
| 2021-05-17 22:47:51 | → | notis joins (~notis@85.203.44.149) |
| 2021-05-17 23:24:43 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-17 23:32:25 | → | a6a45081-2b83 joins (~aditya@171.76.17.86) |
| 2021-05-17 23:32:25 | × | a6a45081-2b83 quits (~aditya@171.76.17.86) (Client Quit) |
| 2021-05-17 23:40:19 | × | notis quits (~notis@85.203.44.149) (Ping timeout: 265 seconds) |
| 2021-05-18 00:00:59 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-05-18 00:23:02 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-05-18 00:23:20 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 265 seconds) |
| 2021-05-18 00:23:32 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-18 00:23:32 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Client Quit) |
| 2021-05-18 00:47:02 | × | kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-05-18 01:06:02 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-18 02:42:52 | → | a6a45081-2b83 joins (~aditya@122.163.207.227) |
| 2021-05-18 02:44:57 | × | theDon quits (~td@94.134.91.15) (Ping timeout: 265 seconds) |
| 2021-05-18 02:46:43 | → | theDon joins (~td@muedsl-82-207-238-185.citykom.de) |
| 2021-05-18 02:54:20 | × | a6a45081-2b83 quits (~aditya@122.163.207.227) (Quit: Konversation terminated!) |
| 2021-05-18 02:56:11 | → | a6a45081-2b83 joins (~aditya@122.163.207.227) |
| 2021-05-18 02:57:08 | <a6a45081-2b83> | what are alternatives to something like kde plasmoids/gnome applets/osx menu bar widgets if using something like xmonad+xmobar? |
| 2021-05-18 03:04:45 | → | f33f046c-a02e joins (~aditya@122.163.149.247) |
| 2021-05-18 03:05:16 | × | a6a45081-2b83 quits (~aditya@122.163.207.227) (Ping timeout: 260 seconds) |
| 2021-05-18 03:06:32 | → | ghormoon_ joins (~ghormoon@ghorland.net) |
| 2021-05-18 03:06:39 | × | ghormoon quits (~ghormoon@ghorland.net) (Ping timeout: 252 seconds) |
| 2021-05-18 03:28:29 | × | mohab quits (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-18 03:29:56 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-18 03:40:24 | × | mohab quits (~mohab@156.223.213.178) (Read error: Connection reset by peer) |
| 2021-05-18 03:40:34 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-18 04:55:26 | × | f33f046c-a02e quits (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 05:57:43 | × | growpotkin quits (~growpotki@130-45-30-154.dyn.grandenetworks.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-18 05:58:55 | → | pmj joins (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-18 06:08:07 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-18 06:11:57 | × | CosmosAtlas quits (~CosmosAtl@222.94.107.137) (Quit: WeeChat 3.1) |
| 2021-05-18 06:32:18 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-05-18 06:53:19 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-05-18 06:55:29 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-18 07:08:26 | → | def_jam joins (~eblip@unaffiliated/eblip) |
| 2021-05-18 07:09:26 | × | eblip quits (~eblip@unaffiliated/eblip) (Ping timeout: 240 seconds) |
| 2021-05-18 07:21:46 | → | notis joins (~notis@85.203.44.186) |
| 2021-05-18 07:24:05 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 260 seconds) |
| 2021-05-18 08:21:10 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-18 08:30:14 | <Solid> | Liskni_si: you were right, TypeApplications provide a great way to go about things |
| 2021-05-18 08:31:52 | <Solid> | now I just need to find out if this is actually correct (the added tests don't quite seem to catch all errors) |
| 2021-05-18 08:34:54 | <Liskni_si> | uh, what errors do they not catch? |
| 2021-05-18 08:35:25 | <Liskni_si> | definitely do add more tests if there are errors not caught by them or the type system |
| 2021-05-18 08:42:35 | <Solid> | If we just add everything as an `Int` things still typecheck and the tests still work |
| 2021-05-18 08:43:47 | <Solid> | so we probably just need to add some tests that adds things of different types |
| 2021-05-18 08:53:02 | <Liskni_si> | how do you add something as Int if you don't have an Int? :-) |
| 2021-05-18 08:55:58 | <Solid> | with undefined :D |
All times are in UTC.