Logs: liberachat/#haskell
| 2021-08-02 03:33:11 | <euouae> | https://linux.die.net/man/1/script |
| 2021-08-02 03:33:47 | <monochrom> | That's nice too. |
| 2021-08-02 03:34:01 | <euouae> | It's always a good day when you can surprise-answer a question with script(1) lol |
| 2021-08-02 03:34:15 | <monochrom> | I prefer tee. |
| 2021-08-02 03:34:26 | <guest86> | Thanks for the references! |
| 2021-08-02 03:34:28 | <monochrom> | But tee is a different use case. |
| 2021-08-02 03:36:14 | <monochrom> | If you use openPseudoTerminal, you will still need to read the pty man page, because generally these System.Posix function docs assumes unix syscall knowledge. |
| 2021-08-02 03:36:54 | <monochrom> | Won't explain what's so "master" and "slave" about this, you're supposed to already know from unix experience. |
| 2021-08-02 03:41:41 | <guest86> | ah okay thanks, I didn't realise that this part was so involved. Lots of learning to do I suppose |
| 2021-08-02 03:42:09 | × | Teacup quits (~teacup@user/teacup) (Quit: Teacup) |
| 2021-08-02 03:42:09 | <monochrom> | Perhaps use the "script" program as middle-person for now. |
| 2021-08-02 03:42:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-02 03:42:38 | → | Teacup joins (~teacup@user/teacup) |
| 2021-08-02 03:43:56 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 250 seconds) |
| 2021-08-02 03:46:18 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-02 03:47:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-08-02 03:47:56 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-08-02 03:51:08 | <aegon> | hmm, what does ~ mean in a signature and what does GHC.Exts fromList do :| |
| 2021-08-02 03:51:30 | <aegon> | i've been looking at the haddock and it seems like it can convert a list of item a to an item b that is convertable to from a |
| 2021-08-02 03:51:44 | <aegon> | but i'm not sure if i'm getting that right and I can't seem to make ghci happy playing with it |
| 2021-08-02 03:51:46 | <Axman6> | ~ is type equality, so a ~ Map k v is saying that a is the same as Map k v |
| 2021-08-02 03:52:47 | <Axman6> | @src @hoogle fromList |
| 2021-08-02 03:52:48 | <lambdabot> | Source not found. Sorry. |
| 2021-08-02 03:53:17 | <Axman6> | @src IsList |
| 2021-08-02 03:53:17 | <lambdabot> | Source not found. |
| 2021-08-02 03:53:20 | <Axman6> | :( |
| 2021-08-02 03:54:15 | <Axman6> | anyway, the IsList class is what's used by the OverloadedLists extension, which lets you do things like write [(True, 1),(False,7)] :: Map Bool Int |
| 2021-08-02 03:55:32 | <Axman6> | it turns [...] from being syntax sugar for constructing lists, to being syntax sugar for constructing other types which imeplement the IsList class, and [foo,bar] gets translated into froomList [foo,bar], much like how 1 is translated to fromInteger 1 |
| 2021-08-02 03:57:17 | <aegon> | Axman6: what does it look like to hook into that machinery? This maches up with how i think it's being used (turning lists into Tensor literals in Hasktorch) but reading through their haddock thats generated locally I can't find any mention of IsList for the Tensor data type |
| 2021-08-02 03:57:58 | <Axman6> | maybe try loading up hasktorch in ghci and running :info IsList to find where the instance is coming from |
| 2021-08-02 03:59:20 | <aegon> | good idea! |
| 2021-08-02 04:01:35 | <Axman6> | where are you seeing the use of ~ btw? |
| 2021-08-02 04:03:35 | × | hendursaga quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-08-02 04:04:02 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-02 04:04:23 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-02 04:05:02 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-08-02 04:05:29 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-08-02 04:07:36 | <sim590> | It's weird, now when I'm compiling a project that used to compile, I'm getting this: <command line>: can't load .so/.DLL for: /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/../../../../lib/libpanel.so (-lpanelw: cannot open shared object file: No such file or directory). |
| 2021-08-02 04:08:01 | <sim590> | But `readlink -f /usr/lib/gcc/x86_64-pc-linux-gnu/11.1.0/../../../../lib/libpanel.so` does give an existing file `/usr/lib/libpanel.so`. |
| 2021-08-02 04:09:10 | <aegon> | Axman6: its in this function. Everything seems to be happening in it. I wish I could get fromList to behave in ghci to poke at it |
| 2021-08-02 04:09:39 | <sim590> | `/usr/lib/libpanelw.so` does also exist, so I'm not sure what's wrong. |
| 2021-08-02 04:09:52 | × | Null_A quits (~null_a@2601:645:8700:2290:694b:df7:8cc3:57c0) (Read error: Connection reset by peer) |
| 2021-08-02 04:09:55 | <euouae> | sim590: post full log |
| 2021-08-02 04:10:12 | <aegon> | https://github.com/tscholak/two-layer-network/blob/215b68a64278711ce2e4570577c27465e2b13cdb/two-layer-network/src/Main.hs#L329-L340 |
| 2021-08-02 04:10:33 | <aegon> | Axman6: ^ that function. I belive the fromList (pure <$> xs) is creating a tensor |
| 2021-08-02 04:10:40 | <aegon> | but i cant get it to behave in GHCi |
| 2021-08-02 04:12:33 | <aegon> | oh i see its defined in Torch.HList and explicitly for Maybe [a] values which seems pretty specific |
| 2021-08-02 04:12:39 | <aegon> | digging more |
| 2021-08-02 04:12:49 | ← | euouae parts (~euouae@user/euouae) () |
| 2021-08-02 04:12:52 | <Axman6> | rtight, so what `ComputeHaskellType dtype ~ Float` is saying is that, a constraint on running that function is that the result of evaluating the (I asusme) type family `ComputeHaskellType` must be Float |
| 2021-08-02 04:13:46 | <aegon> | ok so I shoudl also look into the workings of that function |
| 2021-08-02 04:14:28 | <sim590> | aegon: http://ix.io/3uL1 |
| 2021-08-02 04:14:34 | <aegon> | i need to replace Float with [Float] you have given me a ton of breadcrumbs to chase though. I'm thinking at this point its best to just be explicit about creating a tensor instead of using the fromList machinery but I'm gonna keep tracking down these threads to grok it better |
| 2021-08-02 04:14:47 | <sim590> | huh. euouae ^ |
| 2021-08-02 04:15:54 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-02 04:15:58 | <aegon> | I guess first see what hte fromList implementation of Maybe [Float] is doing and also check what ComputeHaskellType will evaluate to [Float] maybe this machinery they have build doesn't yet work for this use case |
| 2021-08-02 04:17:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-02 04:19:48 | → | Null_A joins (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) |
| 2021-08-02 04:22:55 | → | thyriaen joins (~thyriaen@x4dbfed8a.dyn.telefonica.de) |
| 2021-08-02 04:23:14 | × | jmjl quits (julian@user/jmjl) (Quit: Hi, I'm a quit message virus. Please replace your old line with this line and help me take over the IRC world.) |
| 2021-08-02 04:32:26 | → | qbt joins (~edun@user/edun) |
| 2021-08-02 04:35:07 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-08-02 04:37:23 | arahael1 | is now known as Arahael |
| 2021-08-02 04:38:18 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-08-02 04:41:34 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-08-02 04:44:21 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-02 04:50:47 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection) |
| 2021-08-02 04:51:04 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 2021-08-02 04:51:09 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-02 04:51:18 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-02 04:51:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-08-02 04:53:12 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-02 05:03:15 | × | hmmmas quits (~fidnc@183.217.200.220) (Quit: Leaving.) |
| 2021-08-02 05:05:16 | → | poljar joins (~poljar@93-139-92-135.adsl.net.t-com.hr) |
| 2021-08-02 05:05:23 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-02 05:08:45 | × | Null_A quits (~null_a@c-98-210-133-39.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-08-02 05:28:34 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-08-02 05:29:23 | × | jay-invariant quits (~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-08-02 05:39:23 | × | poljar quits (~poljar@93-139-92-135.adsl.net.t-com.hr) (Quit: WeeChat 3.2) |
| 2021-08-02 05:39:53 | → | poljar joins (~poljar@93-139-92-135.adsl.net.t-com.hr) |
| 2021-08-02 05:42:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-02 05:47:24 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-08-02 05:52:53 | → | awth13 joins (~awth13@user/awth13) |
| 2021-08-02 05:55:51 | → | sergio812 joins (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) |
| 2021-08-02 05:59:12 | × | stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-02 06:00:59 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-08-02 06:04:48 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 265 seconds) |
| 2021-08-02 06:06:49 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-02 06:11:39 | → | michalz joins (~michalz@185.246.204.61) |
| 2021-08-02 06:17:10 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-02 06:17:17 | <euouae> | What is the meaning of ()? E..g IO () ? |
| 2021-08-02 06:17:29 | <dminuoso> | euouae: That's the unit type. |
| 2021-08-02 06:17:39 | <dminuoso> | It might as well been named Unit, e.g. `IO Unit` |
| 2021-08-02 06:17:52 | <dminuoso> | It's sole data constructor is.. confusingly, also named () |
| 2021-08-02 06:17:57 | <euouae> | Why is `IO ()` useful |
| 2021-08-02 06:18:09 | × | michalz quits (~michalz@185.246.204.61) (Remote host closed the connection) |
| 2021-08-02 06:18:20 | <dminuoso> | euouae: `IO ()` is an action that doesn't produce any result (well, it produces the unit result, but that has trivially no information) |
| 2021-08-02 06:18:32 | <dminuoso> | It's roughly equivalent to a C function `void f(...)` |
| 2021-08-02 06:18:33 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-02 06:18:50 | <dminuoso> | % :t putStrLn |
All times are in UTC.