Logs: freenode/#haskell
| 2021-04-20 23:21:33 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Remote host closed the connection) |
| 2021-04-20 23:22:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-20 23:23:35 | → | ortz joins (~egigs@108-89-5-25.lightspeed.dybhfl.sbcglobal.net) |
| 2021-04-20 23:23:44 | <ortz> | is there an irc channel for Rust? |
| 2021-04-20 23:24:00 | <ortz> | I tried #rust, but it's invite-only |
| 2021-04-20 23:24:29 | <hpc> | i don't think anyone here can help with that |
| 2021-04-20 23:24:48 | <ortz> | i figured there'd be a bit of overlap |
| 2021-04-20 23:25:26 | <yushyin> | also rust community mostly uses discord and zulip |
| 2021-04-20 23:25:52 | <ortz> | discord is annoying, it wants an email just for me to pop in and ask a question |
| 2021-04-20 23:25:57 | <hpc> | or mozilla's irc network, it seems |
| 2021-04-20 23:25:59 | <hpc> | https://prev.rust-lang.org/en-US/community.html |
| 2021-04-20 23:26:15 | <yushyin> | mozilla stopped using irc |
| 2021-04-20 23:26:20 | <hpc> | oh |
| 2021-04-20 23:26:27 | <hpc> | freenode's #rust might just be squatting the name |
| 2021-04-20 23:26:46 | <yushyin> | they are now using matrix.org, afaik |
| 2021-04-20 23:27:15 | <yushyin> | there is an unoffical rust channel on freenode ##rust |
| 2021-04-20 23:28:41 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-20 23:29:18 | <yushyin> | hpc: prev.rust-lang.org seems to be an old unmaintained website :/ |
| 2021-04-20 23:34:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-20 23:36:07 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-20 23:36:36 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-20 23:37:08 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Client Quit) |
| 2021-04-20 23:37:36 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-20 23:39:23 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:9a44:5c99:5f02:ae1) (Ping timeout: 260 seconds) |
| 2021-04-20 23:39:41 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-20 23:42:02 | → | juri_ joins (~juri@178.63.35.222) |
| 2021-04-20 23:42:31 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-04-20 23:44:40 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
| 2021-04-20 23:47:26 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-04-20 23:51:23 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-04-20 23:52:28 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-20 23:52:34 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-uzlgvfmvgotbpzjj) (Quit: Connection closed for inactivity) |
| 2021-04-20 23:53:35 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-20 23:53:57 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-20 23:54:51 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-20 23:54:54 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-04-20 23:55:16 | × | nibot quits (45d11556@69-209-21-86.lightspeed.sntcca.sbcglobal.net) (Quit: Connection closed) |
| 2021-04-20 23:55:45 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-04-20 23:56:02 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-04-20 23:56:20 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-20 23:58:54 | → | Codaraxis__ joins (~Codaraxis@141.98.255.149) |
| 2021-04-20 23:59:06 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-04-20 23:59:14 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2021-04-20 23:59:40 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-20 23:59:50 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-04-21 00:00:53 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 2021-04-21 00:01:16 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 252 seconds) |
| 2021-04-21 00:02:12 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-21 00:02:15 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) (Ping timeout: 260 seconds) |
| 2021-04-21 00:05:04 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-21 00:05:12 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-21 00:07:08 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Ping timeout: 246 seconds) |
| 2021-04-21 00:07:47 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-21 00:07:55 | × | jesystani quits (~thorn@2404:4404:17f1:4900:1be9:7d25:ab7d:6509) (Ping timeout: 250 seconds) |
| 2021-04-21 00:08:54 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-21 00:08:55 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 2021-04-21 00:08:55 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-21 00:09:00 | → | jesystani joins (~thorn@2404:4404:17f1:4900:8932:e59c:bc73:f200) |
| 2021-04-21 00:09:15 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 2021-04-21 00:10:24 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-21 00:10:37 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-04-21 00:12:23 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 2021-04-21 00:13:38 | → | Tario joins (~Tario@200.119.185.128) |
| 2021-04-21 00:13:46 | × | Codaraxis__ quits (~Codaraxis@141.98.255.149) (Ping timeout: 240 seconds) |
| 2021-04-21 00:13:55 | <Axman6> | newhoggy: I was talking to jackdk yesterday about just that - he had proposed making a hackage update to relax them |
| 2021-04-21 00:14:11 | <newhoggy> | Thanks! |
| 2021-04-21 00:19:52 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2021-04-21 00:20:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-04-21 00:21:46 | × | ludi49 quits (~hryhorij@156.17.231.95) (Ping timeout: 252 seconds) |
| 2021-04-21 00:24:01 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-04-21 00:25:34 | → | aVikingTrex joins (2be74510@43.231.69.16) |
| 2021-04-21 00:26:00 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-21 00:26:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-21 00:26:25 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-21 00:30:11 | × | myShoggoth quits (~myShoggot@75.164.11.109) (Ping timeout: 240 seconds) |
| 2021-04-21 00:30:13 | × | Tario quits (~Tario@200.119.185.128) (Read error: Connection reset by peer) |
| 2021-04-21 00:30:21 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 245 seconds) |
| 2021-04-21 00:30:23 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-21 00:30:28 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-21 00:30:41 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-21 00:31:58 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-21 00:31:58 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-21 00:32:37 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 252 seconds) |
| 2021-04-21 00:41:35 | <aVikingTrex> | Hi everyone, I am a couple months into learning haskell. I have read "Get Programming With Haskell", currently reading "Real world haskell" (updated version on github) and have started reading Bartosz's "Category Theory for Programmers". I am looking to progress in haskell with the goal of developing in haskell professionally. What other books |
| 2021-04-21 00:41:35 | <aVikingTrex> | should I read or tips you all have for reaching a higher level of ability with the language? |
| 2021-04-21 00:43:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-21 00:43:19 | <aVikingTrex> | My current professional languages are on dotnet - C# and F# |
| 2021-04-21 00:44:18 | <c_wraith> | I think the best thing you can do at the intermediate level is write Haskell programs and use libraries. That latter part is important for learning the sorts of things people actually use |
| 2021-04-21 00:46:03 | <wroathe> | I just keep an audio recording of SPJ playing 24/7 in my apartment as white noise in the background. |
| 2021-04-21 00:47:04 | <DigitalKiwi> | c_wraith: i'm not sure how using things people actually use helps with learning haskell ;p |
| 2021-04-21 00:47:44 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-knsjtabxhwvomwzb) |
| 2021-04-21 00:48:52 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Quit: Leaving) |
| 2021-04-21 00:50:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-04-21 00:50:35 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) |
| 2021-04-21 00:51:33 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2021-04-21 00:52:17 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-21 00:52:24 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-21 00:53:06 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-21 00:53:39 | <Axman6> | wroathe: that sounds very soothing |
| 2021-04-21 00:58:07 | <jackdk> | newhoggy: file a bug in the trustees repo requesting a bound raise? If you can do a PR with the bound relaxations that would be helpful too. https://github.com/bgamari/monoidal-containers/issues/77 also |
All times are in UTC.