Logs on 2021-04-14 (freenode/#haskell)
| 00:02:04 | × | landonf quits (landonf@mac68k.info) (Excess Flood) |
| 00:02:44 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 00:02:56 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 00:03:25 | → | landonf joins (landonf@mac68k.info) |
| 00:05:20 | → | grimpeux joins (~textual@modemcable153.12-178-173.mc.videotron.ca) |
| 00:05:58 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 00:06:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:08:08 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 00:15:31 | × | acidjnk_new quits (~acidjnk@p200300d0c72b954090611fa1f3f989eb.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:15:40 | × | kingmaker quits (2edfa3b9@HSI-KBW-46-223-163-185.hsi.kabel-badenwuerttemberg.de) (Quit: Connection closed) |
| 00:16:50 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 00:22:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 00:24:11 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 00:25:53 | → | Tario joins (~Tario@200.119.184.15) |
| 00:28:08 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 00:29:15 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 00:30:09 | → | smibarber joins (~smibarber@195.140.213.38) |
| 00:30:28 | × | haskellstudent_ quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 268 seconds) |
| 00:32:09 | × | __minoru__shirae quits (~shiraeesh@46.34.206.215) (Read error: No route to host) |
| 00:32:19 | × | obiiwahn quits (~obiwahn@pdpc/supporter/student/obiwahn) (Ping timeout: 268 seconds) |
| 00:32:25 | → | __minoru__shirae joins (~shiraeesh@46.34.206.215) |
| 00:33:32 | → | obiiwahn joins (~obiwahn@pdpc/supporter/student/obiwahn) |
| 00:36:10 | × | kilolympus quits (~kilolympu@5.151.5.177) (Read error: Connection reset by peer) |
| 00:36:10 | × | Tario quits (~Tario@200.119.184.15) (Read error: Connection reset by peer) |
| 00:36:25 | → | Tario joins (~Tario@201.192.165.173) |
| 00:37:36 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 00:38:51 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 00:38:57 | × | rotcev quits (63c75abf@d99-199-90-191.bchsia.telus.net) (Quit: Connection closed) |
| 00:42:30 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 00:43:10 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 00:43:41 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 00:44:17 | × | carlomagno quits (~cararell@148.87.23.8) (Quit: Leaving.) |
| 00:48:10 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 00:51:39 | → | freecoupo joins (~freecoupo@185.200.34.249) |
| 00:51:41 | <freecoupo> | Hello my friends! Claim up to US $24 in coupons now! |
| 00:51:41 | <freecoupo> | Your $24 in coupons are here! |
| 00:51:41 | <freecoupo> | https://a.aliexpress.com/_m0XtOXd Not spam, not virus, just coupons! ;) |
| 00:51:54 | <Axman6> | @where ops |
| 00:51:54 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 00:58:09 | × | grimpeux quits (~textual@modemcable153.12-178-173.mc.videotron.ca) (Quit: Textual IRC Client: www.textualapp.com) |
| 00:59:11 | × | shailangsa quits (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 00:59:47 | → | smerdyakov9 joins (~dan@ip-95-222-147-230.hsi15.unitymediagroup.de) |
| 01:00:05 | × | freecoupo quits (~freecoupo@185.200.34.249) (K-Lined) |
| 01:01:01 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 01:01:41 | × | smerdyakov quits (~dan@5.146.195.159) (Ping timeout: 240 seconds) |
| 01:01:42 | smerdyakov9 | is now known as smerdyakov |
| 01:03:25 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 01:05:52 | → | xsperry joins (~as@cpe-188-129-52-227.dynamic.amis.hr) |
| 01:05:58 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 01:06:00 | × | xsperry quits (~as@cpe-188-129-52-227.dynamic.amis.hr) (Changing host) |
| 01:06:00 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 01:07:33 | → | ddk joins (9d23f773@157.35.247.115) |
| 01:07:47 | × | ddk quits (9d23f773@157.35.247.115) (Client Quit) |
| 01:08:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 01:08:12 | → | smerdyakov8 joins (~dan@5.146.195.164) |
| 01:08:31 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 01:11:49 | × | smerdyakov quits (~dan@ip-95-222-147-230.hsi15.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 01:11:49 | smerdyakov8 | is now known as smerdyakov |
| 01:11:51 | <shapr> | yay k-lined |
| 01:19:43 | × | xff0x quits (~xff0x@2001:1a81:52e3:ed00:16c4:781d:2418:6176) (Ping timeout: 260 seconds) |
| 01:20:04 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 252 seconds) |
| 01:20:43 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 01:21:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:21:10 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds) |
| 01:21:42 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:556:f11d:9bcf:7d2e) |
| 01:22:05 | → | aVikingTrex joins (~holoirc@2001:8003:340d:d00:147c:abad:fef7:d5de) |
| 01:22:23 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 01:24:58 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 01:25:53 | → | alisa joins (adf8e1c6@173.248.225.198) |
| 01:26:02 | → | shailangsa joins (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 01:26:55 | <alisa> | hi, I need you help , i want get current process infos, such as pid , full run path |
| 01:28:13 | → | barakkl1993 joins (~barakkley@2.55.175.206) |
| 01:28:44 | → | alias joins (45ac5999@69-172-89-153.static.imsbiz.com) |
| 01:28:55 | alias | is now known as BalterNotz |
| 01:31:05 | → | drbean_ joins (~drbean@TC210-63-209-49.static.apol.com.tw) |
| 01:31:17 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a04b:d074:eb9e:ca69) |
| 01:31:56 | <alisa> | hello |
| 01:33:16 | × | __minoru__shirae quits (~shiraeesh@46.34.206.215) (Ping timeout: 252 seconds) |
| 01:34:20 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:3c96:f497:7c0d:d48f) |
| 01:34:27 | <shapr> | hi alisa |
| 01:34:29 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 01:35:37 | <alisa> | oh, alisa , is here have any method to get current process info |
| 01:35:38 | <shapr> | alisa: what about https://hackage.haskell.org/package/base-4.15.0.0/docs/System-Environment.html#v:getProgName ? |
| 01:35:50 | <alisa> | oh! thinks |
| 01:36:03 | <shapr> | along with https://hackage.haskell.org/package/base-4.15.0.0/docs/System-Environment.html#v:getExecutablePath |
| 01:36:38 | <alisa> | Niu B, thank you very much |
| 01:36:40 | <shapr> | I don't know how to get the pid of the running program |
| 01:36:56 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-nnqlbbddhkybeglg) (Quit: Connection closed for inactivity) |
| 01:37:42 | <hololeap_> | maybe it's in an environment variable? |
| 01:37:46 | hololeap_ | is now known as hololeap |
| 01:38:08 | <alisa> | en. I’m conducting an experiment. During the uninterrupted operation of the server, the code is dynamically compiled and loaded |
| 01:40:01 | <shapr> | this function claims to return the pid of the current process: https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Process.html#v:getProcessID |
| 01:40:15 | <shapr> | alisa: that's a fun experiment |
| 01:40:44 | <shapr> | alisa: how did you get that working? |
| 01:41:31 | × | barakkl1993 quits (~barakkley@2.55.175.206) (Ping timeout: 252 seconds) |
| 01:41:52 | → | jchia[m] joins (jchiamatri@gateway/shell/matrix.org/x-afhcftwgolwwlgft) |
| 01:42:39 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 01:43:26 | <alisa> | During the exploration, just like nginx dynamic loading configuration, I want to realize that through custom commands like ./program run, ./program load souce_code_file.hs, it can be run in multiple instances. Just started, and now it’s just an idea. |
| 01:43:38 | <jchia[m]> | I need to copy a Data.Vector.Storable Float to a IOVector Float. Is there a more efficient way than to use write in a for_ to copy element-by-element? I would expect those two types of vectors to have the exact same data representation in memory. |
| 01:45:01 | <jchia[m]> | Let me add that the IOVector Float is larger. I want to copy the Storable vector to the IOVector starting from some non-zero index. |
| 01:45:19 | <shapr> | alisa: I hope your idea works! |
| 01:45:44 | × | alisa quits (adf8e1c6@173.248.225.198) (Quit: Connection closed) |
| 01:46:40 | <hololeap> | jchia[m]: looks like there's an unsafeCast function in Data.Vector.Storable |
| 01:46:59 | <hololeap> | oh, nvm that just casts the elements |
| 01:47:59 | × | santiacq1 quits (~santiacq@r167-60-199-83.dialup.adsl.anteldata.net.uy) (Quit: WeeChat 3.1) |
| 01:54:54 | → | amol joins (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 01:55:05 | amol | is now known as syntactic_sugar |
| 01:55:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 01:57:11 | × | jlamothe quits (~jlamothe@198.251.57.81) (Ping timeout: 240 seconds) |
| 01:57:42 | <hololeap> | it doesn't seem like they have the same representation, or at least i don't see any supported way to do what you want, other than O(n) copy |
| 02:00:42 | → | Tario joins (~Tario@201.192.165.173) |
| 02:01:41 | <monochrom> | "IOVector" is ambiguous, there are two or more. |
| 02:03:35 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-ubwtsitjrarbotro) |
| 02:03:38 | <monochrom> | But Data.Vector.Storable.unsafeFreeze/Thaw is the unsafe cast between Storable.Vector and Storable.Mutable.IOVector |
| 02:04:24 | × | aVikingTrex quits (~holoirc@2001:8003:340d:d00:147c:abad:fef7:d5de) (Remote host closed the connection) |
| 02:04:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 02:05:47 | <hololeap> | monochrom: it doesn't seem like the types match up |
| 02:07:15 | <monochrom> | As said, there are like 5 things all called "IOVector". The wrong ones don't match, sure. |
| 02:07:37 | <hololeap> | oh, i see what you're saying now :) |
| 02:09:20 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 02:09:55 | <jchia[m]> | I mean Data.Vector.Mutable.IOVector |
| 02:10:45 | <monochrom> | No go. Data.Vector.Mutable is the "boxed" kind, i.e., behind Data.Vector |
| 02:11:02 | <jchia[m]> | Or Data.Vector.Unboxed.Mutable.Vector |
| 02:11:12 | <monochrom> | But you can always s/import Data.Vector.Mutable/import Data.Vector.Storable.Mutable/ |
| 02:11:15 | <jchia[m]> | Data.Vector.Unboxed.Mutable.IOVector |
| 02:11:52 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 02:11:58 | <monochrom> | <monochrom> As said, there are like 5 things all called "IOVector". The wrong ones don't match, sure. |
| 02:12:36 | <jchia[m]> | Is using Storable.Vector Float more or less efficient than Unboxed.Vector Float? I expect them to both be unboxed in the general sense. |
| 02:13:40 | <monochrom> | I heard yes for Float a most scalar element types. I haven't tested it though. |
| 02:13:47 | <monochrom> | s/a most/and most/ |
| 02:14:14 | <hololeap> | Storable is using pointers hiding behind FFI. no idea though :) |
| 02:14:51 | <monochrom> | Naw just one pointer to the beginning of the whole array. Elementwise it uses Storable methods. |
| 02:15:15 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 02:15:19 | <hololeap> | i would think they would be very similar in performance |
| 02:15:45 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 02:16:22 | × | syntactic_sugar quits (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 02:16:57 | → | syntactic_sugar joins (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 02:17:15 | × | syntactic_sugar quits (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 02:17:22 | <monochrom> | I would either ask the authors or do my benchmarks or just go Unboxed and not think. But Storable is sweet because it's much more user-customizable than Unboxed. |
| 02:18:12 | → | syntactic_sugar joins (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 02:18:16 | <monochrom> | Like if I had "data E = MkE Int Bool Char" I would go Storable because that's the only choice. Unboxed is closed. |
| 02:18:51 | <monochrom> | But Float? Why even bother unless you're using someone else library that forces you to. |
| 02:18:56 | × | syntactic_sugar quits (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 02:19:21 | <monochrom> | Or unless it's Float today but you envision you will change it to your own type tomorrow. |
| 02:19:26 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 02:19:34 | <jchia[m]> | It feels like storable should be a special case of unboxed, other than that unbox splits up parts of a tuple. |
| 02:19:53 | → | syntactic_sugar joins (~amol@c-67-169-78-228.hsd1.ca.comcast.net) |
| 02:20:02 | <jchia[m]> | i.e. whatever you can do with unbox you should be able to do with storable |
| 02:20:05 | × | urodna_ quits (~urodna@unaffiliated/urodna) (Quit: urodna_) |
| 02:20:55 | <jchia[m]> | and treat a storable as an unbox without any expensive conversion, discounting tuples |
| 02:21:12 | <jchia[m]> | making the whole thing make sense while working for tuple splitting is a problem, though |
| 02:22:23 | <jchia[m]> | but then, there is no storable instance for tuples |
| 02:22:50 | <hololeap> | my guess is there is something about hiding behind FFI which does not guarantee structure, hence why there is no explicit conversion |
| 02:27:58 | <monochrom> | Hrm nevermind, Unboxed is pretty open too. But you may or may not like tearing up one Complex array into two Double arrays. |
| 02:28:56 | <monochrom> | err nevermind that too, it doesn't tear up into two arrays. |
| 02:29:10 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:4df9:43c4:992a:20a1) |
| 02:29:25 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:4df9:43c4:992a:20a1) (Client Quit) |
| 02:31:37 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 02:32:38 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 02:33:01 | × | myShoggoth quits (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 02:36:48 | <gnumonic> | Can someone explain what a "matchable function" is? Or at least clarify whether (k ~> Type) or (k -> Type) is "matchable"? |
| 02:40:59 | → | myShoggoth joins (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 02:41:19 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:46:13 | × | theDon quits (~td@muedsl-82-207-238-185.citykom.de) (Ping timeout: 240 seconds) |
| 02:47:28 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 02:48:13 | → | theDon joins (~td@94.134.91.214) |
| 02:48:41 | × | drbean_ quits (~drbean@TC210-63-209-49.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 02:50:28 | <koz_> | Unboxed is considerably more annoying to implement than Storable, that much _is_ true. |
| 02:51:05 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:51:05 | finn_elija | is now known as Guest79333 |
| 02:51:05 | FinnElija | is now known as finn_elija |
| 02:51:06 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 02:52:23 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:53:57 | × | Guest79333 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:59:23 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 03:00:54 | <justsomeguy> | Can someone give me a dumbed-down, possibly inaccurate summary of what Traversable is, just to give me a sense of it? Is it an iterator? A thingy that flips inner structure with outer structure? Something that helps me climb trees? |
| 03:02:22 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 03:02:33 | <koz_> | justsomeguy: Traversable is 'effectful fmap'. |
| 03:02:35 | <koz_> | :t fmap |
| 03:02:37 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 03:02:40 | <koz_> | :t traverse |
| 03:02:41 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 03:03:07 | <koz_> | s/is/allows/ |
| 03:06:58 | justsomeguy | slowly mulls over what an applicative effect is. |
| 03:07:48 | <monochrom> | IO is an example. |
| 03:08:03 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 03:09:31 | <monochrom> | If you have ["hello", "hi", "aloha"], and if you want for each string there you putStrLn then getLine, and you want the result list to be the 3 lines you get from the 3 getLines: |
| 03:09:52 | × | roconnor quits (~roconnor@host-45-78-202-80.dyn.295.ca) (Ping timeout: 240 seconds) |
| 03:09:57 | <monochrom> | traverse (\s -> putStrLn s >> getLine) ["hello", "hi", "aloha"] |
| 03:10:04 | <monochrom> | THE END |
| 03:11:21 | × | syntactic_sugar quits (~amol@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 03:11:55 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 03:11:55 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-ljvkmqtgqlpdhiue) () |
| 03:12:26 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 03:12:36 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 03:13:25 | <justsomeguy> | Hrm, that's pretty similar to forM, which I've been using for a while now without understanding. |
| 03:13:28 | → | guest414 joins (~user@49.5.6.87) |
| 03:13:53 | <monochrom> | Just different argument orders. |
| 03:14:32 | <guest414> | how to take out 3 and 4 from [Just 3, Just 4] with fmap? turn List and Maybe into a monad transformer? |
| 03:14:58 | <monochrom> | fmap fromJust |
| 03:15:21 | <monochrom> | perhaps catMaybes |
| 03:16:04 | <guest414> | monochrom: what if it's not Just 3, if it's T 3, data T a = T a |
| 03:16:13 | <guest414> | T 3 :: T Int |
| 03:16:20 | <monochrom> | fmap (\(T i) -> i) |
| 03:16:22 | <guest414> | [T 3, T 4] |
| 03:18:13 | <guest414> | monochrom: fmap f [T 3, T 4], I would like want f to take 3 or 4 |
| 03:18:38 | <guest414> | like fmap (+1) [T 3, T 4] |
| 03:18:47 | <monochrom> | Clearly f cannot take 3 or 4. has to take T 3 or T 4. |
| 03:18:48 | <guest414> | return [T 4, T 5] |
| 03:18:57 | <monochrom> | \(T i) -> i+1 |
| 03:19:09 | <guest414> | monochrom: if [T] is a functor, it can |
| 03:19:31 | <guest414> | [T a] |
| 03:20:23 | <monochrom> | fmap (fmap (+1)) |
| 03:20:48 | <guest414> | fmap f (T x) = T (f x) could make T as a functor |
| 03:20:51 | <guest414> | and [] is a functor |
| 03:21:00 | <guest414> | so I wonder if [T ] would be a functor? |
| 03:21:19 | <monochrom> | Did you see my <monochrom> fmap (fmap (+1)) ? |
| 03:22:09 | × | aerona quits (~aerona@2600:6c54:4600:f300:92f6:b406:86cc:ef76) (Quit: Leaving) |
| 03:22:53 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 03:23:16 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving) |
| 03:24:47 | <guest414> | ok |
| 03:25:25 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 03:26:53 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 03:37:01 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 03:45:32 | × | horatiohb quits (~horatiohb@104.236.81.226) (Ping timeout: 240 seconds) |
| 03:52:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:52:55 | <Axman6> | justsomeguy: assuming you have getURL :: URL -> IO ByteString and urls :: Tree URL, you can traverse getUrl urls will give you back a tree with identical structure as urls but with all URLs replaced with their contents, IO (Tree ByteString) |
| 03:53:10 | <Axman6> | :t forM |
| 03:53:11 | <lambdabot> | (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b) |
| 03:53:16 | <Axman6> | :t traverse |
| 03:53:17 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 03:56:01 | × | infinisil quits (~infinisil@NixOS/user/infinisil) (Ping timeout: 246 seconds) |
| 03:56:24 | → | infinisil joins (~infinisil@NixOS/user/infinisil) |
| 03:56:45 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 03:57:01 | × | Benett quits (~Benett@unaffiliated/benett) (Ping timeout: 245 seconds) |
| 03:57:07 | × | noexcept quits (~noexcept@noexcept.org) (Ping timeout: 248 seconds) |
| 03:57:09 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 03:57:12 | → | Black joins (~Benett@unaffiliated/benett) |
| 03:57:18 | Black | is now known as Benett |
| 03:57:31 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 03:57:40 | × | DustyDin1o quits (~nonamen@v2202001112302107134.ultrasrv.de) (Ping timeout: 276 seconds) |
| 03:57:42 | × | mupf quits (~micha@v22017094964653601.ultrasrv.de) (Ping timeout: 252 seconds) |
| 03:58:15 | × | flow quits (~none@salem.informatik.uni-erlangen.de) (Ping timeout: 250 seconds) |
| 03:59:02 | → | DustyDingo joins (~nonamen@v2202001112302107134.ultrasrv.de) |
| 03:59:03 | → | noexcept joins (~noexcept@2a03:b0c0:3:d0::33:9001) |
| 03:59:12 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 03:59:31 | → | mupf joins (~micha@v22017094964653601.ultrasrv.de) |
| 04:00:22 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 04:00:23 | → | flow joins (~none@salem.informatik.uni-erlangen.de) |
| 04:00:26 | → | Alleria joins (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 04:00:49 | Alleria | is now known as Guest52501 |
| 04:02:13 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 04:02:15 | → | olligobber1 joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 04:04:45 | × | Guest52501 quits (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 04:08:13 | × | mawk quits (mawk@serveur.io) (Ping timeout: 260 seconds) |
| 04:08:57 | → | lawt joins (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) |
| 04:10:50 | × | pjb quits (~t@2a01cb04063ec500d887d9fd1a878571.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 04:11:16 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 04:11:18 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 04:14:56 | × | olligobber1 quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 04:15:16 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 04:15:35 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 04:24:32 | → | mawk joins (mawk@serveur.io) |
| 04:26:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 04:26:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a04b:d074:eb9e:ca69) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:29:16 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 04:30:05 | → | olligobber1 joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 04:31:16 | → | torei joins (~torei@c-174-56-229-139.hsd1.ga.comcast.net) |
| 04:37:11 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-modavknqpmqvbcri) (Quit: Connection closed for inactivity) |
| 04:41:44 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 04:44:13 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 04:44:51 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 04:45:12 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 04:45:25 | → | pfurla_ joins (~pfurla@64.145.79.9) |
| 04:46:19 | × | olligobber1 quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 04:48:31 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 04:50:47 | × | alx741 quits (~alx741@181.196.69.92) (Quit: alx741) |
| 04:51:33 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 04:51:35 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 04:52:54 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) () |
| 04:52:58 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
| 04:53:16 | <nineonine> | Q about readMVar |
| 04:53:23 | <nineonine> | does it leave an MVar empty? |
| 04:55:02 | <cjay> | no |
| 04:55:52 | <nineonine> | thanks |
| 04:56:38 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 04:56:55 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 04:57:35 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 04:57:53 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 04:58:15 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 04:58:24 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 04:59:47 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 05:01:46 | <Axman6> | nineonine: you want takeMVar for that |
| 05:02:16 | × | pfurla_ quits (~pfurla@64.145.79.9) (Ping timeout: 252 seconds) |
| 05:03:41 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vrscawlvxnzknimj) |
| 05:04:13 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 05:05:37 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 05:07:18 | × | eacameron quits (uid256985@gateway/web/irccloud.com/x-aldlwnzrztbxujia) (Quit: Connection closed for inactivity) |
| 05:07:39 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 05:08:02 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 05:08:07 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 05:08:38 | → | CaptainIRS joins (9d314145@157.49.65.69) |
| 05:12:08 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 05:20:51 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 05:27:58 | → | monochrom joins (trebla@216.138.220.146) |
| 05:38:58 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 05:48:41 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 05:50:57 | × | loller_ quits (uid358106@gateway/web/irccloud.com/x-smufmjmlmpltpnfn) (Quit: Connection closed for inactivity) |
| 05:53:22 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 05:55:27 | × | smibarber quits (~smibarber@195.140.213.38) (Remote host closed the connection) |
| 05:56:04 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 05:57:42 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 05:59:45 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:3c96:f497:7c0d:d48f) (Remote host closed the connection) |
| 06:01:07 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 06:04:43 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:d18c:7d6b:6683:b0b0) |
| 06:04:46 | → | malumore_ joins (~malumore@151.62.114.211) |
| 06:09:36 | → | chele joins (~chele@78.128.94.174) |
| 06:13:38 | × | darkon quits (~darkon@90.214.167.201) (Ping timeout: 240 seconds) |
| 06:14:14 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 06:15:00 | → | michalz joins (~user@185.246.204.61) |
| 06:15:58 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 06:16:09 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:16:20 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 06:18:19 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 06:22:33 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
| 06:22:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:25:44 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 06:26:58 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 06:28:04 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 252 seconds) |
| 06:28:08 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 06:28:34 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 06:28:53 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 06:30:28 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 06:31:16 | → | aVikingTrex joins (789a2138@120.154.33.56) |
| 06:31:39 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 06:32:13 | × | myShoggoth quits (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 06:32:59 | → | ixlun joins (~user@109.249.184.235) |
| 06:33:05 | × | MrMobius quits (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 06:34:09 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 06:34:12 | × | Firedancer quits (sid336191@gateway/web/irccloud.com/x-ymzfrqjvnjogppne) (Ping timeout: 246 seconds) |
| 06:34:15 | × | mpickering quits (sid78412@gateway/web/irccloud.com/x-adymmghybcqfpwbe) (Ping timeout: 250 seconds) |
| 06:34:15 | × | simony quits (sid226116@gateway/web/irccloud.com/x-mscpxuicjuzgvhyw) (Ping timeout: 258 seconds) |
| 06:34:27 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-kbvwclhudsmkcyno) (Ping timeout: 248 seconds) |
| 06:34:34 | × | Tritlo quits (sid58727@gateway/web/irccloud.com/x-ebgcghokgzjiocde) (Ping timeout: 246 seconds) |
| 06:34:41 | × | gluegadget quits (sid22336@gateway/web/irccloud.com/x-mneshyogspxgyxsl) (Ping timeout: 250 seconds) |
| 06:34:43 | × | acertain quits (sid470584@gateway/web/irccloud.com/x-xarjgpqbpnaskcwh) (Read error: Connection reset by peer) |
| 06:34:45 | × | affinespaces quits (sid327561@gateway/web/irccloud.com/x-hytpelyqynztawrd) (Read error: Connection reset by peer) |
| 06:34:45 | × | edwinb quits (sid69486@gateway/web/irccloud.com/x-zkwljnhotbnadxsf) (Read error: Connection reset by peer) |
| 06:34:45 | × | heyj quits (sid171370@gateway/web/irccloud.com/x-arodbxfmhubswiuy) (Read error: Connection reset by peer) |
| 06:34:49 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 06:34:49 | × | rann quits (sid175221@gateway/web/irccloud.com/x-gqisofztpsiaqwfs) (Read error: Connection reset by peer) |
| 06:34:50 | × | dsturnbull quits (sid347899@gateway/web/irccloud.com/x-ulzijgzjjjoyxwfv) (Ping timeout: 258 seconds) |
| 06:34:58 | × | dmj` quits (sid72307@gateway/web/irccloud.com/x-ozlyyuwrrxwejoza) (Read error: Connection reset by peer) |
| 06:35:13 | × | hamishmack quits (sid389057@gateway/web/irccloud.com/x-zggwyezkruntccxr) (Ping timeout: 258 seconds) |
| 06:35:14 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 06:35:14 | × | CaptainIRS quits (9d314145@157.49.65.69) (Quit: Connection closed) |
| 06:35:20 | × | adius quits (sid321344@gateway/web/irccloud.com/x-pplzvbbtxozdptux) (Read error: Connection reset by peer) |
| 06:35:47 | × | thc202 quits (~thc202@unaffiliated/thc202) (Max SendQ exceeded) |
| 06:35:52 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 06:35:57 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-ziectdehwbawptyu) (Ping timeout: 246 seconds) |
| 06:35:59 | × | nick_h quits (sid319833@gateway/web/irccloud.com/x-hurbpwgphyteuyqm) (Ping timeout: 250 seconds) |
| 06:36:08 | → | adius joins (sid321344@gateway/web/irccloud.com/x-yfsibqzgqazbvhna) |
| 06:36:08 | → | mpickering joins (sid78412@gateway/web/irccloud.com/x-uuuhuurfuxahsslu) |
| 06:36:08 | → | Tritlo joins (sid58727@gateway/web/irccloud.com/x-aozswbintmywimnv) |
| 06:36:20 | → | hamishmack joins (sid389057@gateway/web/irccloud.com/x-pnmcssvibehjvusv) |
| 06:36:21 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-lbtagjjufznxxeun) |
| 06:36:21 | → | Firedancer joins (sid336191@gateway/web/irccloud.com/x-xoleucehjmvybibw) |
| 06:36:23 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 06:36:26 | → | heyj joins (sid171370@gateway/web/irccloud.com/x-ztdmvfaxkruzhawl) |
| 06:36:26 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-xczsjbruunvdnrpf) |
| 06:36:30 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:36:33 | → | affinespaces joins (sid327561@gateway/web/irccloud.com/x-uzfjyzvrqoqxacwx) |
| 06:36:45 | → | rann joins (sid175221@gateway/web/irccloud.com/x-jkryvxnehqtlncpj) |
| 06:36:54 | → | dmj` joins (sid72307@gateway/web/irccloud.com/x-crrlyvbcezdwisgb) |
| 06:37:02 | → | edwinb joins (sid69486@gateway/web/irccloud.com/x-ceykgrlrnlvnljwc) |
| 06:37:02 | → | acertain joins (sid470584@gateway/web/irccloud.com/x-udpocathjkijcvpk) |
| 06:37:27 | → | dsturnbull joins (sid347899@gateway/web/irccloud.com/x-rwwelyrmjwhraekh) |
| 06:37:28 | → | nick_h joins (sid319833@gateway/web/irccloud.com/x-rpjxyycebsudwryk) |
| 06:37:43 | → | simony joins (sid226116@gateway/web/irccloud.com/x-kqfdecpcfpxqodld) |
| 06:37:55 | × | thc202 quits (~thc202@unaffiliated/thc202) (Remote host closed the connection) |
| 06:38:02 | → | gluegadget joins (sid22336@gateway/web/irccloud.com/x-yvyuuucqiikbdiwr) |
| 06:39:15 | mnrmnaugh | is now known as awk |
| 06:39:35 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 06:39:44 | → | Sornaensis joins (~Sornaensi@85.203.36.21) |
| 06:41:34 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 265 seconds) |
| 06:41:52 | × | aVikingTrex quits (789a2138@120.154.33.56) (Quit: Connection closed) |
| 06:43:21 | → | aVikingTrex joins (789a2138@120.154.33.56) |
| 06:47:08 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 06:47:09 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 06:48:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 258 seconds) |
| 06:48:48 | → | Sorna joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 06:49:01 | × | ixlun quits (~user@109.249.184.235) (Remote host closed the connection) |
| 06:51:03 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:556:f11d:9bcf:7d2e) (Ping timeout: 260 seconds) |
| 06:51:52 | × | Sornaensis quits (~Sornaensi@85.203.36.21) (Ping timeout: 252 seconds) |
| 06:51:56 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:8a89:d95a:dbc3:e25e) |
| 06:52:06 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 06:52:28 | aVikingTrex | is now known as Evilmagix |
| 06:52:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 06:53:31 | Evilmagix | is now known as aVikingTrex |
| 06:53:52 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 06:55:57 | → | EvilMagix joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 06:56:26 | × | aVikingTrex quits (789a2138@120.154.33.56) (Quit: Connection closed) |
| 06:56:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 06:57:03 | EvilMagix | is now known as aVikingTrex |
| 06:57:19 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 06:59:16 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:d18c:7d6b:6683:b0b0) (Remote host closed the connection) |
| 06:59:43 | awk | is now known as mnrmnaugh |
| 07:01:47 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 07:01:56 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 07:02:15 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:c438:feb2:e809:229a) (Ping timeout: 260 seconds) |
| 07:02:26 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 07:04:38 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 07:04:55 | → | idhugo_ joins (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 07:06:51 | → | Guest63507 joins (~Tracerneo@185.204.1.185) |
| 07:07:40 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 07:08:07 | → | veverak joins (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 07:12:58 | → | nictki joins (~nictki@b2b-78-94-64-166.unitymedia.biz) |
| 07:13:26 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:4629:c718:4876:b286) |
| 07:14:50 | × | nictki quits (~nictki@b2b-78-94-64-166.unitymedia.biz) (Client Quit) |
| 07:15:46 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Read error: No route to host) |
| 07:16:02 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 07:19:38 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 07:22:52 | → | kuribas joins (~user@ptr-25vy0i7m3jb61f685yu.18120a2.ip6.access.telenet.be) |
| 07:25:43 | → | lokesh1197 joins (cbc182d2@203.193.130.210) |
| 07:26:36 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:27:11 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 07:29:12 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 07:30:04 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 07:36:21 | → | Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net) |
| 07:39:13 | → | nineonine joins (~nineonine@50.216.62.2) |
| 07:43:32 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 07:43:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:44:32 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 07:47:33 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 07:48:38 | → | syntactic_sugar joins (~syntactic@209.58.139.237) |
| 07:48:53 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 07:49:11 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 07:51:47 | × | syntactic_sugar quits (~syntactic@209.58.139.237) (Client Quit) |
| 07:51:48 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 07:52:12 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 07:57:01 | → | __minoru__shirae joins (~shiraeesh@46.34.206.215) |
| 08:00:07 | → | Alleria joins (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 08:00:30 | Alleria | is now known as Guest30018 |
| 08:01:17 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:04:47 | × | Guest30018 quits (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 08:05:18 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:05:31 | × | torei quits (~torei@c-174-56-229-139.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
| 08:07:04 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:09:10 | → | Sorny joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 08:09:57 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:11:22 | × | BalterNotz quits (45ac5999@69-172-89-153.static.imsbiz.com) (Ping timeout: 240 seconds) |
| 08:11:44 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 08:13:16 | × | Sorna quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 252 seconds) |
| 08:13:21 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 08:14:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 08:19:54 | → | srk joins (~sorki@unaffiliated/srk) |
| 08:23:10 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:25:52 | → | mikolaj joins (~mikon@duch.mimuw.edu.pl) |
| 08:26:44 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 08:28:16 | → | alias joins (790c93fc@121.12.147.252) |
| 08:30:10 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 08:30:41 | × | mikolaj quits (~mikon@duch.mimuw.edu.pl) (Client Quit) |
| 08:32:58 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vrscawlvxnzknimj) (Quit: Connection closed for inactivity) |
| 08:34:29 | × | ddere quits (uid110888@gateway/web/irccloud.com/x-gokpmupptkfvgzhl) (Quit: Connection closed for inactivity) |
| 08:34:47 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:34:55 | → | kiweun joins (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) |
| 08:39:32 | × | kiweun quits (~kiweun@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 08:40:36 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 08:40:55 | → | acidjnk_new joins (~acidjnk@p200300d0c72b954090611fa1f3f989eb.dip0.t-ipconnect.de) |
| 08:43:04 | → | fendor joins (~fendor@91.141.2.26.wireless.dyn.drei.com) |
| 08:43:49 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:88d8:adcd:b46:7f64) (Ping timeout: 258 seconds) |
| 08:48:05 | <ij> | What does this mean? [__1] rejecting: dmenu:setup.Cabal-3.0.1.0/installed-3.0.1.0 (conflict: dmenu => dmenu:setup.Cabal>=1.10 && <1.25) |
| 08:48:18 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 08:48:23 | <ij> | I'm trying to revive this dmenu.cabal: https://github.com/m0rphism/haskell-dmenu/blob/master/dmenu.cabal |
| 08:51:49 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 08:51:54 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer) |
| 08:51:56 | → | ubert joins (~Thunderbi@77.119.128.21.wireless.dyn.drei.com) |
| 08:52:00 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) |
| 08:52:51 | <ij> | it seems that cabal-version: >=1.10 is correct (because other updates packages have that) and the file doesn't have any other versions specified |
| 08:53:02 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 08:54:17 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 08:56:34 | → | lampowner joins (~xblow@broadband-90-154-72-32.ip.moscow.rt.ru) |
| 08:57:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 08:58:32 | → | pjb joins (~t@2a01cb04063ec500344f9530065f230b.ipv6.abo.wanadoo.fr) |
| 08:59:19 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 08:59:41 | → | Sornaensis joins (~Sornaensi@79.142.232.102) |
| 08:59:47 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 09:00:08 | × | VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-uozhdqikwobvzrfg) (Quit: Idle for 30+ days) |
| 09:01:15 | <alias> | #haskell.tw |
| 09:02:12 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 09:02:19 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 09:10:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:10:42 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 09:10:47 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 09:17:52 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 09:21:01 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 09:22:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 09:23:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:24:04 | × | Sornaensis quits (~Sornaensi@79.142.232.102) (Ping timeout: 252 seconds) |
| 09:27:01 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 09:28:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:29:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:30:36 | <gnumonic> | So I'd like to use type level Peano numbers with the singletons library. I don't think that the library itself provides that and I'm pretty sure I shouldn't use typelits, so is there some preferred library that interfaces with singletons? Or does everyone just roll their own and prove axioms of number theory as they need them? :p |
| 09:32:18 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 09:33:23 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 09:34:57 | → | zaquest joins (~notzaques@5.128.210.178) |
| 09:34:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:35:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:37:54 | <__monty__> | That's not an unlikely scenario, given haskell's not really suited to theorem proving anyway. |
| 09:40:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:41:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:41:23 | <gnumonic> | Bearing in mind that I know nothing about how TypeLits are implemented at all, is there some reason GHC's typechecker can't prove simple facts about typelevel numbers? |
| 09:41:55 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 09:42:46 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 09:42:54 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 09:43:31 | <__monty__> | No, it's just not a popular pursuit. |
| 09:43:34 | <__monty__> | @where hasochism |
| 09:43:35 | <lambdabot> | I know nothing about hasochism. |
| 09:43:41 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 09:43:43 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) (Ping timeout: 260 seconds) |
| 09:43:47 | × | seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 265 seconds) |
| 09:43:57 | <DigitalKiwi> | dibblego gave me some peano exercises maybe he has an idea |
| 09:43:58 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 09:44:00 | <kuribas> | I don't get why people think haskell is about proving business logic in types. |
| 09:44:18 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 240 seconds) |
| 09:44:27 | <__monty__> | This paper shows what's possible and how inconvenient it is compared to a language with support for such things, https://dl.acm.org/doi/abs/10.1145/2578854.2503786 |
| 09:44:58 | <kuribas> | I see haskell more like, it's a language with nice abstractions, and a type system that is expressive enough to express and guard those abstractions. |
| 09:45:13 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 09:45:28 | <__monty__> | kuribas: You're extrapolating. gnumonic is probably just interested in this. No harm checking it out. |
| 09:46:08 | <__monty__> | gnumonic: Codewares.io has a couple fun type-level hackery challenges. |
| 09:46:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:46:27 | <kuribas> | __monty__: I am not saying you shouldn't have fun with it. |
| 09:46:32 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 09:46:52 | → | Katarushisu joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 09:46:58 | <gnumonic> | monty: mkay I'll check it out, thank you. And yeah I'm just sort of experimenting with what I can do at the type level. |
| 09:47:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:48:03 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 09:48:23 | <kuribas> | __monty__: I am just saying you probably make your life harder if you go that route. |
| 09:48:24 | <DigitalKiwi> | kuribas: the real mad lads are the people that write their business logic in hedgehog |
| 09:48:52 | <__monty__> | DigitalKiwi: Surely you mean describe their business logic to hedgehog and have it infer the implementation? : ) |
| 09:49:13 | <DigitalKiwi> | https://clrnd.com.ar/posts/2017-04-21-the-water-jug-problem-in-hedgehog.html idk :D |
| 09:49:15 | → | seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 09:49:34 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 09:51:58 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) |
| 09:52:09 | <kuribas> | I've been wondering if there is a way to create tests for edge cases... |
| 09:52:28 | <kuribas> | Like, you have some code, and you generate tests which will exercise all code paths. |
| 09:52:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 09:53:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:53:23 | <__monty__> | I think maybe there's some FSM test machinery that does so? |
| 09:54:05 | <__monty__> | The general problem sounds very Halting-y to me. |
| 09:54:54 | <kuribas> | I had a bug in our compression algorithm which happened only in few cases. |
| 09:55:05 | <kuribas> | Luckily we did a large scale test first. |
| 09:55:08 | <DigitalKiwi> | smolcheck |
| 09:55:43 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-andoqpzjmzizoeoe) |
| 09:55:47 | <kuribas> | https://github.com/burmanm/compression-int/issues/6 |
| 09:55:48 | <DigitalKiwi> | kuribas: "large scale test" == "pushed to prod" ? |
| 09:56:00 | <kuribas> | DigitalKiwi: before pushing to prod even! |
| 09:56:03 | <maralorn> | kuribas: There is a difference between "proving your business logic" and using typelevel nats for good code. I e.g. am doing a lot of stuff mit matrices and tracking on the typelevel that their dimensions match seems not crazy to me at all. |
| 09:56:16 | <DigitalKiwi> | kuribas: congrats you're a 10x dev |
| 09:56:27 | <maralorn> | Although the constraints "(KnownNat n, KnownNat k, KnownNat (n * k), (n * k) ~ (k * n)) =>" are certainly not satisfying. |
| 09:56:45 | <kuribas> | DigitalKiwi: not sure, it took us months testing and integrating the compression. |
| 09:57:43 | <DigitalKiwi> | well if had gone to prod it would have likely become a feature |
| 09:57:47 | <kuribas> | maralorn: my take is, avoid complicated types if you can, otherwise just use them :-) |
| 09:58:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 09:58:10 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 09:58:27 | <DigitalKiwi> | as in, it'd never get fixed, all future code would be aware of it, and require its existence |
| 09:58:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:59:38 | <DigitalKiwi> | ...or not aware of it and be extra perplexing when it doesn't work :D |
| 10:00:25 | <kuribas> | Or customers suddenly not making their quotas because of the change to compression... |
| 10:01:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 10:04:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:04:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:05:12 | × | ubert quits (~Thunderbi@77.119.128.21.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 10:07:13 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 10:07:55 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 10:09:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 10:10:12 | × | idhugo_ quits (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 10:10:18 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:10:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:10:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:15:12 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 10:15:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:16:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:18:14 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 10:21:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 10:21:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:23:53 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 10:27:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:27:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:28:26 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 10:30:40 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 10:31:28 | → | proteusguy joins (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) |
| 10:32:07 | × | __minoru__shirae quits (~shiraeesh@46.34.206.215) (Ping timeout: 265 seconds) |
| 10:32:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:33:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:34:40 | pjb | is now known as foopjb |
| 10:34:59 | foopjb | is now known as pjb |
| 10:36:05 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:280b:80b1:e1e0:8381) |
| 10:36:13 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 10:40:21 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:280b:80b1:e1e0:8381) (Ping timeout: 258 seconds) |
| 10:40:41 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 10:41:30 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 10:42:45 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 10:43:03 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 10:53:19 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 10:57:56 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 10:58:04 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 10:58:05 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 11:00:00 | → | Alleria joins (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 11:00:24 | Alleria | is now known as Guest39903 |
| 11:02:09 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 11:02:28 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 11:04:30 | × | Guest39903 quits (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 11:12:11 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:13:32 | → | Alleria__ joins (~textual@mskresolve-a.mskcc.org) |
| 11:15:41 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 11:16:49 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 11:25:31 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 11:31:26 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 11:33:27 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 11:33:56 | × | pjb quits (~t@2a01cb04063ec500344f9530065f230b.ipv6.abo.wanadoo.fr) (Quit: new parameters) |
| 11:34:53 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-tzexppsgjjqaiofw) (Quit: Connection closed for inactivity) |
| 11:35:46 | → | pjb joins (~pjb@2a01cb04063ec50074da953aa01bf5c6.ipv6.abo.wanadoo.fr) |
| 11:38:16 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 11:40:23 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 11:41:05 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 11:41:48 | pjb | is now known as foopjb |
| 11:41:57 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 11:42:05 | foopjb | is now known as pjb |
| 11:45:16 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 11:49:58 | → | rodriga joins (~quassel@134.204.25.66) |
| 11:52:25 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 11:52:45 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 11:54:24 | → | Nihilist joins (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) |
| 11:59:00 | × | hc quits (~hc@fsfe/hc) (Read error: Connection reset by peer) |
| 11:59:07 | → | hc joins (~hc@fsfe/hc) |
| 12:04:12 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:07:26 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 12:07:49 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 12:07:58 | × | jonathanx_ quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 12:08:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c4d3:a85a:9b66:5814) |
| 12:12:08 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 12:17:16 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:17:24 | → | idhugo_ joins (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) |
| 12:17:45 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 12:19:50 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 12:19:54 | × | idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 12:20:31 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 12:21:45 | → | Deide joins (~Deide@217.155.19.23) |
| 12:22:26 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 12:23:09 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 12:23:57 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 250 seconds) |
| 12:28:01 | × | guest414 quits (~user@49.5.6.87) (Remote host closed the connection) |
| 12:32:44 | → | __minoru__shirae joins (~shiraeesh@46.34.206.85) |
| 12:34:42 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 12:36:44 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:495f:53bc:48fb:8f7c) |
| 12:37:27 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 12:37:36 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 12:37:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c4d3:a85a:9b66:5814) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:38:27 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 12:41:04 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 12:41:29 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:495f:53bc:48fb:8f7c) (Ping timeout: 258 seconds) |
| 12:41:31 | × | Nihilist quits (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) (Quit: Connection closed) |
| 12:41:37 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 12:43:09 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 12:44:04 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 12:44:33 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:8a89:d95a:dbc3:e25e) (Ping timeout: 258 seconds) |
| 12:45:08 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 12:45:20 | × | jrm quits (~jrm@freebsd/developer/jrm) (Read error: Connection reset by peer) |
| 12:45:21 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 12:45:27 | → | jrm2 joins (~jrm@freebsd/developer/jrm) |
| 12:45:29 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:34cf:6978:1caf:5ec6) |
| 12:46:09 | jrm2 | is now known as jrm |
| 12:46:27 | → | supernaut joins (~supernaut@aadl28.neoplus.adsl.tpnet.pl) |
| 12:47:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 12:48:31 | × | supernaut quits (~supernaut@aadl28.neoplus.adsl.tpnet.pl) (Client Quit) |
| 12:48:35 | <raehik> | What's the difference between a Type and a * ? Is there any? |
| 12:48:41 | <raehik> | :k * |
| 12:48:43 | <lambdabot> | * |
| 12:48:46 | <raehik> | :k Type |
| 12:48:48 | <lambdabot> | error: |
| 12:48:48 | <lambdabot> | Not in scope: type constructor or class ‘Type’ |
| 12:48:58 | <merijn> | raehik: None |
| 12:49:07 | <merijn> | raehik: Type is a new name for * |
| 12:49:27 | <merijn> | raehik: Because the dependent Haskell crowd want to use * as type-level multiplication operator |
| 12:50:10 | <merijn> | % :k * |
| 12:50:10 | <yahb> | merijn: * |
| 12:50:12 | <merijn> | % :k Type |
| 12:50:12 | <yahb> | merijn: ; <interactive>:1:1: error:; Ambiguous occurrence `Type'; It could refer to; either `Language.Haskell.TH.Type', imported from `Language.Haskell.TH' (and originally defined in `Language.Haskell.TH.Syntax'); or `Data.Kind.Type', imported from `Data.Kind' (and originally defined in `GHC.Types') |
| 12:50:17 | <merijn> | oof |
| 12:50:22 | <raehik> | merijn: thanks! |
| 12:50:47 | <merijn> | raehik: See also -XStarIsType (or whatever it was called) in the GHC user guide |
| 12:50:51 | <merijn> | @where user-guide |
| 12:50:52 | <lambdabot> | I know nothing about user-guide. |
| 12:50:55 | <merijn> | @where userguide |
| 12:50:55 | <lambdabot> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ |
| 12:51:05 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.1) |
| 12:52:02 | <raehik> | cool, wonder if that's planned to get into a release soon |
| 12:52:09 | <merijn> | Probably not |
| 12:52:28 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 12:52:57 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 12:53:03 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 12:54:33 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 12:55:05 | → | raichoo joins (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) |
| 12:55:49 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 12:57:00 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 12:57:09 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 12:57:34 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Read error: Connection reset by peer) |
| 12:58:15 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 13:00:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 13:06:04 | → | cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 13:07:28 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 13:07:57 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 13:13:38 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:14:11 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:4629:c718:4876:b286) (Ping timeout: 260 seconds) |
| 13:14:14 | → | freeman42x joins (~40726@2a02:2f0c:5a03:4a00:25d9:dfce:25a7:bd32) |
| 13:14:31 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 260 seconds) |
| 13:14:38 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 13:16:53 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 13:20:33 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 13:20:50 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:20:51 | → | matijja joins (~matijja@193.77.181.208) |
| 13:21:34 | → | Nihilist joins (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) |
| 13:21:44 | ← | Nihilist parts (5f761bd1@dynamic-095-118-027-209.95.118.pool.telefonica.de) () |
| 13:21:49 | → | carlomagno joins (~cararell@148.87.23.13) |
| 13:22:11 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 13:22:28 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 13:22:45 | → | roconnor joins (~roconnor@host-45-58-193-19.dyn.295.ca) |
| 13:23:08 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 13:23:19 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 13:26:12 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 13:26:14 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 13:26:40 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 13:27:23 | × | lokesh1197 quits (cbc182d2@203.193.130.210) (Ping timeout: 240 seconds) |
| 13:27:53 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:27:56 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 13:28:03 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 13:28:15 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 13:28:18 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 13:31:04 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 13:31:49 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:31:49 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:32:07 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:32:32 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:9346:b3f:94d7:13fa) |
| 13:35:32 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 13:36:19 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 13:37:29 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 13:38:07 | → | Tario joins (~Tario@201.192.165.173) |
| 13:38:22 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 13:39:13 | × | __minoru__shirae quits (~shiraeesh@46.34.206.85) (Ping timeout: 240 seconds) |
| 13:40:43 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:40:51 | <whataday> | is there ListT? |
| 13:41:10 | <whataday> | no IOT? |
| 13:41:35 | <dolio> | There's no IOT. |
| 13:41:41 | → | alx741 joins (~alx741@181.196.69.92) |
| 13:42:18 | <whataday> | is there MaybeT [] a? |
| 13:42:52 | <whataday> | MaybeT [Just 3, Nothing] is ok? |
| 13:44:13 | Clint | squints. |
| 13:45:38 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 13:45:57 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:46:52 | <hyperisco> | whataday, you can look for these things on Hoogle |
| 13:46:53 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 13:47:03 | <hyperisco> | and you can try them in ghci |
| 13:48:31 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 13:50:03 | <ski> | @type MaybeT [Just (3 :: Integer),Nothing] |
| 13:50:05 | <lambdabot> | MaybeT [] Integer |
| 13:50:19 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 13:50:19 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 13:50:31 | <ski> | @wiki ListT done right |
| 13:50:31 | <lambdabot> | https://wiki.haskell.org/ListT_done_right |
| 13:51:25 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 13:52:26 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 13:52:58 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-andoqpzjmzizoeoe) (Quit: Connection closed for inactivity) |
| 13:53:02 | → | jchia_ joins (~jchia@jungle.jchia.net) |
| 13:58:25 | → | st8less joins (~st8less@2603:a060:11fd::bf1) |
| 13:59:03 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 13:59:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 14:00:40 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:01:19 | <whataday> | ok |
| 14:01:49 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 14:01:52 | <whataday> | :t flatMap |
| 14:01:54 | <lambdabot> | error: Variable not in scope: flatMap |
| 14:02:28 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:02:59 | <geekosaur> | :t (>>=) |
| 14:03:00 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 14:03:54 | → | Tops2 joins (~Tobias@dyndsl-095-033-095-094.ewe-ip-backbone.de) |
| 14:04:07 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 14:04:13 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 14:04:32 | <whataday> | I remember there's a function could work on nested list |
| 14:04:47 | <whataday> | but I forget its name |
| 14:05:19 | <geekosaur> | fmap "drills down", if that's what you mean |
| 14:05:28 | <whataday> | fmap f [[1], [2,3]] |
| 14:05:51 | <whataday> | that f work on 1 or 2 or 3 |
| 14:06:13 | <Zemyla> | ContT (Compose IO []) works too, because right associativity is enforced. |
| 14:06:20 | <geekosaur> | thta f works on [1] and [2,3]. but you can nest fmap-s to work on inner values |
| 14:06:48 | <Tops2> | > (fmap . fmap) (subtract 1) [[1],[2,3]] |
| 14:06:50 | <lambdabot> | [[0],[1,2]] |
| 14:07:01 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 14:07:30 | × | jchia_ quits (~jchia@jungle.jchia.net) (Remote host closed the connection) |
| 14:07:54 | <whataday> | could I name fmap = fmap . fmap? |
| 14:08:03 | <Zemyla> | :t \a -> ContT $ \c -> Compose $ a >>= (getCompose . c) |
| 14:08:04 | <lambdabot> | forall k (f :: * -> *) a1 (a2 :: k) (g :: k -> *). Monad f => f a1 -> ContT a2 (Compose f g) a1 |
| 14:08:08 | <whataday> | so [[]] is a functor? |
| 14:08:09 | <Zemyla> | :t \a -> ContT $ \c -> Compose $ fmap join $ traverse (getCompose . c) $ a |
| 14:08:10 | <lambdabot> | (Monad g, Traversable g, Applicative f) => g a1 -> ContT a2 (Compose f g) a1 |
| 14:08:28 | <whataday> | ContT is beyond my comprehension now |
| 14:08:44 | <Zemyla> | You want to use Compose for nested fmaps. |
| 14:08:52 | <Zemyla> | :t Compose [[1], [2, 3]] |
| 14:08:53 | <lambdabot> | Num a => Compose [] [] a |
| 14:09:00 | <whataday> | I always don't know how callCC worked |
| 14:09:15 | <whataday> | aha, |
| 14:09:34 | <whataday> | Compose is a functor, right? |
| 14:10:18 | <Tops2> | > (getCompose . fmap) (subtract 1) (Compose [[1],[2,3]]) |
| 14:10:20 | <lambdabot> | error: |
| 14:10:20 | <lambdabot> | • Couldn't match type ‘f0 b0 -> f0 b0’ |
| 14:10:20 | <lambdabot> | with ‘Compose ((->) (Compose [] [] a0)) g a’ |
| 14:10:43 | <whataday> | fmap (+1) $ Compose [[1], [2,3]] |
| 14:12:06 | <Tops2> | > getCompose . fmap (subtract 1) $ Compose [[1],[2,3]] |
| 14:12:08 | <lambdabot> | [[0],[1,2]] |
| 14:12:38 | <Tops2> | ye it's Data.Functor.Compose |
| 14:13:19 | <whataday> | ok |
| 14:13:26 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 14:13:29 | <Zemyla> | I don't know when ContT started making sense to me. |
| 14:14:00 | <whataday> | I can understand Cont a little |
| 14:14:14 | <whataday> | but callCC is really beyond my comprehension |
| 14:14:58 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 14:15:06 | <dolio> | callCC is arguably the worst control operator. |
| 14:15:44 | <whataday> | that use fixed point implement goto with callCC inside Cont, what a twisted! |
| 14:16:19 | <whataday> | I never understand why call fixed point inside Cont would create a loop? |
| 14:16:22 | <dolio> | You could probably come up with worse, but the worst that is usually talked about. |
| 14:16:53 | → | __minoru__shirae joins (~shiraeesh@46.34.206.85) |
| 14:16:59 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 14:17:15 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:17:29 | <whataday> | I saw some people's articles, but no one explained it plainly |
| 14:17:44 | × | ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 252 seconds) |
| 14:17:47 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:17:54 | <whataday> | just make me more confused |
| 14:18:05 | <whataday> | so I just leave it alone |
| 14:20:26 | <geekosaur> | Cont does that to a lot of people |
| 14:21:04 | <juri_> | i keep watching haskell videon, thinking they'll teach me something useful. so far, no dice. |
| 14:21:19 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 14:21:32 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 14:22:34 | <yushyin> | you have more chances to learn something if you just read along here than watching haskell vidoes, is my guess. |
| 14:23:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:24:34 | <whataday> | until someone ask you to read books... |
| 14:24:43 | <whataday> | like real work haskell |
| 14:24:53 | <whataday> | haskell first principal etc |
| 14:25:15 | <whataday> | not some like learn your a haskell for good |
| 14:25:27 | <juri_> | yeah, the books are more useful. |
| 14:25:54 | → | curlybangs joins (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) |
| 14:26:00 | <juri_> | unfortunately when i'm down due to headache (bad month), reading a book is much worse than listening to a video. |
| 14:27:11 | <juri_> | and when i'm not down due to headache, i'm busy writing (bad) haskell. |
| 14:27:16 | <whataday> | I like to learn some skills in haskell and see how it's implemented in others |
| 14:27:46 | <whataday> | I use kotlin for most work |
| 14:27:53 | <whataday> | and they have arrow-kt |
| 14:28:16 | <whataday> | it has some thoughts very like haskell |
| 14:28:36 | <whataday> | but implements are in a horrible way |
| 14:28:57 | <whataday> | but hey, better than nothing |
| 14:29:44 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:30:57 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:31:07 | <whataday> | they simulate to implement higher kind type with class, that class confused me a while |
| 14:31:21 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 14:31:44 | → | Tario joins (~Tario@201.192.165.173) |
| 14:33:21 | → | dariof4 joins (~dario@5.11.121.66) |
| 14:37:30 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:71af:dc19:e65b:7248) |
| 14:40:29 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 14:41:28 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 258 seconds) |
| 14:42:14 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:71af:dc19:e65b:7248) (Ping timeout: 258 seconds) |
| 14:42:26 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Quit: dpl_) |
| 14:42:28 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:43:53 | → | nineonine joins (~nineonine@50.216.62.2) |
| 14:43:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 14:45:11 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:34cf:6978:1caf:5ec6) (Ping timeout: 260 seconds) |
| 14:45:44 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:f134:1482:73e7:cb45) |
| 14:46:56 | → | vfaronov joins (~Srain@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 14:47:51 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 14:48:46 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 14:48:52 | <vfaronov> | Hi all. Any idea why TH's addDependentFile may not work? I have the exact problem described in https://stackoverflow.com/q/49757162, I do what the answer suggests, and still, changing only the embedded file make `cabal build` say "Up to date". |
| 14:50:07 | <tdammers> | off the top of my head, you may need to put it in extra-source-files or sth like that |
| 14:50:25 | × | acidjnk_new quits (~acidjnk@p200300d0c72b954090611fa1f3f989eb.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:50:36 | <merijn> | cabal is not aware of addDependentFile, afaik |
| 14:50:40 | <vfaronov> | tdammers: it's there already |
| 14:50:43 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 14:50:54 | <geekosaur> | the problem with addDependentFile is cabal won't know about it until it compiles the file, but it won't compile the file becauseit doesn't know about the extra dep |
| 14:51:42 | <merijn> | There was some talk/work on making cabal aware of it, I think. But no clue if anything has been done about that |
| 14:52:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 14:53:42 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 14:54:24 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 14:54:36 | <vfaronov> | I see, too bad |
| 14:54:45 | <vfaronov> | thanks anyway |
| 14:55:33 | × | idhugo_ quits (~idhugo@87-49-44-84-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 14:55:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) |
| 14:55:36 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:56:59 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 14:57:20 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:59:06 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 14:59:56 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:f134:1482:73e7:cb45) (Ping timeout: 245 seconds) |
| 15:00:58 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) |
| 15:01:02 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 15:01:51 | → | name joins (5847aff9@dslb-088-071-175-249.088.071.pools.vodafone-ip.de) |
| 15:06:12 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 15:06:57 | <vfaronov> | in that case, is it possible to force Cabal/GHC to recompile (only) a particular file (the one that does embedFile) without actually changing it? I probably need to remove something from under dist-newstyle/build, but what exactly? |
| 15:07:38 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:08:11 | × | name quits (5847aff9@dslb-088-071-175-249.088.071.pools.vodafone-ip.de) (Quit: Connection closed) |
| 15:08:38 | <merijn> | "not really" https://github.com/haskell/cabal/issues/5300 |
| 15:10:11 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 15:14:06 | × | curlybangs quits (185a6b4e@cpe-24-90-107-78.nyc.res.rr.com) (Quit: Ping timeout (120 seconds)) |
| 15:14:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:14:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:15:47 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 15:16:00 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Ping timeout: 268 seconds) |
| 15:16:29 | × | chele quits (~chele@78.128.94.174) (Remote host closed the connection) |
| 15:19:22 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 15:19:58 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 240 seconds) |
| 15:20:10 | ddellaco_ | is now known as ddellacosta_ |
| 15:22:25 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:22:39 | → | s00pcan joins (~chris@107.181.165.217) |
| 15:26:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 15:26:45 | × | dariof4 quits (~dario@5.11.121.66) (Ping timeout: 260 seconds) |
| 15:29:36 | → | hexfive joins (~hexfive@50.35.83.177) |
| 15:29:39 | → | kilolympus joins (~kilolympu@5.151.5.180) |
| 15:31:02 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 15:32:02 | → | bienjensu joins (~bienjensu@unaffiliated/bienjensu) |
| 15:33:10 | → | myShoggoth joins (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 15:33:33 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 15:35:06 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 15:36:50 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 15:38:31 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:40:57 | × | alias quits (790c93fc@121.12.147.252) (Quit: Connection closed) |
| 15:41:19 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:41:32 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 15:41:51 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 15:43:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) |
| 15:44:22 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 15:48:03 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) (Client Quit) |
| 15:49:12 | → | dariof4 joins (~dario@5.11.121.66) |
| 15:50:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 15:50:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) |
| 15:50:56 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:52:23 | × | bienjensu quits (~bienjensu@unaffiliated/bienjensu) (Ping timeout: 268 seconds) |
| 15:54:04 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 15:55:14 | → | rmk236 joins (~lcampos@2a02:908:3616:b100:32db:6142:a17f:785a) |
| 15:55:27 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 15:56:34 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:57:05 | → | horatiohb joins (~horatiohb@104.236.208.44) |
| 15:57:54 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 15:59:08 | → | eacameron joins (uid256985@gateway/web/irccloud.com/x-rzlatralzulvgovn) |
| 16:00:24 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 16:00:39 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:00:45 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 16:01:31 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 16:03:19 | → | taleb_sabina joins (~taleb_sab@2601:285:100:6430::1) |
| 16:03:41 | <taleb_sabina> | How can I have my ghci prompt output the type signature like it does on haskell.org? |
| 16:05:28 | <geekosaur> | :t fmap -- this? |
| 16:05:29 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 16:05:51 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 16:06:02 | <thblt> | taleb_sabina: :set +t |
| 16:06:37 | <geekosaur> | that was the other thing I was thinking of |
| 16:07:15 | <taleb_sabina> | thblt, that looks like this: λ> 5 |
| 16:07:15 | <taleb_sabina> | 5 |
| 16:07:15 | <taleb_sabina> | it :: Num p => p |
| 16:07:15 | <taleb_sabina> | while the website as λ 5 |
| 16:07:15 | <taleb_sabina> | 5 |
| 16:07:17 | <taleb_sabina> | :: Num a => a |
| 16:07:30 | <taleb_sabina> | oops. Sorry about the spam. I forgot how to use IRCs |
| 16:08:15 | <edwardk> | vfaronov: when you embedded the file with template haskell or whatever did you make sure to add a dependency on that file? |
| 16:08:35 | <edwardk> | oh i just saw that you mentioned addDependentFile |
| 16:09:14 | <edwardk> | and oooof. that kinda hurts re cabal i hadn't considered that part |
| 16:10:08 | <thblt> | taleb_sabina: enter :set +t at the ghci prompt to get that effect |
| 16:11:16 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-cwhemzwwgbboniwh) |
| 16:11:38 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 16:11:56 | <taleb_sabina> | thblt, I don't want to have the signature on a separate line. Like haskell.org, it's the result followed by the type sigature. For example: `5 :: Num p => p` rather than `5 \n it :: Num p => p`. Does that make sense? |
| 16:11:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 16:12:37 | → | ram19890 joins (~ram@49.207.130.109) |
| 16:12:48 | <sm[m]> | g'day all. lookupEnv reads the environment variables as they were at program startup, am I right ? |
| 16:13:17 | <sm[m]> | I don't think there's a way to alter the env vars seen by a program while it's running, from outside the program |
| 16:14:56 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 16:15:23 | × | vfaronov quits (~Srain@broadband-95-84-210-78.ip.moscow.rt.ru) (Remote host closed the connection) |
| 16:15:58 | → | slack1256 joins (~slack1256@191.113.234.51) |
| 16:16:08 | <geekosaur> | there is not |
| 16:16:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 16:16:23 | <geekosaur> | and couldn't be, as they are implemented |
| 16:17:32 | <sm[m]> | cool. Context: I'm using unsafePerformIO to check whether NO_COLOR is defined, whether --color=X was used on command line, and whether stdout (or stderr) support ANSI color |
| 16:17:47 | <sm[m]> | which I think is safe and reliable enough |
| 16:18:01 | <geekosaur> | well, hypothetically you could use a debugger to pause the program and edit its memory image, but then you have to deal with e.g. caching (for example time-related stuff calls tzset() once and uses what's computed for the life of the program, never looking at $TZ again) |
| 16:19:06 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 16:19:24 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 16:19:57 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 16:20:08 | <sm[m]> | nice example: https://unix.stackexchange.com/a/38212 |
| 16:20:41 | ski | . o O ( PCLSRing <http://fare.tunes.org/tmp/emergent/pclsr.htm>,<https://existentialtype.wordpress.com/2016/07/11/pclsring-in-semantics/> ) |
| 16:20:50 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 16:21:38 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:22:30 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:24:01 | × | st8less quits (~st8less@2603:a060:11fd::bf1) (Ping timeout: 250 seconds) |
| 16:25:58 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 16:26:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 16:26:45 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 16:27:36 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 16:27:54 | × | dariof4 quits (~dario@5.11.121.66) (Ping timeout: 252 seconds) |
| 16:28:20 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 16:28:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:29:27 | <romesrf> | good afternoon, could someone help me understand Parsec's use of reserved and reservedOp in this small "if" example? https://paste.tomsmeding.com/MZMIiZEW |
| 16:30:29 | <romesrf> | i don't understand 1) why use reserved at all, 2) why use reservedOp to parse "then" unlike "if" and "else" |
| 16:31:41 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 16:32:01 | enikar | thinks… because then is like an operator between two expressions. |
| 16:32:16 | <enikar> | but I'm not sure. |
| 16:32:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:33:14 | <__monty__> | romesrf: Because you might want to include rules like "not in reservedWords" for your regular identifier parser. |
| 16:33:54 | <__monty__> | I'm not sure about the Op-ness, since surely else looks pretty darn similar? |
| 16:36:19 | <romesrf> | my understanding is that `reservedOp name` will fail if name is a prefix to a reserved operation, and `reserved name` will fail if name is a prefix to a reserved name ... :( |
| 16:36:37 | → | nineonine joins (~nineonine@50.216.62.2) |
| 16:37:18 | <romesrf> | all examples i've seen use reserved and reservedOp when defining the parser, but i can't quite understand *why* |
| 16:38:16 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:4003:210e:21b8:f2c0) |
| 16:38:36 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 16:39:35 | → | MrMobius joins (~MrMobius@208.58.206.154) |
| 16:40:16 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 16:40:55 | → | gawen joins (~gawen@movzbl.root.sx) |
| 16:42:59 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:4003:210e:21b8:f2c0) (Ping timeout: 258 seconds) |
| 16:43:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 16:44:05 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 16:47:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:48:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:51:55 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:49a9:cf03:7849:ab6b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:52:13 | → | fendor_ joins (~fendor@77.119.129.135.wireless.dyn.drei.com) |
| 16:52:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 16:52:59 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:b54d:c232:d06e:243a) |
| 16:53:01 | × | zaquest quits (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 16:53:13 | <monochrom> | reserved eats trailing whitespaces for you. |
| 16:53:36 | <monochrom> | But I would use reserved "then", not reservedOp "then". |
| 16:54:19 | <monochrom> | reservedOp is really for reserved symbols/punctuations, for example semicolon, not alphanum things. |
| 16:54:55 | × | fendor quits (~fendor@91.141.2.26.wireless.dyn.drei.com) (Ping timeout: 265 seconds) |
| 16:56:14 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 16:56:26 | <romesrf> | thank you :) |
| 16:56:57 | <monochrom> | https://wiki.haskell.org/Parsing_expressions_and_statements is my better example. |
| 16:57:19 | <romesrf> | great, i'll check it out |
| 16:57:35 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 16:57:54 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:58:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 17:00:08 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-ubwtsitjrarbotro) (Quit: Connection closed for inactivity) |
| 17:00:24 | ← | seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) () |
| 17:01:20 | <monochrom> | I have taken a look at the source code of reservedOp. Here is what's wrong with reservedOp "then". |
| 17:01:34 | <romesrf> | monochrom: +1 it helped, different wordings and different examples are good for understanding better :) ty |
| 17:01:52 | <monochrom> | Suppose your grammar allows "then ;", in which "then" is a reserved word, ";" is a reserved symbol. Two tokens, not one. |
| 17:01:55 | × | rmk236 quits (~lcampos@2a02:908:3616:b100:32db:6142:a17f:785a) (Quit: Leaving.) |
| 17:02:17 | <romesrf> | yes |
| 17:02:44 | <monochrom> | Err I need the grammar to allow "then;" too, no space between them, but still two tokens as said. |
| 17:03:00 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:03:15 | <monochrom> | reservedOp "then" >> reservedOp ";" will fail to do that. |
| 17:03:51 | <romesrf> | understood! but reserved "then" >> reservedOp ";" would work, right? |
| 17:04:07 | <monochrom> | This is because reservedOp "then" goes: string "then" >> notFollowedBy opLetter. (And supposed ';' satisfies opLetter) |
| 17:04:12 | <monochrom> | Yes. |
| 17:05:16 | <monochrom> | So the dichotomy is not "not infix vs infix", it is "alphanum vs symbols" |
| 17:05:30 | <monochrom> | I am OK with "alphanum vs line noise" too. >:) |
| 17:06:12 | <romesrf> | pretty cool, thank you |
| 17:06:24 | <geekosaur> | unless writing an APL parser :p |
| 17:06:40 | <geekosaur> | or J |
| 17:07:13 | → | Guest_54 joins (c4bf35f2@196.191.53.242) |
| 17:07:31 | <monochrom> | There is also K. |
| 17:07:41 | <monochrom> | Or is there? I forgot. |
| 17:07:47 | × | aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 250 seconds) |
| 17:07:51 | <geekosaur> | there is |
| 17:07:54 | → | zyeri- joins (zyeri@gateway/shell/tilde.team/x-kkkevpuavtvflcri) |
| 17:07:56 | <geekosaur> | but nobody talks about it |
| 17:07:59 | <monochrom> | But I really love to say "C/C++ and J/Java/Javascript" >:) |
| 17:08:07 | → | duckonomy_ joins (~duckonomy@177.ip-144-217-84.net) |
| 17:08:13 | × | zyeri quits (zyeri@tilde.team/users/zyeri) (Ping timeout: 250 seconds) |
| 17:08:13 | × | duckonomy quits (~duckonomy@177.ip-144-217-84.net) (Ping timeout: 250 seconds) |
| 17:08:13 | enikar | . o O ( too weird languages ) |
| 17:08:56 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 17:08:57 | → | aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 17:09:19 | → | zaquest joins (~notzaques@5.128.210.178) |
| 17:09:35 | <ski> | @where C/C++ |
| 17:09:36 | <lambdabot> | "C/C++ : A new language for the new Millennium" by Richard Heathfield in 2005-02 at <http://web.archive.org/web/20090421080714/http://www.cpax.org.uk/prg/portable/c/c++/rfe00000.html> |
| 17:09:37 | <geekosaur> | and J is made worse by Microsoft attempting a J# at one point to embrace-and-extend Java (iirc) |
| 17:10:21 | <monochrom> | Wait, how does that make J worse, not make Java worse? |
| 17:10:46 | <koala_man> | haha |
| 17:11:37 | <monochrom> | Sorry but I'm like "I hit your head and the pain goes to your classmate" or something. |
| 17:11:38 | <geekosaur> | C, C++, and C# are at least somewhat (granted, not very) related, J and J# have nothing to do with each other |
| 17:11:45 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 260 seconds) |
| 17:11:53 | <monochrom> | Ah |
| 17:12:08 | <geekosaur> | at least with F# there's no F that I'm aware of to cause any confusion there |
| 17:12:32 | ski | . o O ( "Challenge accepted" ? ) |
| 17:12:51 | <geekosaur> | probably |
| 17:12:57 | <monochrom> | They should have named it H#. Bad press for us is better than no press. Well, at least was, back then. |
| 17:12:57 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:15:52 | <koala_man> | looks like F was a Fortran inspired language from 1996/1997 |
| 17:16:45 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 17:16:55 | <dolio> | It's more like ML. |
| 17:17:01 | <dolio> | ML# |
| 17:17:19 | <dolio> | I guess it has objects, too, so O#. |
| 17:17:27 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 17:18:15 | <enikar> | in fact F# is a kind of ocaml# |
| 17:18:20 | <monochrom> | Anyone want to name your language E# to be retrospectively hurt by F#? >:) |
| 17:18:45 | <monochrom> | Or B# too >:) |
| 17:24:46 | × | ram19890 quits (~ram@49.207.130.109) (Ping timeout: 252 seconds) |
| 17:25:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:25:46 | ski | . o O ( Fortress ) |
| 17:26:01 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 17:26:10 | ski | . o O ( <https://en.wikipedia.org/wiki/E_(programming_language)>,<https://en.wikipedia.org/wiki/Amiga_E> ) |
| 17:26:31 | <ski> | yea, F# is an ML (unfortunately lacking the module system) |
| 17:26:37 | bgamari_ | is now known as bgamari |
| 17:26:45 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 17:28:11 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 17:30:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 17:31:44 | <romesrf> | w |
| 17:32:02 | <romesrf> | E# == F in music theory xd |
| 17:32:08 | <dolio> | Yeah. Maybe something with a minus would be a better name. |
| 17:33:13 | <romesrf> | careful dolio you wouldn't want your language to be confused with a run -option |
| 17:33:23 | <romesrf> | >:) |
| 17:33:26 | <monochrom> | E# == F was my joke. |
| 17:33:42 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 17:33:43 | <romesrf> | oh so that wasn't a coincidence :) |
| 17:33:52 | <geekosaur> | romesrf, not in a natural scale:p (as opposed to tempered chromatic) |
| 17:33:57 | <dolio> | No, the minus goes afterwards, since it's all based on C for some reason. |
| 17:34:32 | <geekosaur> | c has prefix incr/decr |
| 17:34:40 | <justsomeguy> | How does ''(fmap . fmap) sum Just [1,2,3]'' evaluate? |
| 17:34:55 | <dolio> | Yeah, I know. But people name the languages with the postfix one. |
| 17:35:03 | <monochrom> | = fmap (fmap sum) Just [1,2,3] |
| 17:35:05 | <romesrf> | geekosaur: this sounds cool, i'll look into it |
| 17:35:27 | <monochrom> | @type (fmap . fmap) sum Just [1,2,3] |
| 17:35:29 | <lambdabot> | Num a => Maybe a |
| 17:35:49 | <monochrom> | ooohhhh the leading fmap is (->)e's |
| 17:35:53 | <ski> | `Functor (rho ->)' |
| 17:36:25 | <ski> | `fmap (fmap sum) Just [1,2,3]' is `(fmap sum . Just) [1,2,3]' |
| 17:36:26 | <romesrf> | dolio: not if i can help it |
| 17:36:29 | <romesrf> | ahahaha |
| 17:36:32 | <monochrom> | = (fmap sum . Just) [1,2,3] |
| 17:36:45 | <monochrom> | = fmap sum (Just [1,2,3]) |
| 17:36:50 | <romesrf> | --c, like c but worse |
| 17:36:58 | <monochrom> | = Just (sum [1,2,3]) |
| 17:37:13 | ski | . o O ( <https://en.wikipedia.org/wiki/C--> ) |
| 17:37:24 | geekosaur | wonders where B sits in that space… |
| 17:37:39 | <ski> | (.. and BCPL ?) |
| 17:37:40 | <monochrom> | C flat :) |
| 17:37:48 | × | taleb_sabina quits (~taleb_sab@2601:285:100:6430::1) (Ping timeout: 258 seconds) |
| 17:37:58 | <geekosaur> | (so does everyone else, I think; B kinda went missing at some point iirc) |
| 17:38:19 | <romesrf> | sksks that would be a nice name for a language too. you could even use russian ь for it |
| 17:38:26 | romesrf | is now working on Cь |
| 17:38:29 | ski | looks at justsomeguy |
| 17:38:42 | × | sayola quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 17:38:49 | <ski> | romesrf : C-- is a language |
| 17:39:14 | <romesrf> | ski: but mine would decrement first |
| 17:39:26 | justsomeguy | locks eyes with ski |
| 17:39:29 | <romesrf> | jk, im reading the c-- wiki now |
| 17:39:37 | ski | averts eyes |
| 17:40:30 | <romesrf> | > The name of the language is an in-joke, indicating that C-- is a reduced form of C, in the same way that C++ is basically an expanded form of C. (In C-like languages, "--" and "++" are operators meaning "decrement" and "increment".) |
| 17:40:32 | <lambdabot> | <hint>:1:10: error: <hint>:1:10: error: parse error on input ‘of’ |
| 17:41:02 | <geekosaur> | and its relevance is ghc uses a dialect of c-- (cmm) internally |
| 17:41:07 | ski | . o O ( <http://www.heroesofmightandmagic.com/heroes3/cheatcodes.shtml>,<https://azethmeron.github.io> ) |
| 17:41:11 | <romesrf> | really? wow |
| 17:41:43 | <monochrom> | You can call your language --C and your compiler command line options require postfix --. "--cc O2-- Wall--" |
| 17:41:50 | <romesrf> | LOL |
| 17:42:02 | ski | grins |
| 17:42:13 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 17:42:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 17:43:27 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 17:43:38 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 240 seconds) |
| 17:45:48 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:48:05 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 17:48:06 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 17:50:32 | <monochrom> | I am noticing that the heroes3 cheatcodes have the "nwc" prefix. "Is this Hungarian notaiton?" meme. |
| 17:51:41 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 17:51:50 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 17:55:37 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:55:44 | fendor_ | is now known as fendor |
| 17:56:08 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 17:58:27 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:59:22 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-rmgyvfwfwnnqqsta) |
| 18:00:55 | <ski> | iirc, stands for <https://en.wikipedia.org/wiki/New_World_Computing> |
| 18:00:56 | → | xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 18:02:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 18:04:02 | <ski> | ERM is pretty insane, though. Slava Salnikov reverse-engineering the engine in the game executable, and invents/adds a scripting language to it, that is basically a form of custom assembler (not that much related to ones for actual processors) |
| 18:04:28 | <ski> | <someone> sometimes I meet a great young dude who did something amazing dev-related. Like made a bunch of great complex mods for Heroes 3 using pseudo language called ERM. And then I learn that the dude works as a delivery man and has no formal technical education |
| 18:05:23 | <ski> | (.. at one point, i was pondering making a compiler targeting it, from a logic proramming language) |
| 18:05:49 | × | xourt quits (d4c620ea@212-198-32-234.rev.numericable.fr) (Client Quit) |
| 18:07:28 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Remote host closed the connection) |
| 18:09:50 | ski | . o O ( "Finally, after many years, I got my hands on the binary executable for the game. I wrote a disassembler to turn it into human-readable op-codes and proceeded to translate it to C++ using the Microsoft Version 6.0 C++ compiler. Eight hours a day for six months. About 120,000 lines of pseudo-assembly language. Crazy thing to do. But it works." <http://dmweb.free.fr/?q=node/851> ) |
| 18:10:18 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:10:59 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 18:12:09 | → | aerona joins (~aerona@2600:6c54:4600:f300:e708:b239:a59c:f83b) |
| 18:13:01 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-bkftvygbpflsjbzd) |
| 18:14:02 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 18:15:24 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 18:15:31 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 18:15:50 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Read error: Connection reset by peer) |
| 18:16:26 | <sm[m]> | my god |
| 18:18:03 | → | bitmagie joins (~Thunderbi@200116b80699c3008ca7c3c25530fee3.dip.versatel-1u1.de) |
| 18:19:53 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 18:19:53 | × | bitmagie quits (~Thunderbi@200116b80699c3008ca7c3c25530fee3.dip.versatel-1u1.de) (Client Quit) |
| 18:20:56 | <BosonCollider> | I just realized something really cool when looking at Julia land |
| 18:21:22 | <BosonCollider> | They have a pattern called holy traits which can be automated with a package called SimpleTraits.jl |
| 18:21:28 | <BosonCollider> | and it's basically relational typeclasses |
| 18:22:16 | <geekosaur> | what's "holy" about them? |
| 18:22:17 | <BosonCollider> | i.e. instead of having a Prolog like typechecker which can reason about implications recursively, it doesn't have recursive implications but it does support negation |
| 18:22:28 | <BosonCollider> | the guys last name was holy |
| 18:22:37 | <geekosaur> | .oO { Haskell typeclasses can be pretty unholy… } |
| 18:22:38 | <BosonCollider> | i.e. they are named after Tim Holy |
| 18:22:46 | <geekosaur> | ah |
| 18:23:08 | ski | . o O ( "Interface-passing style" by Fare (aka François-René Rideau) in 2010-02-17 at <https://fare.livejournal.com/155094.html> ) |
| 18:23:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 18:24:04 | zyeri- | is now known as zyeri |
| 18:24:04 | × | zyeri quits (zyeri@gateway/shell/tilde.team/x-kkkevpuavtvflcri) (Changing host) |
| 18:24:04 | → | zyeri joins (zyeri@tilde.team/users/zyeri) |
| 18:24:06 | <BosonCollider> | but the cool thing is that this means they can regularly define functions that are piecewise defined for any input that satisfies the trait |
| 18:24:22 | <BosonCollider> | and a separate generic impl for inputs that satisfy the negation of the trait |
| 18:25:01 | <BosonCollider> | or more commonly, negation of the trait plus some other condition |
| 18:25:11 | <ski> | hm. wonder whether that's related to "default reasoning" |
| 18:25:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 18:25:56 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 18:26:36 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 18:29:07 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 18:29:46 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:29:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:31:32 | <BosonCollider> | the way they implement it is entirely with multimethods though, where a @traitfn will delegate to a separate call with an extra argument that is computed from the types of the inputs |
| 18:33:00 | <BosonCollider> | where it works since all Julia types are first class objects and they all have their unique types so you can write multimethods that dispatch on the types of the types |
| 18:33:18 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 18:34:11 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 18:34:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 18:35:00 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 18:37:15 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 18:38:32 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 18:39:06 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:2944:1f26:35fb:c3b9) |
| 18:40:25 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 18:41:54 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 18:42:11 | × | darjeeling_ quits (~darjeelin@122.245.120.156) (Ping timeout: 240 seconds) |
| 18:42:29 | → | remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 18:42:35 | <Guest_54> | Hello, I'm looking for guidance installing Haskell the first time on a fresh Ubuntu virtual machine. It failed when installing GHC |
| 18:43:19 | <remby> | might be better to ask in a distro channel |
| 18:43:22 | <Clint> | apt install ghc ? |
| 18:43:44 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:2944:1f26:35fb:c3b9) (Ping timeout: 258 seconds) |
| 18:43:53 | <remby> | but there's some details for ubuntu here https://www.haskell.org/downloads/linux/ |
| 18:43:57 | <Guest_54> | I ran the following line from the Haskell.org/ghcup page: curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 18:44:13 | <remby> | they offer a ppa |
| 18:44:27 | <Guest_54> | Remby - thanks, what's a ppa? |
| 18:44:45 | <remby> | personal package archive |
| 18:44:53 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 18:44:59 | → | nineonin_ joins (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) |
| 18:45:26 | <remby> | a package repo hosted by an ubuntu user that others can use |
| 18:45:41 | <Guest_54> | ok, interesting. I"m going to try it now. Thanks again! |
| 18:46:13 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 18:46:15 | <Clint> | assuming you for some reason need a newer ghc than is in universe |
| 18:46:16 | <remby> | well, maybe not hosted by them but it's basically a community maintained package |
| 18:46:29 | <remby> | sure, np |
| 18:47:02 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 18:47:17 | × | freeman42x quits (~40726@2a02:2f0c:5a03:4a00:25d9:dfce:25a7:bd32) (Quit: Leaving.) |
| 18:47:46 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 18:49:53 | <Guest_54> | Anyone else here doing the Plutus Pioneer course? I'm in that, and a little behind - just getting the environment set up now |
| 18:50:27 | → | nineonine joins (~nineonine@50.216.62.2) |
| 18:51:24 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 18:52:33 | × | nineonin_ quits (~nineonine@2604:3d08:7785:9600:d9d9:f067:f388:4d71) (Ping timeout: 258 seconds) |
| 18:54:29 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 246 seconds) |
| 18:54:58 | → | darjeeling_ joins (~darjeelin@115.215.40.116) |
| 18:58:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:59:04 | <__minoru__shirae> | Plutus Pioneer course? |
| 19:00:06 | ← | romesrf parts (~romesrf@44.190.189.46.rev.vodafone.pt) ("WeeChat 3.1") |
| 19:00:36 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds) |
| 19:00:45 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 19:00:56 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 19:01:10 | <sm[m]> | https://www.reddit.com/r/haskell/comments/mq0u4p/first_and_second_plutus_lecture_by_lars_br%C3%BCnjes/ |
| 19:01:24 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 19:02:03 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 19:03:46 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:359b:61af:8081:5a93) |
| 19:05:45 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:359b:61af:8081:5a93) (Read error: Connection reset by peer) |
| 19:05:47 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 19:10:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 19:11:03 | × | kuribas quits (~user@ptr-25vy0i7m3jb61f685yu.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 19:12:52 | × | __minoru__shirae quits (~shiraeesh@46.34.206.85) (Ping timeout: 240 seconds) |
| 19:13:12 | → | __minoru__shirae joins (~shiraeesh@109.166.59.77) |
| 19:13:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 19:13:38 | → | syntactic_sugar joins (~syntactic@66.115.157.118) |
| 19:13:54 | × | syntactic_sugar quits (~syntactic@66.115.157.118) (Client Quit) |
| 19:16:45 | <__minoru__shirae> | sm[m]: thanks for the link. so it's about smart contracts, huh |
| 19:17:18 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 252 seconds) |
| 19:19:22 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) |
| 19:19:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 19:23:28 | <sm[m]> | yup |
| 19:26:04 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 19:26:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:27:09 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 19:27:18 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 19:27:26 | × | Guest_54 quits (c4bf35f2@196.191.53.242) (Quit: Connection closed) |
| 19:27:51 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 19:29:17 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 19:31:36 | × | ddellacosta_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 19:32:03 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 19:32:18 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:32:37 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 19:34:14 | × | unyu quits (~pyon@unaffiliated/pyon) (Quit: ERC (IRC client for Emacs 27.2)) |
| 19:34:25 | × | contrebande-labs quits (~contreban@gateway/tor-sasl/contrebande-labs) (Quit: contrebande-labs) |
| 19:34:33 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 19:35:05 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 19:37:36 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 19:40:33 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 19:42:08 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 19:42:32 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 19:43:21 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:44:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 19:46:41 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1) |
| 19:48:33 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 19:49:03 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 19:49:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:49:44 | × | Tops2 quits (~Tobias@dyndsl-095-033-095-094.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 19:49:51 | × | tms_ quits (thomaav@cassarossa.samfundet.no) (Ping timeout: 250 seconds) |
| 19:50:34 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (Ping timeout: 276 seconds) |
| 19:52:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 19:52:46 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:53:02 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 19:54:10 | → | Guest_98 joins (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) |
| 19:54:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 19:55:04 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 19:55:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:55:20 | <Guest_98> | Trying to install Haskell on a new Mac and receive the following errors. Any help appreciated. "[ Info ] Installing GHC (this may take a while) |
| 19:55:21 | <Guest_98> | [ ghc-configure ] not found (too old?) |
| 19:55:21 | <Guest_98> | [ ghc-configure ] checking for gcc... gcc |
| 19:55:22 | <Guest_98> | [ ghc-configure ] checking whether the C compiler works... no |
| 19:55:22 | <Guest_98> | [ ghc-configure ] configure: error: in `/private/var/folders/pt/gn2hzg255v1103g4rkz59w3r0000gn/T... |
| 19:55:23 | <Guest_98> | [ ghc-configure ] configure: error: C compiler cannot create executables |
| 19:55:23 | <Guest_98> | [ ghc-configure ] See `config.log' for more details |
| 19:57:44 | <geekosaur> | xcode-select --install (I think) |
| 19:58:21 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 19:58:32 | <int-e> | geekosaur: if that's the solution I'll be impressed |
| 19:58:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 19:58:45 | <geekosaur> | probably |
| 19:59:06 | <int-e> | I was going to suggest a pastebin https://paste.tomsmeding.com/ because as far as I can tell the actual error is further up. |
| 19:59:14 | <geekosaur> | I lost track of how apple lobotomizes things |
| 19:59:34 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 20:00:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 20:00:20 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 20:01:00 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:2d99:cd1a:54c5:e472) |
| 20:03:36 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:b29e) |
| 20:05:22 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 252 seconds) |
| 20:06:25 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 20:06:58 | → | dariof4 joins (~dario@5.11.121.66) |
| 20:08:06 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 20:08:17 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 20:08:39 | → | petersen joins (~petersen@redhat/juhp) |
| 20:08:54 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:08:55 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 20:08:55 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 20:09:13 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 20:09:17 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 20:09:19 | → | aoeu256 joins (~quassel@134.204.25.66) |
| 20:09:33 | ← | Franciman parts (~francesco@host-87-20-23-243.retail.telecomitalia.it) ("Leaving") |
| 20:10:05 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 20:10:21 | × | rodriga quits (~quassel@134.204.25.66) (Read error: Connection reset by peer) |
| 20:12:13 | × | remby quits (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Remote host closed the connection) |
| 20:12:38 | → | remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 20:13:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 20:13:53 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 20:17:53 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 20:22:19 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 20:22:54 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 20:23:17 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 20:25:51 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 20:25:55 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds) |
| 20:27:37 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 20:29:39 | × | raichoo quits (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 20:32:49 | <Guest_98> | didn't work, but thanks for responding. that was the whole error |
| 20:37:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 20:37:17 | <maerwald> | you need a working gcc |
| 20:37:59 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 20:38:03 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 20:39:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 20:40:09 | × | aoeu256 quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 20:40:22 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:41:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:43:59 | × | Guest_98 quits (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) (Quit: Ping timeout (120 seconds)) |
| 20:44:56 | × | lampowner quits (~xblow@broadband-90-154-72-32.ip.moscow.rt.ru) (Remote host closed the connection) |
| 20:49:27 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 20:49:54 | <nicholasbulka> | hello |
| 20:50:13 | <koz_> | nicholasbulka: Sup? |
| 20:50:46 | <nicholasbulka> | first time here, started playing with Haskell in code wars |
| 20:51:37 | <nicholasbulka> | trying to learn it in parallel with category theory, at least to be able to talk about it |
| 20:51:51 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 20:51:59 | <nicholasbulka> | whats up with you? |
| 20:52:10 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 20:52:33 | <koz_> | Not much. |
| 20:52:57 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 20:54:46 | <sm[m]> | nicholasbulka: cool. Code wars ? Is that like clash of code ? |
| 20:54:56 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 20:55:46 | <nicholasbulka> | its like hacker rank and probably clash of code, I've never tried CoC |
| 20:56:29 | <nicholasbulka> | coding challenges |
| 20:56:36 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:b54d:c232:d06e:243a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:57:37 | × | srk quits (~sorki@unaffiliated/srk) (Ping timeout: 252 seconds) |
| 20:59:02 | <ski> | nicholasbulka : you're interested in math, then ? |
| 20:59:23 | <nicholasbulka> | tangentially, through philosophy |
| 20:59:34 | ski | nods |
| 20:59:58 | <ski> | do you have any suitable book or so to follow ? |
| 21:00:34 | <nicholasbulka> | a lot of youtube videos, Emily Riehl's stuff and Bartosz |
| 21:01:11 | <nicholasbulka> | I'm trying to take it slow, and rewatch the same video on the Yoneda lemma like 5 times |
| 21:01:23 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 21:01:24 | <ski> | there were a couple of suggestions mentioned in ##math, the other day (also ##categorytheory was mentioned). if you want to, i could repeat them |
| 21:01:38 | <nicholasbulka> | go for it! |
| 21:01:47 | <ski> | stand by |
| 21:02:35 | <monochrom> | <3 Emily Riehl. I read her CT book. |
| 21:04:17 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 21:06:12 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 21:06:14 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 21:07:42 | × | Alleria__ quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds) |
| 21:08:36 | <nicholasbulka> | I like the idea of natural transformations as analogies |
| 21:10:25 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:10:36 | <nicholasbulka> | I've done a lot of self teaching over the years and I want to write down some of the techniques into a meta-learning book. Category theory seems like the best framework for something like that but the challenge seems to be how to make it accessible. |
| 21:13:49 | → | dinciorip joins (~dincio@5.170.25.42) |
| 21:16:23 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:16:25 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:b29e) |
| 21:17:06 | × | slack1256 quits (~slack1256@191.113.234.51) (Remote host closed the connection) |
| 21:18:37 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 21:19:29 | <ski> | nicholasbulka : hm, so here goes (somewhat longish) |
| 21:19:43 | <ski> | <OP> I'm just trying to vaguely make sense of category theory since I have been doing a bit of OCaml lately. I haven't been to uni since a very long time <ski> OP : ooc, what CT stuff ? <OP> ski: well, how it relates to the category of OCaml objects. Morphisms, the definition of purity, functors. Basically trying to code with more idiomatic patterns. I took a bit of a bottom-up approach. |
| 21:19:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 21:19:59 | <ski> | <someone> in the algebraic topology course im doing, this lecturer occasionally likes to use a little too much category theory for my liking, and i do like category theory in general but I feel like it obfuscates from the geometric arguments which one should learn too :/ <someoneelse> syntactic arguments are always better! * someoneelse runs <someone> i think it is important to formalize intuition of |
| 21:20:05 | <ski> | course |
| 21:20:17 | <ski> | <someoneelse> intuition is the fastest way of symbol manipulation, nothing else <someone> not denying that one should be able to write down a formal proof of something if required * someoneelse runs even faster <someoneelse> (just kidding) <ski> someoneelse,someone,OP : anyway, "properties, structure, stuff" is vaguely relevant |
| 21:20:30 | <ski> | <OP> ski: well i certainly deal with stuff on a day to day basis. But I got what I came here for :D <OP> Any advice on an intro book on category theory? <someoneelse> ncatlab <someoneelse> it's not an intro, but outro |
| 21:20:42 | <ski> | <ski> OP : hm, i see. perhaps reading about a monadic approach to side-effects, and how that relates to Kleisli categories could be relevant. (and perhaps Andrzej Filinski's "Representing Monads" paper, which can embed any monadic effect as a side-effect, given delimited continuations. see <http://hjemmesider.diku.dk/~andrzej/papers/>) <OP> its surely sounds relevant <OP> ok I'll look it up thanks a lot |
| 21:20:56 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 21:20:59 | <ski> | <ski> well. my recommendation would be "Conceptual Mathematics: A first introduction to categories" by William ("Bill") F. Lawvere and Steven Schanuel <yetanother> you might consider Goldblatt's Topoi <OP> yes the Goldblatt looks really interesting <OP> oh well, next pay, next month. Thanks a lot. Very helpful |
| 21:21:10 | <ski> | <ski> there's also a few books that relate a bit more to CS. like "Basic Category Theory for Computer Scientists" by Benjamin Pierce,"Categories, types, structures - An introduction to category theory for the working computer scientist" by Andrea Asperti,Guiseppe Longo in 1991 at <https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf>,"Categories and Computer Science" by R. F. Walters in |
| 21:21:24 | <ski> | <ski> 1992,"Computational Category Theory" by D. E. Rydeheard,R. M. Burstall in 2001 at <http://www.cs.man.ac.uk/~david/categories/book/book.pdf>,<http://www.cs.man.ac.uk/~david/categories/> |
| 21:21:35 | <ski> | <yetanother> Goldblatt is quite interesting, and offers pretty clear intro to categories and Topoi. There are some weaker parts concerning sheaves which might be supplemented . The book is cheap (Dover) IIRC. Well suited for those with an interest an foundations |
| 21:21:52 | <ski> | <OP> yeah i was trying to shy away from less conceptual resources. I mean, there are already tons of resource for that online. I already know what a monad is in Haskell for practical purpose. I don't know, this category theory somehow piqued my interest. <yetanother> ski: don't forget Arbib and Manes <ski> 'sat a book ? haven't seen it <yetanother> I like Awodey and also Riehl quite a bit. |
| 21:22:06 | <ski> | <yetanother> Yeah, one of the older CS related CT books <ski> yea, i was just about to mention Awodey <yetanother> Awodey's Oregon videos also quite good https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html |
| 21:22:21 | <ski> | * ski . o O ( "Seven Sketches in Compositionality - An Invitation to Applied Category Theory" by Brendan Fong,David I. Spivak in - 2018-10-12 at <https://math.mit.edu/~dspivak/teaching/sp18/7Sketches.pdf>,<https://math.mit.edu/~dspivak/teaching/sp18/> ) <yetanother> OP: some haskell folks like Bartosz Milewski |
| 21:22:31 | <ski> | * ski . o O ( "Toposes, Triples and Theories" by Michael Barr,Charles Wells in 2000 at <https://www.math.mcgill.ca/barr/papers/ttt.pdf> ; "Elementary Categories, Elementary Toposes" by Colin McLart in 1992 ) <yetanother> Hardly an intro <yetanother> (Bar) <OP> yetanother: yes I have watched these but he is a bit slow and the recording is bad (I am a bit of a princess at times) |
| 21:22:42 | <ski> | <ski> yea, right, that's "Category Theory for Programmers" by Bartosz Milewski in 2018-10-21 at <https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/>,<https://github.com/hmemcpy/milewski-ctfp-pdf>. he also has some YouTube videos, talking about categorical stuff, as it applies to programming <ski> yetanother : yea, i didn't mean to imply it was .. just i was reminded of it |
| 21:22:58 | <ski> | <OP> Honnestly I think I'll get the Goldblatt as a basis and go venture from there. <yetanother> Harper's "Trinity" ideas also interesting https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ |
| 21:23:09 | <ski> | <OP> sadly my education in math comes from a degree in macroeconomics. The kind of things that does not really help you grow an interest in maths. I guess I'll go the uni again one day. I've heard my local uni isn't so bad, I'm in Paris. <ski> someoneelse : hehe, i was just reading the other day, Dijkstra expounding upon the virtues of "letting the symbols do the work" :) |
| 21:23:24 | <ski> | <ski> OP : oh. also notice that the concept of (module) functors in the MLs is probably not that close to the CT one * ski . o O ( "On Functors" (in C++,Standard ML,Haskell,Prolog) by Peteris Krumins in 2010-05-17 at <http://www.catonmat.net/blog/on-functors/> ) <OP> well I sort of disagree, in Prolog, we call that a law or an operation. |
| 21:23:31 | <ski> | <ski> yetanother : Lambek & Scott has some interesting comments about a potential reconciliation between platonism, formalism, intuitionism, in their "Introduction to Higher Order Categorical Logic" in 1986 .. <OP> meh, nominalism is everywhere in math :D <ski> iiuc, the Prolog term comes from logic, and possibly philosophy (of language. maybe Carnap ?) |
| 21:23:44 | <ski> | <yetanother> Ski: it's on my shelf, but I need to fill in some more background first <ski> OP : elaborate ? * ski . o O ( <https://en.wikipedia.org/wiki/Elasticity_of_demand> ) <OP> oh he refers to the builtin. I thought he only refered to the first atom <OP> just a quibble <OP> but yes I agree, the terminology in cs seems rather vague |
| 21:23:57 | <ski> | <OP> I'd say daunting at first when you try to learn many languages. At the end of the day, most people seem to remain in their enclosed religion. I mostly do ML for fun. Erlang for the money. <OP> but I got the gist of it, Haskell is closer to the terminology in use in math books |
| 21:24:08 | <ski> | * ski had some vague ideas how that could possibly be related to derivatives of data structures <http://strictlypositive.org/diff.pdf>, combinatorial species <https://byorgey.wordpress.com/category/species/>, naperian containers <https://web.archive.org/web/20161104231529/http://sneezy.cs.nott.ac.uk/containers/blog/> |
| 21:24:19 | <ski> | <OP> all right, back to studying thanks again everyone. I guess I'll come hang around here in a few days. See you. |
| 21:24:22 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 21:24:33 | <nicholasbulka> | this is great, thank you! |
| 21:24:35 | <ski> | * ski . o O ( "Society's role in mathematics" in 1998-11-21 at <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1277.html>,"How Computing Science created a new mathematical style" in 1990-04-04 at <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1073.html>,"Under the spell of Leibniz's Dream" in 2000-04-20 at |
| 21:24:43 | <ski> | * ski <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1298.html>, all by Edsger Wybe Dijkstra ) <ski> OP : to close with, i think the Lawvere & Schanuel book may be the easiest one to start with, for one without that much math experience. take care and have fun ! |
| 21:24:47 | <ski> | (done) |
| 21:25:03 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) (Remote host closed the connection) |
| 21:25:18 | <ski> | (hm, that was a bit longer than i thought. .. anyway, i thought some of the surrounding discussion could possibly also be of interest) |
| 21:25:57 | → | nighmi joins (~felix@port-92-196-72-29.dynamic.as20676.net) |
| 21:26:26 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:5cd6:67f8:fcfa:33ac) |
| 21:29:21 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:5cd6:67f8:fcfa:33ac) (Client Quit) |
| 21:30:13 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 240 seconds) |
| 21:32:23 | × | remby quits (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Quit: Leaving) |
| 21:32:30 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 21:32:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 21:37:17 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Read error: Connection reset by peer) |
| 21:38:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:40:05 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9573c48ebca42f820036.dip0.t-ipconnect.de) |
| 21:42:18 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 21:42:40 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 21:43:15 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:e26e:cf9:1dd6:9615) (Ping timeout: 248 seconds) |
| 21:43:19 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:3be6:c7d7:e232:14d0) |
| 21:43:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 21:44:01 | → | idhugo_ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 21:44:14 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 21:45:41 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:48:18 | → | Tom19 joins (b2115c11@92-17.net.optinet.cz) |
| 21:48:35 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 21:48:44 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 21:49:09 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:50:21 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:52:23 | × | PyroLagus quits (PyroLagus@i.have.ipv6.on.coding4coffee.org) (Quit: ZNC / WeeChat) |
| 21:52:31 | × | dxld quits (~dxld@rush.pub.dxld.at) (Remote host closed the connection) |
| 21:52:43 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:3be6:c7d7:e232:14d0) (Ping timeout: 258 seconds) |
| 21:52:45 | → | PyroLagus joins (PyroLagus@i.have.ipv6.on.coding4coffee.org) |
| 21:53:08 | → | dxld joins (~dxld@rush.pub.dxld.at) |
| 21:54:17 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 21:54:31 | × | bwe_ quits (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 245 seconds) |
| 21:54:39 | → | bwe joins (~bwe@unaffiliated/bwe) |
| 21:55:01 | × | xff0x quits (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) (Ping timeout: 258 seconds) |
| 21:55:01 | × | i7c quits (UzrQ2PKvmb@unaffiliated/i7c) (Ping timeout: 258 seconds) |
| 21:55:33 | → | xff0x joins (~xff0x@2001:1a81:53de:e800:d3b4:413a:5958:6939) |
| 21:56:24 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 21:56:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:56:52 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 21:57:21 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 21:58:07 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 252 seconds) |
| 21:58:40 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Ping timeout: 252 seconds) |
| 21:58:43 | × | Tom19 quits (b2115c11@92-17.net.optinet.cz) (Ping timeout: 240 seconds) |
| 21:59:00 | ← | michalz parts (~user@185.246.204.61) ("Changed major mode") |
| 22:00:32 | × | dinciorip quits (~dincio@5.170.25.42) (Quit: WeeChat 3.1) |
| 22:01:39 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 245 seconds) |
| 22:04:29 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:1b7c:b2ef:9111:71fe) |
| 22:04:43 | × | malumore_ quits (~malumore@151.62.114.211) (Remote host closed the connection) |
| 22:04:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 22:04:53 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 22:06:24 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 22:06:35 | <nicholasbulka> | ski thanks again |
| 22:06:58 | <ski> | np |
| 22:09:01 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 22:09:32 | → | Tario joins (~Tario@201.192.165.173) |
| 22:09:49 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:1b7c:b2ef:9111:71fe) (Ping timeout: 250 seconds) |
| 22:10:59 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:13:19 | → | dinciorip joins (~dincio@5.170.25.42) |
| 22:13:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 22:14:22 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 22:15:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 22:16:29 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 22:17:47 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 22:21:06 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 22:21:36 | → | i7c joins (Rmit7A5pyb@unaffiliated/i7c) |
| 22:21:57 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 22:22:10 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:abd4:f2b6:ee56:3374) |
| 22:22:19 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 22:23:06 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 22:23:20 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 22:23:41 | × | dcoutts__ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
| 22:24:16 | → | fendor_ joins (~fendor@178.165.129.79.wireless.dyn.drei.com) |
| 22:27:03 | × | fendor quits (~fendor@77.119.129.135.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 22:27:18 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:27:23 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:28:26 | × | shailangsa quits (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 22:28:42 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:29:31 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:abd4:f2b6:ee56:3374) (Ping timeout: 260 seconds) |
| 22:30:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:30:45 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:31:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 22:31:35 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 22:32:41 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 22:32:43 | × | maiqthefalse quits (uid494950@gateway/web/irccloud.com/x-lubjogfdgluyqicn) (Quit: Connection closed for inactivity) |
| 22:34:38 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 22:34:48 | → | ddellacosta joins (~ddellacos@86.106.143.174) |
| 22:34:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 22:37:10 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 22:37:15 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:b29e) |
| 22:37:42 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:37:42 | → | ddella___ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:38:29 | × | bwe quits (~bwe@unaffiliated/bwe) (Quit: leaving) |
| 22:39:40 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 22:40:26 | × | ddella___ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:41:51 | × | ddellacosta quits (~ddellacos@86.106.143.174) (Ping timeout: 268 seconds) |
| 22:42:14 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:ca90:899b:210d:4dde) |
| 22:42:56 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 22:43:50 | → | bwe joins (~bwe@unaffiliated/bwe) |
| 22:45:34 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:305e:cb15:9982:892e) |
| 22:45:46 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 22:52:32 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 22:52:48 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 22:53:01 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:57:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 22:59:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:00:14 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 23:00:20 | → | Alleria joins (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) |
| 23:00:44 | Alleria | is now known as Guest80119 |
| 23:01:18 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 23:02:50 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 23:03:10 | → | shailangsa joins (~shailangs@host86-185-98-61.range86-185.btcentralplus.com) |
| 23:04:18 | holo2 | is now known as Faye |
| 23:04:47 | × | Guest80119 quits (~textual@2603-7000-3040-0000-c180-72b7-b8c7-a8f4.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 23:04:52 | Faye | is now known as FayeAleph |
| 23:05:33 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ca90:899b:210d:4dde) (Ping timeout: 258 seconds) |
| 23:06:31 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 23:07:33 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:b785:70ea:2ff6:8e22) |
| 23:09:43 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:09:47 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 23:10:24 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 23:10:34 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:10:45 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:11:10 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 23:11:20 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:11:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 23:12:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:12:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:13:17 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 23:15:16 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 23:16:16 | → | gawen joins (~gawen@movzbl.root.sx) |
| 23:16:44 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 23:17:02 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 23:17:24 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 23:19:14 | × | gawen quits (~gawen@movzbl.root.sx) (Client Quit) |
| 23:19:51 | <DigitalKiwi> | glguy: Sigyn likes ski more than me :( |
| 23:21:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 23:22:11 | × | dinciorip quits (~dincio@5.170.25.42) (Quit: WeeChat 3.1) |
| 23:22:12 | → | gawen joins (~gawen@movzbl.root.sx) |
| 23:22:18 | <glguy> | DigitalKiwi: not particularly, no |
| 23:22:27 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 23:22:56 | <nicholasbulka> | ski: this is the last part I got |
| 23:23:02 | <nicholasbulka> | * ski <https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1298.html>, all by Edsger Wybe Dijkstra ) <ski> OP : to close with, i think the Lawvere & Schanuel book may be the easiest one to start with, for one without that much math experience. take care and have fun ! |
| 23:23:02 | <nicholasbulka> | ski |
| 23:23:02 | <nicholasbulka> | (done) |
| 23:23:04 | <nicholasbulka> | 17:25 Disconnected |
| 23:23:29 | <glguy> | probably good to drop in a pastebin |
| 23:23:52 | <glguy> | nicholasbulka: (done) was the indication that it was |
| 23:24:16 | <nicholasbulka> | makes sense |
| 23:24:53 | <DigitalKiwi> | i need a grep that parses urls |
| 23:25:34 | <DigitalKiwi> | like when people use matrix and it makes those long messages links that i never click... |
| 23:26:18 | <DigitalKiwi> | 'parse' is the wrong word. |
| 23:26:27 | <glguy> | DigitalKiwi: /url ? |
| 23:26:50 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 23:26:58 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:27:49 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:30:27 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 23:30:44 | → | usr25 joins (~J@26.red-83-63-221.staticip.rima-tde.net) |
| 23:31:16 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 23:31:24 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 23:32:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 23:34:57 | → | syntactic_sugar joins (~syntactic@66.115.157.118) |
| 23:35:31 | × | syntactic_sugar quits (~syntactic@66.115.157.118) (Client Quit) |
| 23:36:13 | × | usr25 quits (~J@26.red-83-63-221.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 23:36:21 | × | tabemann quits (~travisb@2600:1700:7990:24e0:70e7:2dce:b9d2:60a7) (Remote host closed the connection) |
| 23:36:37 | → | tabemann joins (~travisb@2600:1700:7990:24e0:1f29:251c:9834:33) |
| 23:37:57 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 23:38:32 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 23:40:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 23:41:07 | → | syntactic_sugar joins (~syntactic@209.58.139.27) |
| 23:41:11 | → | eru joins (bba71272@187-167-18-114.static.axtel.net) |
| 23:41:19 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 23:41:45 | <eru> | hi everybody |
| 23:41:50 | <Axman6> | Hello! |
| 23:42:37 | × | eru quits (bba71272@187-167-18-114.static.axtel.net) (Client Quit) |
| 23:45:37 | <Axman6> | :( |
| 23:48:14 | → | nvmd joins (~nvmd@177.30.111.232) |
| 23:51:09 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Ping timeout: 240 seconds) |
| 23:52:35 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:305e:cb15:9982:892e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:52:49 | → | ddellacosta joins (~ddellacos@86.106.143.118) |
| 23:52:49 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 23:55:49 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 252 seconds) |
| 23:57:21 | × | ddellacosta quits (~ddellacos@86.106.143.118) (Ping timeout: 265 seconds) |
All times are in UTC on 2021-04-14.