Logs: liberachat/#haskell
| 2021-07-18 10:46:41 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 10:47:48 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-18 10:47:48 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 10:57:05 | → | Guest9 joins (~Guest9@103.250.137.212) |
| 2021-07-18 11:07:44 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-18 11:08:00 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2021-07-18 11:09:08 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-18 11:09:11 | → | ghais joins (uid508683@id-508683.tinside.irccloud.com) |
| 2021-07-18 11:09:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 11:14:12 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-18 11:14:14 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-8d88-9bbd-c50a-c552.fixed6.kpn.net) |
| 2021-07-18 11:14:47 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-18 11:15:41 | → | smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-18 11:16:26 | ghais | is now known as Ghais |
| 2021-07-18 11:19:58 | <hseg> | has this idea been offered to solve the orphan instance problem: extend overlapping rules so that non-orphan instances are considered more specific than orphan instances |
| 2021-07-18 11:20:41 | <hseg> | at first blush, it would seem to provide a mechanism for adoptable orphans -- just mark your instance OVERLAPPABLE, and petition upstream to pull it in |
| 2021-07-18 11:20:55 | Ghais | is now known as _0x47 |
| 2021-07-18 11:22:16 | × | Guest9 quits (~Guest9@103.250.137.212) (Quit: Connection closed) |
| 2021-07-18 11:22:44 | <hseg> | you'd just want to extract the orphans from your package so you don't have multiple orphans first |
| 2021-07-18 11:25:42 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 11:26:48 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 11:27:48 | × | hseg quits (~gesh@185.120.126.10) (Quit: WeeChat 3.2) |
| 2021-07-18 11:29:30 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-18 11:30:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-18 11:40:30 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2021-07-18 11:40:53 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 2021-07-18 11:40:55 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) (Ping timeout: 246 seconds) |
| 2021-07-18 11:44:11 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-18 11:45:45 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-8d88-9bbd-c50a-c552.fixed6.kpn.net) (Ping timeout: 255 seconds) |
| 2021-07-18 11:56:25 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-18 11:59:19 | × | ishutin_ quits (~ishutin@85-238-93-30.pool.digikabel.hu) (Remote host closed the connection) |
| 2021-07-18 12:04:01 | → | pesada joins (~agua@2804:18:44:17a3:1:0:2cdf:1514) |
| 2021-07-18 12:04:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-18 12:05:48 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-18 12:06:49 | × | agua quits (~agua@2804:14c:8793:8e2f:642c:be4c:c775:de87) (Ping timeout: 246 seconds) |
| 2021-07-18 12:08:15 | × | xff0x_ quits (~xff0x@2001:1a81:525b:ea00:61de:d55d:7965:91a3) (Ping timeout: 255 seconds) |
| 2021-07-18 12:08:33 | → | xff0x_ joins (~xff0x@185.65.135.235) |
| 2021-07-18 12:09:04 | <hseg> | no takers? to recall my question was whether considering non-orphan instances more specific than orphans for overlap resolution was ever considered as a solution for the orphan instance problem |
| 2021-07-18 12:14:53 | → | soft-warm joins (~soft-warm@2600:8801:db01:8f0:b50e:8cc8:c702:8b1f) |
| 2021-07-18 12:18:42 | → | fendor_ joins (~fendor@178.165.167.65.wireless.dyn.drei.com) |
| 2021-07-18 12:21:02 | → | fendor__ joins (~fendor@212095005147.public.telering.at) |
| 2021-07-18 12:21:07 | → | turlando_ joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-18 12:21:24 | × | turlando quits (~turlando@user/turlando) (Remote host closed the connection) |
| 2021-07-18 12:21:24 | × | fendor quits (~fendor@178.165.167.65.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-18 12:22:58 | → | fendor joins (~fendor@178.165.167.65.wireless.dyn.drei.com) |
| 2021-07-18 12:23:16 | × | fendor_ quits (~fendor@178.165.167.65.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2021-07-18 12:23:19 | × | fendor quits (~fendor@178.165.167.65.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-18 12:23:46 | → | fendor joins (~fendor@178.165.167.65.wireless.dyn.drei.com) |
| 2021-07-18 12:25:01 | × | soft-warm quits (~soft-warm@2600:8801:db01:8f0:b50e:8cc8:c702:8b1f) (Ping timeout: 246 seconds) |
| 2021-07-18 12:26:46 | × | xff0x_ quits (~xff0x@185.65.135.235) (Ping timeout: 252 seconds) |
| 2021-07-18 12:28:46 | → | xff0x_ joins (~xff0x@2001:1a81:525b:ea00:8ac3:8abd:f864:c680) |
| 2021-07-18 12:30:14 | fendor__ | is now known as fendor_ |
| 2021-07-18 12:32:06 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-18 12:33:41 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-18 12:37:05 | → | awth13 joins (~user@user/awth13) |
| 2021-07-18 12:37:34 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) |
| 2021-07-18 12:38:34 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-18 12:38:36 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2021-07-18 12:38:49 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-18 12:41:06 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2021-07-18 12:46:44 | <guest61> | update message is Nothing |
| 2021-07-18 12:48:23 | <[exa]> | no update, good update |
| 2021-07-18 12:48:31 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 268 seconds) |
| 2021-07-18 12:50:07 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 12:52:27 | <tom__> | Are stochastic processes better modelled as comonads or monads? |
| 2021-07-18 12:53:07 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-18 12:53:42 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-18 12:54:50 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-18 12:55:26 | <[exa]> | tom__: depends |
| 2021-07-18 12:55:27 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-18 12:55:30 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 255 seconds) |
| 2021-07-18 12:55:45 | <[exa]> | tom__: comonads are great for representing a "cache" of stuff, may be interesting for e.g. precomputed distributions |
| 2021-07-18 12:56:28 | <[exa]> | tom__: monads are great for representing the "actual background context" that you only somehow manipulate using (say) an EDSL |
| 2021-07-18 12:56:33 | <tom__> | Its for brownian motion/wiener process |
| 2021-07-18 12:56:39 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-18 12:57:01 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Quit: free()) |
| 2021-07-18 12:57:02 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-18 12:57:11 | <[exa]> | so you have a state of X particles moving around and hitting each other? |
| 2021-07-18 12:57:34 | <tom__> | Well, modelling a stock price |
| 2021-07-18 12:57:49 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-07-18 12:57:52 | <tom__> | So just a time series |
| 2021-07-18 12:58:13 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 12:58:35 | <[exa]> | ok so there's some "actual state", and some "history" that you may as well forget, right? |
| 2021-07-18 12:59:23 | <tom__> | Yeah since its a martingale the process computes the next step from the last step only |
| 2021-07-18 12:59:58 | <tom__> | but the last step has some extra state which is the delta of the brownian motion itself which obviously has a random component |
| 2021-07-18 13:00:33 | <tom__> | Forgetting history when computing the next step feels comonadic to me |
| 2021-07-18 13:05:29 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-07-18 13:05:43 | <[exa]> | yeah that would work |
| 2021-07-18 13:05:44 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-18 13:06:01 | <[exa]> | otoh it might be much simpler because you really don't need to reach for the history there |
| 2021-07-18 13:11:25 | → | burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 13:11:25 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-18 13:13:52 | → | fendor__ joins (~fendor@178.165.167.65.wireless.dyn.drei.com) |
| 2021-07-18 13:15:57 | → | mthvedt joins (uid501949@id-501949.stonehaven.irccloud.com) |
| 2021-07-18 13:15:59 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-18 13:16:05 | <tom__> | awesome thanks! |
| 2021-07-18 13:16:06 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-18 13:17:00 | × | fendor_ quits (~fendor@212095005147.public.telering.at) (Ping timeout: 252 seconds) |
| 2021-07-18 13:17:00 | <guest61> | update message is Nothing |
| 2021-07-18 13:20:52 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
All times are in UTC.