Logs: freenode/#haskell
| 2021-03-23 16:43:14 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:57ae:e786:30c4:a67d) (Ping timeout: 264 seconds) |
| 2021-03-23 16:43:32 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-23 16:43:51 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-vadqztdqpenulmke) |
| 2021-03-23 16:43:58 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 2021-03-23 16:44:48 | → | Yumasi joins (~guillaume@40.72.95.92.rev.sfr.net) |
| 2021-03-23 16:45:49 | → | codygman` joins (~user@209.251.131.98) |
| 2021-03-23 16:45:53 | × | jneira[m] quits (~jneira@125.red-176-83-69.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-03-23 16:45:55 | → | forgottenone joins (~forgotten@176.42.23.95) |
| 2021-03-23 16:46:00 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-23 16:46:25 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit) |
| 2021-03-23 16:46:27 | → | coot_ joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-23 16:46:44 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-23 16:46:52 | <heebo> | monochrom: im slow, why is it a power series |
| 2021-03-23 16:47:13 | <monochrom> | 1 + Int + Int^2 + Int^3 + Int^4 + ... |
| 2021-03-23 16:47:26 | × | codygman__ quits (~user@47.186.207.161) (Ping timeout: 264 seconds) |
| 2021-03-23 16:48:29 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit) |
| 2021-03-23 16:49:05 | <heebo> | i saw it just as a series of int |
| 2021-03-23 16:49:39 | <monochrom> | 1 + x + x^2 + x^3 + ... is a power series. |
| 2021-03-23 16:49:40 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-23 16:49:43 | × | coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 265 seconds) |
| 2021-03-23 16:49:43 | coot_ | is now known as coot |
| 2021-03-23 16:49:48 | → | Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2021-03-23 16:50:20 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-23 16:50:24 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit) |
| 2021-03-23 16:50:29 | <geekosaur> | the second X brings in more Ints |
| 2021-03-23 16:50:45 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-23 16:51:36 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-23 16:51:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-23 16:52:21 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-23 16:53:49 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b09b:3609:dd4b:42c9) |
| 2021-03-23 16:54:30 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-23 16:54:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-23 16:55:09 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 2021-03-23 16:55:29 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-03-23 16:55:50 | <tomsmeding> | X =~ [Int] |
| 2021-03-23 16:56:04 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Quit: WeeChat 1.9.1) |
| 2021-03-23 16:56:14 | × | coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 2021-03-23 16:56:18 | × | Major_Biscuit quits (~Major_Bis@wlan-145-94-219-47.wlan.tudelft.nl) (Ping timeout: 256 seconds) |
| 2021-03-23 16:56:24 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-23 16:56:32 | <geekosaur> | yes |
| 2021-03-23 16:56:34 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator") |
| 2021-03-23 16:56:40 | <Gurkenglas> | Does every Contravariant f have some F and some Functor g such that f a is just g a -> F? |
| 2021-03-23 16:56:54 | → | apeyroux joins (~alex@78.20.138.88.rev.sfr.net) |
| 2021-03-23 16:57:02 | × | minoru_shiraeesh quits (~shiraeesh@46.34.206.238) (Ping timeout: 264 seconds) |
| 2021-03-23 16:57:07 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 2021-03-23 16:58:34 | <tomsmeding> | monochrom: data X' i = N | C i (X' (i, Int)) ; type X = X' () -- that's a power series |
| 2021-03-23 16:58:40 | <dolio> | monochrom: https://youtu.be/XqywV-wkKSE?t=2486 |
| 2021-03-23 16:59:09 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-23 16:59:23 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-23 16:59:38 | → | kuribas joins (~user@ptr-25vy0i8idla2ics5k8n.18120a2.ip6.access.telenet.be) |
| 2021-03-23 16:59:44 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Client Quit) |
| 2021-03-23 17:00:07 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-23 17:00:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-03-23 17:01:20 | → | minoru_shiraeesh joins (~shiraeesh@46.34.206.238) |
| 2021-03-23 17:01:46 | <heebo> | just looked like: data List = Empty | Int `:` List |
| 2021-03-23 17:01:56 | <heebo> | excuse my bastard syntax |
| 2021-03-23 17:02:44 | <heebo> | at least is isomorphic to it. |
| 2021-03-23 17:03:17 | × | MilkywayPirate quits (~user@178.157.255.8) (Ping timeout: 260 seconds) |
| 2021-03-23 17:03:27 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 244 seconds) |
| 2021-03-23 17:04:02 | <tomsmeding> | heebo: backticks are for making alphabetic names infix; operators are infix by default |
| 2021-03-23 17:04:07 | <geekosaur> | heebo, monochrom is describing it in terms of sum and product types |
| 2021-03-23 17:04:10 | <tomsmeding> | so it would've been data List = Empty | Int : List |
| 2021-03-23 17:05:00 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-03-23 17:05:38 | × | conal quits (~conal@192.145.118.79) (Quit: Computer has gone to sleep.) |
| 2021-03-23 17:06:48 | <Gurkenglas> | tomsmeding, shouldn't it be data X' i = N i | C (X' (i, Int)); type X = X ()? |
| 2021-03-23 17:07:29 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-03-23 17:07:29 | <tomsmeding> | Gurkenglas: that way there's only a bunch of Ints at the end on the N |
| 2021-03-23 17:08:19 | × | v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection) |
| 2021-03-23 17:08:21 | <tomsmeding> | I wanted it to be ((), ((), Int), ((), Int, Int), ((), Int, Int, Int), ...), except encoded as pairs instead of long tuples |
| 2021-03-23 17:08:37 | <tomsmeding> | but it's joking anyway :p |
| 2021-03-23 17:11:19 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-23 17:11:43 | × | kuribas quits (~user@ptr-25vy0i8idla2ics5k8n.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-23 17:12:59 | × | mananamenos quits (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2021-03-23 17:13:09 | <minoru_shiraeesh> | a question about stm and an example from the parconc book |
| 2021-03-23 17:13:46 | × | Vadrigar quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-23 17:13:50 | <minoru_shiraeesh> | in chapter 12 there is an example of a chat |
| 2021-03-23 17:14:15 | <minoru_shiraeesh> | there is a /kick command available to users |
| 2021-03-23 17:14:48 | <minoru_shiraeesh> | the book says that when two users kick each other at the same time, only one of two kicks will succeed |
| 2021-03-23 17:15:32 | <minoru_shiraeesh> | but the kick operation is not single stm transaction, but two consecutive transactions |
| 2021-03-23 17:16:29 | → | conal joins (~conal@192.145.118.79) |
| 2021-03-23 17:17:07 | <minoru_shiraeesh> | it seems to me that there is no guarantee that only one of two kicks succeeds |
| 2021-03-23 17:17:24 | × | xff0x quits (~xff0x@2001:1a81:5390:3000:a106:5c1e:878c:2ba3) (Ping timeout: 244 seconds) |
| 2021-03-23 17:18:15 | <minoru_shiraeesh> | here is an issue that I created in the examples project: https://github.com/simonmar/parconc-examples/issues/29 |
| 2021-03-23 17:18:23 | → | xff0x joins (~xff0x@2001:1a81:5390:3000:a737:9764:8d39:b00d) |
| 2021-03-23 17:19:07 | → | MilkywayPirate joins (~user@178.157.255.8) |
| 2021-03-23 17:19:11 | <minoru_shiraeesh> | here is my counter-example that makes a second transaction in the kick process wait for a tvar: https://github.com/shiraeeshi/hs-parconc-chat-server |
| 2021-03-23 17:19:51 | → | v01d4lph4 joins (~v01d4lph4@106.212.133.35) |
| 2021-03-23 17:19:52 | × | sweater quits (~sweater@206.81.18.26) (Quit: WeeChat 2.8) |
| 2021-03-23 17:20:05 | <geekosaur> | once one commits, the next will fail to find the user to kick, no? |
| 2021-03-23 17:20:33 | <jacks2> | it will also fail because it is no longer in the channel |
| 2021-03-23 17:20:37 | <davean> | geekosaur: not quite, looking at the code, it looks more complicated than that |
| 2021-03-23 17:21:39 | <geekosaur> | oh, right, the second transaction would be from the kicked user, so no channel any more |
| 2021-03-23 17:22:14 | <davean> | Theres also two client types, local and remote, which are handled differently |
| 2021-03-23 17:22:29 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-23 17:22:31 | <davean> | https://github.com/simonmar/parconc-examples/blob/master/distrib-chat/chat.hs#L170 |
| 2021-03-23 17:22:46 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-23 17:23:11 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-23 17:23:45 | <minoru_shiraeesh> | davean: no, that's another example |
| 2021-03-23 17:24:00 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-23 17:24:00 | <minoru_shiraeesh> | see the "chat" example, not a "distrib-chat" |
All times are in UTC.