Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 654 655 656 657 658 659 660 661 662 663 664 .. 5022
— 502,152 events total
2020-10-15 17:10:03 × toorevitimirp quits (~tooreviti@117.182.180.0) (Remote host closed the connection)
2020-10-15 17:10:19 × alp quits (~alp@2a01:e0a:58b:4920:4caa:69b1:bc4a:b2ee) (Ping timeout: 272 seconds)
2020-10-15 17:10:37 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 17:10:51 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-15 17:13:54 → thir joins (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 17:15:45 → Achylles joins (~Achylles@191.17.181.222)
2020-10-15 17:16:26 × sdx23 quits (~sdx23@unaffiliated/sdx23) (Remote host closed the connection)
2020-10-15 17:19:31 → xff0x joins (~fox@port-92-195-124-5.dynamic.as20676.net)
2020-10-15 17:21:29 → sdx23 joins (~sdx23@unaffiliated/sdx23)
2020-10-15 17:22:03 × sdx23 quits (~sdx23@unaffiliated/sdx23) (Remote host closed the connection)
2020-10-15 17:22:47 → Codaraxis__ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-15 17:23:12 → sdx23 joins (~sdx23@unaffiliated/sdx23)
2020-10-15 17:24:53 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-xesqnwopwcihzfhi)
2020-10-15 17:25:10 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-15 17:25:22 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 17:25:23 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 17:25:23 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 17:25:42 × knupfer quits (~Thunderbi@200116b82c60f700005600c5dd5502a6.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-15 17:25:50 → knupfer joins (~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de)
2020-10-15 17:25:58 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2020-10-15 17:26:53 × knupfer quits (~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:27:01 → knupfer joins (~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de)
2020-10-15 17:29:34 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-15 17:31:21 → foldr joins (~foldr@90.248.57.181)
2020-10-15 17:34:30 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2020-10-15 17:36:17 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-15 17:37:48 × SupaYoshii quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-10-15 17:38:04 <yushyin> https://twitter.com/_julesh_/status/1316756695440293888 :)
2020-10-15 17:38:18 × max__ quits (~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
2020-10-15 17:38:32 <monochrom> haha
2020-10-15 17:38:46 → tanguy58 joins (b0bb9ec1@176.187.158.193)
2020-10-15 17:39:00 × Achylles quits (~Achylles@191.17.181.222) (Quit: Leaving)
2020-10-15 17:39:21 × fendor quits (~fendor@e237-037.eduroam.tuwien.ac.at) (Remote host closed the connection)
2020-10-15 17:39:23 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-15 17:39:34 <monochrom> titForTatState
2020-10-15 17:40:30 → untseac joins (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-15 17:40:35 × thir quits (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-15 17:42:02 → thir joins (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 17:42:45 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-15 17:45:31 <int-e> wild arrows
2020-10-15 17:46:25 × thir quits (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-15 17:47:00 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-15 17:47:13 → thir joins (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 17:49:57 hackage flashblast 0.0.1.1 - Generate language learning flashcards from video. https://hackage.haskell.org/package/flashblast-0.0.1.1 (locallycompact)
2020-10-15 17:50:14 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-15 17:50:27 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-15 17:50:27 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 17:50:27 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 17:51:24 × tanguy58 quits (b0bb9ec1@176.187.158.193) (Remote host closed the connection)
2020-10-15 17:52:38 → alp joins (~alp@2a01:e0a:58b:4920:650c:2dd8:d1c6:e413)
2020-10-15 17:55:04 → geekosaur joins (ac3a3b82@172.58.59.130)
2020-10-15 17:58:31 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 17:59:21 × chaosmasttter quits (~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-15 17:59:28 hackage lsp-types 1.0.0.0 - Haskell library for the Microsoft Language Server Protocol, data types https://hackage.haskell.org/package/lsp-types-1.0.0.0 (luke_)
2020-10-15 18:00:01 × yost3d quits (~yost3d@195.206.169.184) ()
2020-10-15 18:00:28 hackage lsp 1.0.0.0 - Haskell library for the Microsoft Language Server Protocol https://hackage.haskell.org/package/lsp-1.0.0.0 (luke_)
2020-10-15 18:01:19 → urdh joins (~urdh@h77-53-54-187.cust.a3fiber.se)
2020-10-15 18:01:42 urdh is now known as Guest4171
2020-10-15 18:02:08 × ishutin_ quits (~Ishutin@178-164-207-98.pool.digikabel.hu) (Write error: Connection reset by peer)
2020-10-15 18:02:08 × shailangsa quits (~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Write error: Connection reset by peer)
2020-10-15 18:02:15 → ishutin joins (~Ishutin@178-164-207-98.pool.digikabel.hu)
2020-10-15 18:03:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-15 18:03:38 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-15 18:05:26 × vismaya quits (d03b9e15@208.59.158.21) (Remote host closed the connection)
2020-10-15 18:06:44 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-15 18:07:04 → tzh joins (~tzh@2601:448:c500:5300::8e04)
2020-10-15 18:09:01 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-10-15 18:11:19 × quintasan quits (~quassel@ubuntu/member/quintasan) (Write error: Connection reset by peer)
2020-10-15 18:11:25 → quintasan joins (~quassel@quintasan.pl)
2020-10-15 18:11:25 × quintasan quits (~quassel@quintasan.pl) (Changing host)
2020-10-15 18:11:25 → quintasan joins (~quassel@ubuntu/member/quintasan)
2020-10-15 18:13:20 × kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 256 seconds)
2020-10-15 18:13:25 × knupfer quits (~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-15 18:13:27 hackage stm-incremental 0.1.0.2 - A library for constructing incremental computations https://hackage.haskell.org/package/stm-incremental-0.1.0.2 (sgschlesinger)
2020-10-15 18:14:00 → pera joins (~pera@unaffiliated/pera)
2020-10-15 18:14:27 → max__ joins (~max@bzq-110-168-31-106.red.bezeqint.net)
2020-10-15 18:15:40 × xff0x quits (~fox@port-92-195-124-5.dynamic.as20676.net) (Ping timeout: 256 seconds)
2020-10-15 18:16:06 × Guest4171 quits (~urdh@h77-53-54-187.cust.a3fiber.se) (Quit: Boom!)
2020-10-15 18:16:33 × bind quits (~bind@unaffiliated/bind) (Read error: Connection reset by peer)
2020-10-15 18:16:33 × nisstyre quits (~wes@python-zero/conduct-committee/nisstyre) (Write error: Connection reset by peer)
2020-10-15 18:16:35 → larou joins (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-15 18:16:46 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 258 seconds)
2020-10-15 18:16:52 → nisstyre joins (~wes@python-zero/conduct-committee/nisstyre)
2020-10-15 18:16:59 <larou> ok, i think the thing with cycles can be possible
2020-10-15 18:17:17 → bind joins (~bind@unaffiliated/bind)
2020-10-15 18:17:19 <larou> i think basically the problem is encoding at type level "where a datatype originates"
2020-10-15 18:17:37 <larou> so that you can constrain it to be "the one above" in a recursive datatype
2020-10-15 18:17:45 <larou> to establish a backwards link
2020-10-15 18:17:57 <larou> i think this can be done with "a let binding class"
2020-10-15 18:18:14 <larou> that, by class instance uniqueness, is guarantied to be only one
2020-10-15 18:18:42 <larou> then you impose the "where it originates" as a constraint, which is parametric over this position in code
2020-10-15 18:18:52 <larou> right?
2020-10-15 18:18:59 → urdh joins (~urdh@unaffiliated/urdh)
2020-10-15 18:19:07 × aarvar quits (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Quit: Leaving.)
2020-10-15 18:19:17 → chris joins (~chris@81.96.113.213)
2020-10-15 18:19:40 chris is now known as Guest47732
2020-10-15 18:20:15 <johnw> how do you specify "position in the code"?
2020-10-15 18:21:16 → Lthere joins (~Lthere@185.204.1.185)
2020-10-15 18:22:30 → jsynacek joins (~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-15 18:23:05 → knupfer joins (~Thunderbi@200116b82c60f7000c4226fffe43b3db.dip.versatel-1u1.de)
←Prev  Next→
Page 1 .. 654 655 656 657 658 659 660 661 662 663 664 .. 5022

All times are in UTC.