Logs: freenode/#haskell
| 2021-04-03 17:19:45 | <codygman__> | Does anyone know that SPJ quote that was like "languages pass the point of no return" or something? I think it was SPJ. Maybe from "Escaping the ivory tower" or "Haskell is useless"? |
| 2021-04-03 17:20:22 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-04-03 17:20:34 | <Uniaika> | sclv: yes, that's why the idea is to have people whose duties explicitly include "reaching out to the community" |
| 2021-04-03 17:20:41 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-04-03 17:20:49 | <Uniaika> | codygman__: ivory tower I think. We are now too big to fail :P |
| 2021-04-03 17:21:07 | <sclv> | i'm just pointing out what could be more explicit in the proposal :-) |
| 2021-04-03 17:22:15 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-03 17:24:23 | <Uniaika> | ok great |
| 2021-04-03 17:24:49 | <codygman__> | Uniaika: Yep, https://youtu.be/re96UgMk6GQ :) |
| 2021-04-03 17:24:55 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-03 17:25:01 | <codygman__> | err time: https://youtu.be/re96UgMk6GQ?t=736 |
| 2021-04-03 17:25:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-03 17:25:43 | <codygman__> | "Threshold of immortality" I guess is what I was looking for |
| 2021-04-03 17:28:20 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-03 17:28:25 | <Uniaika> | yus |
| 2021-04-03 17:28:26 | <Uniaika> | thanks |
| 2021-04-03 17:30:39 | <codygman__> | I needed that quote while talking about Git and Pijul in my roam notes for the curious: https://github.com/codygman/tech-roam/blob/master/20210403121246-why_is_git_so_popular.org |
| 2021-04-03 17:31:20 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-03 17:31:57 | <maerwald> | pijul is unpopular, because the maintainer has had issues with open source ;) |
| 2021-04-03 17:33:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-03 17:33:22 | <codygman__> | I'm not familiar with that... but that's sad if true since it seems good from the outside. |
| 2021-04-03 17:33:32 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-03 17:33:41 | <aldum> | I don't think anything will rival git as long as it's only somewhat better |
| 2021-04-03 17:34:40 | <geekosaur> | "the good is the enemy of the perfect" |
| 2021-04-03 17:34:57 | <aldum> | yes, but that's not necessarily a bad thing |
| 2021-04-03 17:35:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-03 17:35:11 | <codygman__> | Oh man.. you're gonna make me write about worse is better vs better is better again |
| 2021-04-03 17:35:23 | <codygman__> | there goes my saturday |
| 2021-04-03 17:36:15 | <codygman__> | aldum: That assertion is exactly what led me on this web I'm currently weaving :) https://github.com/codygman/tech-roam/blob/master/20210403120704-pijul.org#could-pijul-ever-supplant-git |
| 2021-04-03 17:36:26 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 260 seconds) |
| 2021-04-03 17:36:54 | <codygman__> | and to record the idea of git/pijul integration and whether that's feasible |
| 2021-04-03 17:37:23 | <codygman__> | so like "git is annoying here, I also have this in pijul, let's use pijul and let it do the right git things after" for say a cherry-pick |
| 2021-04-03 17:41:14 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-03 17:44:50 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-zgtmdnbpyvmvjqtw) (Quit: Connection closed for inactivity) |
| 2021-04-03 17:45:00 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-03 17:45:42 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-04-03 17:47:43 | ← | ja parts (janus@anubis.0x90.dk) () |
| 2021-04-03 17:48:45 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-03 17:50:33 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-04-03 17:52:57 | × | xff0x_ quits (~xff0x@2001:1a81:5382:2700:3e60:8ef5:8d8c:59f2) (Quit: xff0x_) |
| 2021-04-03 17:53:06 | → | xff0x joins (~xff0x@2001:1a81:5382:2700:3e60:8ef5:8d8c:59f2) |
| 2021-04-03 17:56:14 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-03 17:58:07 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 252 seconds) |
| 2021-04-03 17:58:50 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 260 seconds) |
| 2021-04-03 17:58:55 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-04-03 17:59:13 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-04-03 18:00:26 | × | puke quits (~vroom@217.138.252.196) (Read error: Connection reset by peer) |
| 2021-04-03 18:03:31 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 2021-04-03 18:05:00 | jpds1 | is now known as jpds |
| 2021-04-03 18:05:08 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-03 18:06:02 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:3972:833a:53d1:5cc2) |
| 2021-04-03 18:10:30 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-ewlrlaksxsegzyhv) (Quit: Connection closed for inactivity) |
| 2021-04-03 18:10:41 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:3972:833a:53d1:5cc2) (Ping timeout: 258 seconds) |
| 2021-04-03 18:13:14 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-03 18:15:47 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-03 18:16:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-03 18:17:33 | × | dinciorip quits (~dincio@62.19.207.211) (Ping timeout: 252 seconds) |
| 2021-04-03 18:17:48 | × | dcoutts quits (~duncan@94.186.125.91.dyn.plus.net) (Read error: Connection reset by peer) |
| 2021-04-03 18:18:07 | → | dcoutts joins (~duncan@94.186.125.91.dyn.plus.net) |
| 2021-04-03 18:18:57 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-04-03 18:21:23 | × | jluttine quits (~jluttine@85-23-66-6.bb.dnainternet.fi) (Quit: WeeChat 3.0) |
| 2021-04-03 18:21:47 | × | Tops2 quits (~Tobias@dyndsl-095-033-091-175.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-04-03 18:22:41 | → | jluttine joins (~jluttine@85-23-66-6.bb.dnainternet.fi) |
| 2021-04-03 18:24:08 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:244f:2986:9fb8:5f81) (Remote host closed the connection) |
| 2021-04-03 18:24:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-03 18:26:23 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 2021-04-03 18:27:20 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-03 18:28:25 | → | Sornaensis joins (~Sornaensi@185.192.69.50) |
| 2021-04-03 18:29:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-03 18:31:26 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 2021-04-03 18:33:29 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-03 18:33:29 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-03 18:37:54 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-04-03 18:41:07 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Quit: WeeChat 2.3) |
| 2021-04-03 18:42:50 | → | ja joins (janus@anubis.0x90.dk) |
| 2021-04-03 18:48:39 | <zebrag> | :t (2,3) >>= return . (+1) |
| 2021-04-03 18:48:40 | <lambdabot> | (Monoid a, Num a, Num b) => (a, b) |
| 2021-04-03 18:49:12 | <zebrag> | What does it want to do with the `Monoid` thing? |
| 2021-04-03 18:50:10 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-03 18:50:47 | <zebrag> | > ([2],3) >>= return . (+1) -- Can I combine `[2]` with something? |
| 2021-04-03 18:50:48 | <lambdabot> | ([2],4) |
| 2021-04-03 18:51:07 | <hpc> | > (2, 3) >>= \_ -> (4, 10) |
| 2021-04-03 18:51:09 | <lambdabot> | error: |
| 2021-04-03 18:51:09 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M293951867439... |
| 2021-04-03 18:51:09 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2021-04-03 18:51:23 | <hpc> | > (Sum 2, 3) >>= \_ -> (Sum 4, 10) -- bah |
| 2021-04-03 18:51:25 | <lambdabot> | (Sum {getSum = 6},10) |
| 2021-04-03 18:51:31 | <hpc> | it wants to combine them |
| 2021-04-03 18:51:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-03 18:51:50 | <zebrag> | hum |
| 2021-04-03 18:52:19 | <hpc> | for lists that's appending, for Sum it's adding, for Product it's multiplication, for Const it's picking one or the other, etc |
| 2021-04-03 18:53:13 | <zebrag> | > ([2],3) >>= \x -> ([5], x+1) -- interesting |
| 2021-04-03 18:53:15 | <lambdabot> | ([2,5],4) |
| 2021-04-03 18:53:55 | ← | ja parts (janus@anubis.0x90.dk) () |
| 2021-04-03 18:54:21 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 2021-04-03 18:54:37 | × | __minoru__shirae quits (~shiraeesh@77.94.25.131) (Ping timeout: 268 seconds) |
| 2021-04-03 18:54:44 | <hpc> | try applying the Monad laws to tuples and you'll find it naturally comes up |
| 2021-04-03 18:54:58 | <hpc> | (or Applicative laws might be easier) |
| 2021-04-03 18:57:18 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection) |
| 2021-04-03 18:58:01 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
All times are in UTC.