Logs: liberachat/#haskell
| 2021-08-26 12:17:28 | <Gurkenglas> | yeah maybe i should just write the library |
| 2021-08-26 12:17:47 | <kuribas> | Gurkenglas: you'll probably fail, and then see why Optics did it like that. |
| 2021-08-26 12:18:23 | <kuribas> | Gurkenglas: or end up like the lens library, with all its flaws. |
| 2021-08-26 12:19:14 | <Gurkenglas> | hmm i suppose A_Getter is just exactly GettingAction |
| 2021-08-26 12:19:46 | <Gurkenglas> | and every action is *identified* with the set of actions at most as powerful |
| 2021-08-26 12:19:59 | <Gurkenglas> | and then the subset relation *is* the element relation |
| 2021-08-26 12:20:10 | <sszark> | This example from 'learn you a haskell'. Can you do this without building every single combination, if you just want 1 random variant? https://pastebin.com/raw/5XVVt9Pn |
| 2021-08-26 12:21:08 | <Taneb> | sszark: if you have a way of taking a random element from a list, then either you can use it on the list of all combinations, or you can use it on each of the starting lists and combine them afterwards |
| 2021-08-26 12:21:54 | <kuribas> | Gurkenglas: it's easy to look at a small part and think "I can do this better". But you have to look at the whole picture. |
| 2021-08-26 12:21:59 | <sszark> | Yeah that makes sense. I have two lists with thousands of words. and it's really slow to build all combinations just to extract a single one. |
| 2021-08-26 12:22:03 | <kuribas> | IMO both Lens and Optics are amazing pieces of work. |
| 2021-08-26 12:22:45 | <Gurkenglas> | kuribas, to make it clear my last 3 lines are about optics as it is now :) |
| 2021-08-26 12:26:02 | <Gurkenglas> | https://hackage.haskell.org/package/optics-core-0.4/docs/src/Optics.Internal.Optic.html#%25 <- AHA IT IS JUST (.) |
| 2021-08-26 12:27:12 | <kuribas> | Gurkenglas: That doesn't make any sense. (.) doesn't work on newtypes (unless you mean Category.. |
| 2021-08-26 12:28:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-26 12:29:32 | <Gurkenglas> | kuribas, yeah the implementation is pretty much "coerce (.)" (the (->) one) except they do the plumbing manually |
| 2021-08-26 12:29:37 | × | dsrt^ quits (~dsrt@12.16.129.111) (Ping timeout: 250 seconds) |
| 2021-08-26 12:31:03 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-26 12:32:02 | → | pbrisbin joins (~patrick@174-081-116-011.res.spectrum.com) |
| 2021-08-26 12:33:25 | <kuribas> | Gurkenglas: you cannot coerce any datatype. They would have need to expose the implementation, where the whole point is hiding it... |
| 2021-08-26 12:36:14 | <Gurkenglas> | kuribas, I don't follow. open the link and the ~"Optic k % Optic l = Optic (k . l)" is plain as day |
| 2021-08-26 12:39:17 | <Gurkenglas> | Now that we have linear types, shouldn't we have Setter1? |
| 2021-08-26 12:39:57 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 2021-08-26 12:42:15 | <Gurkenglas> | kuribas, oh, I think you confuse k % l = coerce (coerce k . coerce l) with (%) = coerce (.) :) |
| 2021-08-26 12:44:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Ping timeout: 240 seconds) |
| 2021-08-26 12:44:31 | × | Guest9529 quits (~lordgrenv@188.120.142.132) (Quit: WeeChat 3.2) |
| 2021-08-26 12:44:34 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-26 12:45:02 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-08-26 12:49:34 | <sszark> | How do you store a closure in a tuple/list? |
| 2021-08-26 12:49:46 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-08-26 12:51:45 | <Gurkenglas> | > let functionlist = [\x -> x+2, \x -> x*2, \y -> y+5] in (functionlist !! 2) 17 -- sszark |
| 2021-08-26 12:51:47 | <lambdabot> | 22 |
| 2021-08-26 12:53:19 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-26 12:53:59 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-233b-e9a1-b8cd-7d30.fixed6.kpn.net) (Quit: Leaving) |
| 2021-08-26 12:54:18 | lortabac_ | is now known as lortabac |
| 2021-08-26 12:55:37 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2021-08-26 12:57:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-26 12:57:44 | → | hannessteffenhag joins (~hannesste@77.20.255.200) |
| 2021-08-26 13:00:38 | × | AlexNoo quits (~AlexNoo@178.34.150.125) (Quit: Leaving) |
| 2021-08-26 13:00:42 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 250 seconds) |
| 2021-08-26 13:00:52 | × | Alex_test quits (~al_test@178.34.150.125) (Quit: ;-) |
| 2021-08-26 13:00:56 | × | AlexZenon quits (~alzenon@178.34.150.125) (Quit: ;-) |
| 2021-08-26 13:02:45 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-26 13:03:07 | <srid[m]> | Does anyone in North America do remote development on a Hetzner dedicated machine (in Europe; Germany or Finland)? What's the latency like? For nvim in tmux. |
| 2021-08-26 13:03:30 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-26 13:04:22 | <srid[m]> | ctx https://discourse.haskell.org/t/computer-for-compiling-haskell-programs/2351/6?u=srid |
| 2021-08-26 13:04:27 | <dminuoso> | srid[m]: It will be at least on average 90ms more than local connecity, that's for the light latency over trans-atlantic fiber optics. |
| 2021-08-26 13:04:41 | <dminuoso> | But details greatly depend on your own connectivity |
| 2021-08-26 13:04:51 | <dminuoso> | But likely it will be around 90-100ms |
| 2021-08-26 13:05:37 | <srid[m]> | Hmm, is that okay or bad? As far as interactively writing Haskell code in tmux/nvim is concerned? |
| 2021-08-26 13:06:51 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-26 13:07:16 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-26 13:07:45 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-08-26 13:08:17 | → | MoC joins (~moc@user/moc) |
| 2021-08-26 13:09:48 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-26 13:10:08 | <srid[m]> | Probably should just go for a desktop cpu with a good single thread performance |
| 2021-08-26 13:14:08 | <sszark> | You can use tools like Mosh if you want to abstract away the latency. Then your session is local and syncs with the remote. |
| 2021-08-26 13:18:46 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 252 seconds) |
| 2021-08-26 13:20:58 | → | AlexNoo joins (~AlexNoo@178.34.150.125) |
| 2021-08-26 13:21:34 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-26 13:22:05 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-26 13:22:24 | → | AlexZenon joins (~alzenon@178.34.150.125) |
| 2021-08-26 13:22:50 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 2021-08-26 13:24:06 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 250 seconds) |
| 2021-08-26 13:25:46 | → | sszark1 joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) |
| 2021-08-26 13:26:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-26 13:28:33 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 248 seconds) |
| 2021-08-26 13:28:40 | × | sszark quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2021-08-26 13:28:43 | → | Alex_test joins (~al_test@178.34.150.125) |
| 2021-08-26 13:31:40 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-26 13:34:10 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-8b31-dbf7-2dcc-c6b7.fixed6.kpn.net) |
| 2021-08-26 13:35:20 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-08-26 13:35:45 | → | kmein joins (~weechat@user/kmein) |
| 2021-08-26 13:35:53 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-26 13:38:16 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-26 13:40:22 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-26 13:42:34 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-08-26 13:52:02 | <kuribas> | can I have external stack references with a range? Or do I have to pin the version? |
| 2021-08-26 13:52:47 | <kuribas> | like: acme-missiles-0.3@sha256:2ba66a092a32593880a87fb00f3213762d7bca65a687d45965778deb8694c5d1 |
| 2021-08-26 13:52:47 | <kuribas> | |
| 2021-08-26 13:53:52 | → | mikoto-c1 joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-26 13:55:55 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-26 13:56:51 | → | fendor_ joins (~fendor@178.165.207.147.wireless.dyn.drei.com) |
| 2021-08-26 13:57:59 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-08-26 13:58:19 | → | hexology joins (~hexology@user/hexology) |
| 2021-08-26 13:59:07 | × | fendor quits (~fendor@91.141.62.191.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-26 14:03:10 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-26 14:04:24 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 2021-08-26 14:04:48 | <janus> | sszark1: mosh does not know about application specific details. let's say you use Control-P or telescope and they write the whole screen in quick sucession, mosh can not help with that |
| 2021-08-26 14:07:16 | <janus> | but works great for trans-atlantic IRC sessions for me. but they require way less interactivity, and the mosh send-buffer visualisation with underline works great for the composition minibuffer |
| 2021-08-26 14:07:25 | <dminuoso> | emacs + tramp maybe? |
| 2021-08-26 14:07:59 | <dminuoso> | This could finally be the reason to switch sides. |
| 2021-08-26 14:08:53 | → | josh joins (~lordgrenv@188.120.128.227) |
| 2021-08-26 14:09:17 | josh | is now known as Guest4733 |
| 2021-08-26 14:09:29 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-8b31-dbf7-2dcc-c6b7.fixed6.kpn.net) (Quit: Leaving) |
| 2021-08-26 14:13:13 | × | Guest4733 quits (~lordgrenv@188.120.128.227) (Ping timeout: 252 seconds) |
| 2021-08-26 14:15:25 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-26 14:18:15 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-26 14:18:27 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-26 14:20:07 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
All times are in UTC.