| 2021-08-29 00:08:40 +0000 | azeem | (~azeem@5.168.114.19) (Ping timeout: 240 seconds) |
| 2021-08-29 00:10:47 +0000 | azeem | (~azeem@5.168.114.19) |
| 2021-08-29 00:11:20 +0000 | jlamothe | (~jlamothe@104.158.48.100) |
| 2021-08-29 00:11:47 +0000 | <koz> | The documentation for Data.Complex.Complex refers to an Ord instance, but that data type lacks one. Is this a typo, or is the instance cleverly hidden someplace? |
| 2021-08-29 00:15:30 +0000 | <geekosaur> | strictly speaking it shouldn't have one |
| 2021-08-29 00:18:29 +0000 | <koz> | Agreed, but this documentation suggests it existed once, got removed, but not completely. |
| 2021-08-29 00:18:51 +0000 | <koz> | I mean, even Gaussian integers don't have a total order that respects arithmetic. |
| 2021-08-29 00:21:06 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-29 00:23:10 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2021-08-29 00:23:50 +0000 | [_] | [itchyjunk] |
| 2021-08-29 00:23:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-29 00:26:46 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Client Quit) |
| 2021-08-29 00:34:10 +0000 | benin036932 | (~benin@183.82.206.21) (Ping timeout: 240 seconds) |
| 2021-08-29 00:34:34 +0000 | benin036932 | (~benin@183.82.206.21) |
| 2021-08-29 00:38:08 +0000 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection) |
| 2021-08-29 00:38:40 +0000 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-29 00:43:23 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-08-29 00:43:48 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-29 00:46:35 +0000 | <monochrom> | I think it's just a matter of forgetting to delete a sentence. |
| 2021-08-29 00:53:21 +0000 | azeem | (~azeem@5.168.114.19) (Ping timeout: 248 seconds) |
| 2021-08-29 00:57:03 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 250 seconds) |
| 2021-08-29 00:58:14 +0000 | azeem | (~azeem@5.168.114.19) |
| 2021-08-29 01:04:47 +0000 | azeem | (~azeem@5.168.114.19) (Ping timeout: 240 seconds) |
| 2021-08-29 01:05:04 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-29 01:05:28 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-08-29 01:11:30 +0000 | neurocyte3 | (~neurocyte@92.119.10.222) |
| 2021-08-29 01:11:30 +0000 | neurocyte3 | (~neurocyte@92.119.10.222) (Changing host) |
| 2021-08-29 01:11:30 +0000 | neurocyte3 | (~neurocyte@user/neurocyte) |
| 2021-08-29 01:12:28 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 01:13:10 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
| 2021-08-29 01:13:31 +0000 | neurocyte | (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 2021-08-29 01:13:31 +0000 | neurocyte3 | neurocyte |
| 2021-08-29 01:13:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 01:15:11 +0000 | xsperry | (~as@user/xsperry) (Remote host closed the connection) |
| 2021-08-29 01:20:05 +0000 | azeem | (~azeem@5.168.114.19) |
| 2021-08-29 01:20:13 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-29 01:30:20 +0000 | martin02 | (~silas@141.84.69.76) |
| 2021-08-29 01:33:45 +0000 | egoist | (~egoist@186.235.82.117) (Quit: WeeChat 3.2) |
| 2021-08-29 01:37:47 +0000 | xff0x | (~xff0x@2001:1a81:5215:d000:44b2:e3e1:102e:1373) (Ping timeout: 250 seconds) |
| 2021-08-29 01:39:45 +0000 | xff0x | (~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0) |
| 2021-08-29 01:42:23 +0000 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-08-29 01:42:58 +0000 | MQ-17J | (~MQ-17J@8.6.144.209) |
| 2021-08-29 01:48:07 +0000 | shailangsa | (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2021-08-29 01:48:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 01:48:46 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-29 01:50:24 +0000 | misu | (~misu@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2021-08-29 01:53:36 +0000 | misu | (~misu@c-24-126-44-70.hsd1.wv.comcast.net) (Quit: Leaving) |
| 2021-08-29 02:01:03 +0000 | <iqubic> | Why doesn't Complex have an ord instance? Data.Linear's V2 type has one. https://hackage.haskell.org/package/linear-1.21.6/docs/Linear-V2.html |
| 2021-08-29 02:01:11 +0000 | <iqubic> | I fail to see the difference there. |
| 2021-08-29 02:09:03 +0000 | <pavonia> | I guess it's only there for practical reasons like storing those numbers in a Map |
| 2021-08-29 02:09:39 +0000 | <geekosaur> | does V2 have a Num instance? |
| 2021-08-29 02:10:03 +0000 | <pavonia> | Yes |
| 2021-08-29 02:10:35 +0000 | t3hyoshi | (~snicf@2600:8804:1b96:4900:759f:c8d1:b667:e4fb) |
| 2021-08-29 02:10:41 +0000 | <janus> | could the reason why V2 has one and Complex doesn't be, that people usually mention the x axis before the y axis? but complex is not for cartesian coordinates |
| 2021-08-29 02:11:20 +0000 | <janus> | i am not great at math, be kind :P |
| 2021-08-29 02:12:39 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-29 02:12:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2021-08-29 02:12:39 +0000 | finn_elija | FinnElija |
| 2021-08-29 02:13:13 +0000 | <janus> | or do you think that V2 is not just for cartesian coordinates? |
| 2021-08-29 02:16:21 +0000 | <nshepperd> | it's a matter of ideology |
| 2021-08-29 02:16:40 +0000 | <nshepperd> | and the maintainer of linear is different from the maintainers of base |
| 2021-08-29 02:17:40 +0000 | <janus> | nshepperd: what is an example of an ideological opinion we're seeing here? |
| 2021-08-29 02:18:09 +0000 | <nshepperd> | that the ordering expressed by Ord must be compatible with arithmetic |
| 2021-08-29 02:19:45 +0000 | azeem | (~azeem@5.168.114.19) (Ping timeout: 248 seconds) |
| 2021-08-29 02:20:20 +0000 | <janus> | so "class Ord" is underspecified because it doesn't state its opinion? not necessarily sinfully underspecified, but underspecified, right? |
| 2021-08-29 02:22:37 +0000 | shailangsa | (~shailangs@host86-186-127-196.range86-186.btcentralplus.com) |
| 2021-08-29 02:22:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-29 02:23:23 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 02:24:29 +0000 | <nshepperd> | it mentions that there aren't any laws in the haskell report, but does state desiderata that it should at least be a non strict partial order |
| 2021-08-29 02:25:01 +0000 | <nshepperd> | you could take that as stating an opinion against such a requirement or as stating no opinion i suppose |
| 2021-08-29 02:26:43 +0000 | td_ | (~td@muedsl-82-207-238-049.citykom.de) (Ping timeout: 252 seconds) |
| 2021-08-29 02:28:41 +0000 | td_ | (~td@muedsl-82-207-238-209.citykom.de) |
| 2021-08-29 02:29:00 +0000 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-08-29 02:40:33 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 248 seconds) |
| 2021-08-29 02:41:16 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 02:45:18 +0000 | <shachaf> | Double has an Ord instance, so who knows what it means, really. |
| 2021-08-29 02:54:13 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 252 seconds) |
| 2021-08-29 02:54:31 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 02:56:17 +0000 | alx741 | (~alx741@186.178.108.114) (Quit: alx741) |
| 2021-08-29 03:00:33 +0000 | ArctVaulMarsHMPJ | (~pjetcetal@128-71-152-79.broadband.corbina.ru) (Ping timeout: 250 seconds) |
| 2021-08-29 03:09:39 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 250 seconds) |
| 2021-08-29 03:15:43 +0000 | otto_s | (~user@p5de2f7f6.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-29 03:17:19 +0000 | otto_s | (~user@p5b0448eb.dip0.t-ipconnect.de) |
| 2021-08-29 03:19:19 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 03:22:33 +0000 | ArctVaulMarsHMPJ | (~pjetcetal@128-71-152-79.broadband.corbina.ru) |
| 2021-08-29 03:23:03 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-29 03:26:05 +0000 | NoidedSuper | (~NoidedSup@2601:280:5a81:520::1bab) |
| 2021-08-29 03:27:27 +0000 | <NoidedSuper> | As horrible as working with type-level stuff in Haskell can be |
| 2021-08-29 03:27:33 +0000 | <NoidedSuper> | When you get it working it feels so, so good |
| 2021-08-29 03:27:46 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-29 03:27:58 +0000 | <NoidedSuper> | (sneak preview of a thing I hope will eventually be really useful to a lot of people: https://gist.github.com/AnthonySuper/eecf08998135685774cfbc17f484327b) |
| 2021-08-29 03:30:28 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 03:30:34 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-08-29 03:30:47 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-29 03:31:35 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 03:34:22 +0000 | falafel | (~falafel@205-201-37-90.scinternet.net) |
| 2021-08-29 03:36:10 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 240 seconds) |
| 2021-08-29 03:37:56 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-29 03:39:19 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-08-29 03:43:34 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 03:47:47 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 240 seconds) |
| 2021-08-29 03:48:21 +0000 | NoidedSuper | (~NoidedSup@2601:280:5a81:520::1bab) (Ping timeout: 256 seconds) |
| 2021-08-29 03:53:53 +0000 | AlistairB | (~AlistairB@121-200-5-212.79c805.syd.nbn.aussiebb.net) (Quit: Client closed) |
| 2021-08-29 03:55:16 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-29 03:56:00 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 03:57:09 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-08-29 03:57:49 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-08-29 04:09:01 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 252 seconds) |
| 2021-08-29 04:09:24 +0000 | <janus> | argh why leave right after posting... |
| 2021-08-29 04:13:58 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 04:15:05 +0000 | MQ-17J | (~MQ-17J@8.6.144.209) (Ping timeout: 250 seconds) |
| 2021-08-29 04:19:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 04:19:11 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-08-29 04:28:10 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 240 seconds) |
| 2021-08-29 04:28:11 +0000 | juhp | (~juhp@bb116-14-48-29.singnet.com.sg) |
| 2021-08-29 04:32:09 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-29 04:32:16 +0000 | MQ-17J | (~MQ-17J@8.6.144.209) |
| 2021-08-29 04:34:19 +0000 | Morrow_ | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds) |
| 2021-08-29 04:36:16 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 04:44:59 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 250 seconds) |
| 2021-08-29 04:45:17 +0000 | azeem | (~azeem@5.168.118.205) |
| 2021-08-29 04:46:33 +0000 | logan__ | (~logan@ip68-110-229-141.ks.ks.cox.net) |
| 2021-08-29 04:47:35 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 2021-08-29 04:47:59 +0000 | logan__ | (~logan@ip68-110-229-141.ks.ks.cox.net) (Client Quit) |
| 2021-08-29 04:52:47 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-29 04:53:58 +0000 | azeem | (~azeem@5.168.118.205) (Ping timeout: 250 seconds) |
| 2021-08-29 04:54:23 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-08-29 04:54:39 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2021-08-29 04:59:13 +0000 | favonia | (~favonia@user/favonia) |
| 2021-08-29 05:01:23 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-29 05:01:47 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-29 05:02:58 +0000 | azeem | (~azeem@5.168.51.37) |
| 2021-08-29 05:12:15 +0000 | sjb0 | (~stephen@1.145.85.239) |
| 2021-08-29 05:18:19 +0000 | azeem | (~azeem@5.168.51.37) (Ping timeout: 252 seconds) |
| 2021-08-29 05:20:42 +0000 | Adran | (~adran@botters/adran) (Remote host closed the connection) |
| 2021-08-29 05:22:01 +0000 | azeem | (~azeem@5.168.51.37) |
| 2021-08-29 05:25:10 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 240 seconds) |
| 2021-08-29 05:28:14 +0000 | Adran | (~adran@botters/adran) |
| 2021-08-29 05:33:43 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-08-29 05:34:57 +0000 | mud | (~mud@user/kadoban) |
| 2021-08-29 05:35:20 +0000 | oxide | (~lambda@user/oxide) |
| 2021-08-29 05:39:06 +0000 | martin02 | (~silas@141.84.69.76) |
| 2021-08-29 05:43:21 +0000 | mei | (~mei@user/mei) |
| 2021-08-29 05:44:47 +0000 | azeem | (~azeem@5.168.51.37) (Ping timeout: 240 seconds) |
| 2021-08-29 05:45:24 +0000 | azeem | (~azeem@5.168.51.37) |
| 2021-08-29 05:46:10 +0000 | falafel | (~falafel@205-201-37-90.scinternet.net) (Ping timeout: 240 seconds) |
| 2021-08-29 05:47:55 +0000 | falafel | (~falafel@205-201-37-90.scinternet.net) |
| 2021-08-29 05:50:24 +0000 | Morrow_ | (~Morrow@37.142.145.18) |
| 2021-08-29 05:54:27 +0000 | Morrow_ | (~Morrow@37.142.145.18) (Ping timeout: 240 seconds) |
| 2021-08-29 06:04:55 +0000 | ormaaj | jaamro |
| 2021-08-29 06:05:02 +0000 | azeem | (~azeem@5.168.51.37) (Ping timeout: 250 seconds) |
| 2021-08-29 06:05:35 +0000 | desophos | (~desophos@2601:249:1680:a570:b9dc:dd21:8c3e:8765) (Quit: Leaving) |
| 2021-08-29 06:05:41 +0000 | azeem | (~azeem@5.168.51.37) |
| 2021-08-29 06:12:07 +0000 | azeem | (~azeem@5.168.51.37) (Ping timeout: 240 seconds) |
| 2021-08-29 06:12:35 +0000 | azeem | (~azeem@176.201.159.42) |
| 2021-08-29 06:15:07 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Ping timeout: 240 seconds) |
| 2021-08-29 06:15:45 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2021-08-29 06:16:25 +0000 | Guest8166 | (~lordgrenv@141.226.14.154) |
| 2021-08-29 06:21:04 +0000 | azeem | (~azeem@176.201.159.42) (Ping timeout: 250 seconds) |
| 2021-08-29 06:21:14 +0000 | azeem | (~azeem@176.201.159.42) |
| 2021-08-29 06:30:29 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 06:31:35 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 06:33:47 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8c29:d071:7a1c:6a79) (Ping timeout: 240 seconds) |
| 2021-08-29 06:34:13 +0000 | Guest8166 | (~lordgrenv@141.226.14.154) (Ping timeout: 252 seconds) |
| 2021-08-29 06:35:52 +0000 | falafel | (~falafel@205-201-37-90.scinternet.net) (Ping timeout: 252 seconds) |
| 2021-08-29 06:40:10 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2021-08-29 06:47:48 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 06:48:29 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2021-08-29 06:49:56 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 06:52:07 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-08-29 06:52:23 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds) |
| 2021-08-29 06:57:23 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 07:00:41 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 07:01:14 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 07:04:04 +0000 | max22- | (~maxime@2a01cb0883359800d8e17a9d5fe0c8a1.ipv6.abo.wanadoo.fr) |
| 2021-08-29 07:05:01 +0000 | MQ-17J | (~MQ-17J@8.6.144.209) (Ping timeout: 252 seconds) |
| 2021-08-29 07:05:34 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-29 07:05:46 +0000 | MQ-17J | (~MQ-17J@8.6.144.209) |
| 2021-08-29 07:10:17 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-08-29 07:17:41 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-29 07:20:57 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-08-29 07:22:02 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 07:24:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-29 07:26:56 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds) |
| 2021-08-29 07:29:14 +0000 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-29 07:32:21 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 07:33:44 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 07:36:27 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-29 07:41:02 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 07:42:39 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-29 07:45:07 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds) |
| 2021-08-29 07:47:08 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-29 07:47:47 +0000 | Gurkenglas | (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) |
| 2021-08-29 07:52:20 +0000 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-08-29 07:57:57 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 08:00:01 +0000 | azeem | (~azeem@176.201.159.42) (Ping timeout: 248 seconds) |
| 2021-08-29 08:00:32 +0000 | azeem | (~azeem@176.201.159.42) |
| 2021-08-29 08:04:11 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-29 08:04:31 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 08:05:49 +0000 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-08-29 08:07:20 +0000 | qbt | (~edun@user/edun) |
| 2021-08-29 08:08:47 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-08-29 08:09:30 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-08-29 08:10:07 +0000 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2021-08-29 08:16:12 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-29 08:17:39 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-29 08:17:39 +0000 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2021-08-29 08:17:42 +0000 | allbery_b | geekosaur |
| 2021-08-29 08:18:21 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-29 08:18:39 +0000 | fendor_ | (~fendor@178.165.164.244.wireless.dyn.drei.com) |
| 2021-08-29 08:19:40 +0000 | favonia | (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-08-29 08:20:22 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-08-29 08:31:22 +0000 | azeem | (~azeem@176.201.159.42) (Ping timeout: 252 seconds) |
| 2021-08-29 08:32:47 +0000 | azeem | (~azeem@176.201.159.42) |
| 2021-08-29 08:35:58 +0000 | <tomsmeding> | I have a haskell program (ircbrowse) that clearly has a memory leak: if I spam it with requests, memory usage steadily grows. However, I've tried all of -hc -hm -hd -hy -hr (also -hb but that crashes?) and while they all break the memory usage down in different ways, in all breakdowns, all categories grow ~equally fast over time, so they give me 0 information. How do I debug this? |
| 2021-08-29 08:37:21 +0000 | azeem | (~azeem@176.201.159.42) (Ping timeout: 248 seconds) |
| 2021-08-29 08:38:58 +0000 | azeem | (~azeem@176.201.159.42) |
| 2021-08-29 08:39:44 +0000 | <DigitalKiwi> | quick everyone respond so that tomsmeding gets OOMed |
| 2021-08-29 08:40:31 +0000 | <maerwald[m]> | tomsmeding: enabled StrictData yet :p |
| 2021-08-29 08:40:50 +0000 | <tomsmeding> | no :p |
| 2021-08-29 08:40:56 +0000 | <maerwald[m]> | Do it |
| 2021-08-29 08:40:58 +0000 | <tomsmeding> | like, I can also do git bisect |
| 2021-08-29 08:41:11 +0000 | <tomsmeding> | but I'm curious if I can get _some_ diagnostics on this |
| 2021-08-29 08:43:11 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 08:45:27 +0000 | azeem | (~azeem@176.201.159.42) (Ping timeout: 240 seconds) |
| 2021-08-29 08:45:33 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-08-29 08:46:11 +0000 | <fendor_> | tomsmeding, probably ghc-debug? |
| 2021-08-29 08:46:15 +0000 | fendor_ | fendor |
| 2021-08-29 08:46:29 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 08:47:15 +0000 | azeem | (~azeem@158.148.84.71) |
| 2021-08-29 08:47:47 +0000 | Topsi | (~Tobias@dyndsl-095-033-090-188.ewe-ip-backbone.de) |
| 2021-08-29 08:48:00 +0000 | <tomsmeding> | isn't that only ghc 9.2? |
| 2021-08-29 08:48:13 +0000 | <tomsmeding> | (I could try that, sure) |
| 2021-08-29 08:49:33 +0000 | <fendor> | yeah, but it was written with that purpose in mind |
| 2021-08-29 08:50:41 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds) |
| 2021-08-29 08:52:31 +0000 | <tomsmeding> | maerwald[m]: ghc-options: -XStrictData doesn't help |
| 2021-08-29 08:54:41 +0000 | <tomsmeding> | is there a guide to using ghc-debug? |
| 2021-08-29 08:54:45 +0000 | <tomsmeding> | fendor: ^ |
| 2021-08-29 08:55:14 +0000 | <fendor> | tomsmeding, https://www.youtube.com/watch?v=9zuAsGk9xoM |
| 2021-08-29 08:55:44 +0000 | <tomsmeding> | heh yeah that's still on my watchlist |
| 2021-08-29 08:56:00 +0000 | <fendor> | https://github.com/well-typed/memory-usage-zurihac-2021 |
| 2021-08-29 08:56:08 +0000 | <fendor> | now you have an excuse! |
| 2021-08-29 09:02:40 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 09:04:01 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-29 09:04:25 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 09:04:45 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 09:05:02 +0000 | sjb0 | (~stephen@1.145.85.239) (Read error: Connection timed out) |
| 2021-08-29 09:05:13 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 09:07:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 250 seconds) |
| 2021-08-29 09:09:38 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-29 09:11:31 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-08-29 09:12:16 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de) |
| 2021-08-29 09:12:28 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-29 09:12:31 +0000 | chris | Guest6436 |
| 2021-08-29 09:18:45 +0000 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-29 09:19:00 +0000 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-29 09:19:03 +0000 | sjb0 | (~stephen@2001:8004:2738:35de:a1a3:a1c1:6e62:ba62) |
| 2021-08-29 09:19:27 +0000 | azeem | (~azeem@158.148.84.71) (Ping timeout: 240 seconds) |
| 2021-08-29 09:20:16 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 09:20:31 +0000 | azeem | (~azeem@158.148.84.71) |
| 2021-08-29 09:21:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Remote host closed the connection) |
| 2021-08-29 09:22:28 +0000 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (Quit: WeeChat 3.0) |
| 2021-08-29 09:22:32 +0000 | sjb0 | (~stephen@2001:8004:2738:35de:a1a3:a1c1:6e62:ba62) (Read error: Connection reset by peer) |
| 2021-08-29 09:22:59 +0000 | kenran | (~kenran@200116b82b597200b32d497d5189e8bc.dip.versatel-1u1.de) |
| 2021-08-29 09:23:17 +0000 | andinus | (andinus@tilde.institute) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-08-29 09:31:27 +0000 | azeem | (~azeem@158.148.84.71) (Ping timeout: 240 seconds) |
| 2021-08-29 09:31:50 +0000 | azeem | (~azeem@158.148.84.71) |
| 2021-08-29 09:36:11 +0000 | azeem | (~azeem@158.148.84.71) (Ping timeout: 250 seconds) |
| 2021-08-29 09:36:44 +0000 | azeem | (~azeem@158.148.84.71) |
| 2021-08-29 09:37:49 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 09:41:17 +0000 | sjb0 | (~stephen@1.145.100.97) |
| 2021-08-29 09:43:07 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 2021-08-29 09:45:11 +0000 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) (Quit: Ping timeout (120 seconds)) |
| 2021-08-29 09:45:27 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 09:46:34 +0000 | andinus | (andinus@tilde.institute) |
| 2021-08-29 09:46:34 +0000 | betelgeuse | (~betelgeus@94-225-47-8.access.telenet.be) |
| 2021-08-29 09:54:14 +0000 | sjb0 | (~stephen@1.145.100.97) (Quit: Leaving.) |
| 2021-08-29 09:54:25 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-29 09:56:25 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-29 09:57:06 +0000 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2021-08-29 09:59:22 +0000 | kenran | (~kenran@200116b82b597200b32d497d5189e8bc.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-29 10:02:54 +0000 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-29 10:03:23 +0000 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Client Quit) |
| 2021-08-29 10:06:18 +0000 | cheater | (~Username@user/cheater) |
| 2021-08-29 10:07:27 +0000 | neo2 | (~neo3@cpe-292712.ip.primehome.com) |
| 2021-08-29 10:11:48 +0000 | Guest6436 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-29 10:12:24 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-29 10:12:28 +0000 | chris | Guest3002 |
| 2021-08-29 10:12:47 +0000 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 2021-08-29 10:13:12 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-08-29 10:15:24 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-29 10:15:51 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 10:16:58 +0000 | Guest3002 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-29 10:17:23 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-29 10:19:43 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-08-29 10:20:56 +0000 | xsperry | (~as@user/xsperry) |
| 2021-08-29 10:21:41 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 10:21:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) |
| 2021-08-29 10:25:46 +0000 | tdslaeaoyi^ | (~tdslaeaoy@wsip-98-188-244-188.mc.at.cox.net) |
| 2021-08-29 10:26:07 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds) |
| 2021-08-29 10:26:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:45ef:351a:e045:ed35) (Ping timeout: 240 seconds) |
| 2021-08-29 10:27:16 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 10:27:22 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 10:28:32 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 10:30:33 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-08-29 10:37:40 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-08-29 10:42:13 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 10:48:19 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-08-29 10:53:08 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 10:57:39 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 250 seconds) |
| 2021-08-29 10:59:26 +0000 | ubert | (~Thunderbi@77.119.192.190.wireless.dyn.drei.com) |
| 2021-08-29 11:01:03 +0000 | alx741 | (~alx741@186.178.108.114) |
| 2021-08-29 11:01:28 +0000 | fendor | (~fendor@178.165.164.244.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-08-29 11:01:45 +0000 | fendor | (~fendor@178.165.164.244.wireless.dyn.drei.com) |
| 2021-08-29 11:02:45 +0000 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-08-29 11:05:27 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-08-29 11:06:12 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-29 11:07:01 +0000 | azeem | (~azeem@158.148.84.71) (Ping timeout: 252 seconds) |
| 2021-08-29 11:07:11 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-29 11:07:20 +0000 | jtomas | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-29 11:07:50 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-29 11:10:34 +0000 | azeem | (~azeem@158.148.84.71) |
| 2021-08-29 11:14:41 +0000 | azeem | (~azeem@158.148.84.71) (Ping timeout: 248 seconds) |
| 2021-08-29 11:15:22 +0000 | azeem | (~azeem@5.168.150.11) |
| 2021-08-29 11:16:29 +0000 | benin0369324 | (~benin@183.82.27.230) |
| 2021-08-29 11:17:21 +0000 | fendor | (~fendor@178.165.164.244.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-08-29 11:17:46 +0000 | fendor | (~fendor@178.165.164.244.wireless.dyn.drei.com) |
| 2021-08-29 11:18:27 +0000 | benin036932 | (~benin@183.82.206.21) (Ping timeout: 250 seconds) |
| 2021-08-29 11:18:57 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-29 11:22:10 +0000 | fendor | (~fendor@178.165.164.244.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-29 11:23:07 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 11:23:33 +0000 | tdslaeaoyi^ | (~tdslaeaoy@wsip-98-188-244-188.mc.at.cox.net) (Remote host closed the connection) |
| 2021-08-29 11:25:20 +0000 | fendor | (~fendor@178.165.182.151.wireless.dyn.drei.com) |
| 2021-08-29 11:25:21 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-29 11:27:33 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Ping timeout: 250 seconds) |
| 2021-08-29 11:28:41 +0000 | emliunix | (~emliunix@61-216-165-205.HINET-IP.hinet.net) (Remote host closed the connection) |
| 2021-08-29 11:29:40 +0000 | azeem | (~azeem@5.168.150.11) (Ping timeout: 240 seconds) |
| 2021-08-29 11:30:17 +0000 | azeem | (~azeem@5.168.150.11) |
| 2021-08-29 11:30:32 +0000 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2021-08-29 11:30:35 +0000 | d0ku | (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 2021-08-29 11:32:20 +0000 | _xor | (~xor@74.215.232.67) (Read error: Connection reset by peer) |
| 2021-08-29 11:32:54 +0000 | _xor | (~xor@74.215.232.67) |
| 2021-08-29 11:35:02 +0000 | dsrt^ | (~dsrt@wsip-98-188-244-188.mc.at.cox.net) |
| 2021-08-29 11:35:29 +0000 | kenran | (~kenran@200116b82b5972006299df1431f6d6db.dip.versatel-1u1.de) |
| 2021-08-29 11:36:27 +0000 | d0ku | (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 2021-08-29 11:40:40 +0000 | Heisen | (~Heisen@77.240.67.20) |
| 2021-08-29 11:41:56 +0000 | ubert1 | (~Thunderbi@77.119.192.190.wireless.dyn.drei.com) |
| 2021-08-29 11:43:26 +0000 | Heisen | (~Heisen@77.240.67.20) (Client Quit) |
| 2021-08-29 11:43:47 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 11:44:18 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 11:48:40 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-08-29 11:51:07 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-29 11:52:02 +0000 | aman | (~aman@user/aman) () |
| 2021-08-29 11:52:44 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-29 11:53:29 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2021-08-29 11:58:12 +0000 | azeem | (~azeem@5.168.150.11) (Ping timeout: 250 seconds) |
| 2021-08-29 12:00:07 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:00:19 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 12:00:20 +0000 | favonia | (~favonia@user/favonia) |
| 2021-08-29 12:00:29 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 2021-08-29 12:00:36 +0000 | azeem | (~azeem@5.168.150.11) |
| 2021-08-29 12:01:24 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-29 12:02:24 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:02:35 +0000 | oxide | (~lambda@user/oxide) |
| 2021-08-29 12:03:26 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 12:04:37 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c72b95201ca15888cf4b6c82.dip0.t-ipconnect.de) |
| 2021-08-29 12:05:37 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:08:10 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b95318d14906cff331aba.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-29 12:09:10 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 12:10:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-08-29 12:12:28 +0000 | neo2 | (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 252 seconds) |
| 2021-08-29 12:16:52 +0000 | kenran | (~kenran@200116b82b5972006299df1431f6d6db.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-29 12:18:47 +0000 | azeem | (~azeem@5.168.150.11) (Ping timeout: 240 seconds) |
| 2021-08-29 12:19:35 +0000 | azeem | (~azeem@5.168.150.11) |
| 2021-08-29 12:28:17 +0000 | azeem | (~azeem@5.168.150.11) (Ping timeout: 248 seconds) |
| 2021-08-29 12:28:58 +0000 | azeem | (~azeem@5.168.150.11) |
| 2021-08-29 12:31:33 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:31:33 +0000 | cryptomonad | (~cryptomon@194.191.225.149) |
| 2021-08-29 12:33:11 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 12:33:22 +0000 | azeem | (~azeem@5.168.150.11) (Ping timeout: 252 seconds) |
| 2021-08-29 12:33:55 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:34:06 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 12:34:25 +0000 | azeem | (~azeem@5.168.150.11) |
| 2021-08-29 12:34:42 +0000 | phma | (~phma@host-67-44-208-218.hnremote.net) (Read error: Connection reset by peer) |
| 2021-08-29 12:34:58 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-29 12:35:26 +0000 | oxide | (~lambda@user/oxide) |
| 2021-08-29 12:35:30 +0000 | phma | (~phma@host-67-44-208-231.hnremote.net) |
| 2021-08-29 12:39:53 +0000 | cryptomonad | (~cryptomon@194.191.225.149) (Quit: Quit) |
| 2021-08-29 12:40:00 +0000 | cryptomonad | (~cryptomon@194.191.225.149) |
| 2021-08-29 12:43:53 +0000 | PinealGlandOptic | (~PinealGla@37.115.210.35) |
| 2021-08-29 12:47:17 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-29 12:47:17 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:48:29 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 12:48:53 +0000 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2021-08-29 12:51:26 +0000 | cryptomonad | (~cryptomon@194.191.225.149) (Quit: Quit) |
| 2021-08-29 12:51:34 +0000 | cryptomonad | (~cryptomon@194.191.225.149) |
| 2021-08-29 12:52:34 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-29 12:52:37 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2021-08-29 12:52:48 +0000 | Vajb | (~Vajb@2001:999:65:a818:f418:a5b8:e792:8650) |
| 2021-08-29 12:54:49 +0000 | dsrt^ | (~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 252 seconds) |
| 2021-08-29 12:57:41 +0000 | Vajb | (~Vajb@2001:999:65:a818:f418:a5b8:e792:8650) (Read error: Connection reset by peer) |
| 2021-08-29 12:57:44 +0000 | cryptomonad | (~cryptomon@194.191.225.149) (Read error: Connection reset by peer) |
| 2021-08-29 12:58:19 +0000 | cryptomonad | (~cryptomon@194.191.225.149) |
| 2021-08-29 12:58:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 13:00:52 +0000 | cryptomonad | cryptomonad_ |
| 2021-08-29 13:01:59 +0000 | cryptomonad | (~cryptomon@194.191.225.149) |
| 2021-08-29 13:05:05 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 13:05:13 +0000 | hannessteffenhag | (~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de) |
| 2021-08-29 13:05:49 +0000 | azeem | (~azeem@5.168.150.11) (Ping timeout: 252 seconds) |
| 2021-08-29 13:09:21 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 2021-08-29 13:15:29 +0000 | azeem | (~azeem@176.201.91.107) |
| 2021-08-29 13:22:06 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 13:23:15 +0000 | nvmd | (~nvmd@user/nvmd) (Ping timeout: 250 seconds) |
| 2021-08-29 13:25:00 +0000 | nvmd | (~nvmd@user/nvmd) |
| 2021-08-29 13:27:51 +0000 | dsrt^ | (~dsrt@wsip-98-188-244-188.mc.at.cox.net) |
| 2021-08-29 13:33:23 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-29 13:33:50 +0000 | earthy | (~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) |
| 2021-08-29 13:34:40 +0000 | hannessteffenhag | (~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-08-29 13:34:45 +0000 | img | (~img@user/img) |
| 2021-08-29 13:39:28 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de) |
| 2021-08-29 13:42:06 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 13:43:11 +0000 | acidjnk_new3 | (~acidjnk@p200300d0c72b95201ca15888cf4b6c82.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-29 13:48:10 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 252 seconds) |
| 2021-08-29 13:51:07 +0000 | goepsilongo | (~goepsilon@2603-7000-ab00-62ed-71d9-8352-a788-43f1.res6.spectrum.com) |
| 2021-08-29 13:51:17 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 13:53:19 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 13:56:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-29 13:57:52 +0000 | cryptomonad_ | (~cryptomon@194.191.225.149) (Quit: Quit) |
| 2021-08-29 13:58:43 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-7-254.prtc.net) |
| 2021-08-29 14:00:02 +0000 | hannessteffenhag | (~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de) |
| 2021-08-29 14:05:34 +0000 | martin02 | (~silas@141.84.69.76) |
| 2021-08-29 14:05:46 +0000 | hannessteffenhag | (~hannesste@ip4d14ffee.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-29 14:06:20 +0000 | chomwitt | (~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) |
| 2021-08-29 14:07:34 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-08-29 14:08:14 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-7-254.prtc.net) (Quit: Client closed) |
| 2021-08-29 14:12:32 +0000 | qrpnxz | (~qrpnxz@user/qrpnxz) (Ping timeout: 250 seconds) |
| 2021-08-29 14:28:49 +0000 | azeem | (~azeem@176.201.91.107) (Ping timeout: 248 seconds) |
| 2021-08-29 14:29:24 +0000 | azeem | (~azeem@176.201.91.107) |
| 2021-08-29 14:29:36 +0000 | qrpnxz | (~qrpnxz@user/qrpnxz) |
| 2021-08-29 14:31:32 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 14:32:10 +0000 | dsrt^ | (~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 240 seconds) |
| 2021-08-29 14:33:31 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-08-29 14:34:34 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-08-29 14:34:54 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-08-29 14:35:50 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-29 14:37:07 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-29 14:38:16 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 14:42:47 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds) |
| 2021-08-29 14:43:33 +0000 | oxide | (~lambda@user/oxide) |
| 2021-08-29 14:49:15 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-29 14:49:15 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-29 14:49:15 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-08-29 14:51:24 +0000 | dsrt^ | (~dsrt@wsip-98-188-244-188.mc.at.cox.net) |
| 2021-08-29 14:56:43 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-29 14:58:28 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-29 14:59:12 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-08-29 15:01:33 +0000 | kenran | (~kenran@200116b82b59720074ec92b473a42299.dip.versatel-1u1.de) |
| 2021-08-29 15:04:29 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-08-29 15:06:36 +0000 | kayprish | (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-08-29 15:08:17 +0000 | cross | (~cross@spitfire.i.gajendra.net) (Quit: leaving) |
| 2021-08-29 15:08:40 +0000 | martin02 | (~silas@141.84.69.76) (Ping timeout: 240 seconds) |
| 2021-08-29 15:08:49 +0000 | cross | (~cross@spitfire.i.gajendra.net) |
| 2021-08-29 15:14:15 +0000 | max22- | (~maxime@2a01cb0883359800d8e17a9d5fe0c8a1.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-08-29 15:16:10 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-29 15:16:25 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-29 15:16:32 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-29 15:19:55 +0000 | elf-fortrez | (~elf-fortr@adsl-72-50-7-254.prtc.net) |
| 2021-08-29 15:26:24 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 15:27:30 +0000 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-29 15:27:43 +0000 | chisui | (~chisui@200116b8685a11007429fb4030e28bf0.dip.versatel-1u1.de) |
| 2021-08-29 15:30:00 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-08-29 15:31:10 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds) |
| 2021-08-29 15:32:27 +0000 | xff0x | (~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0) (Ping timeout: 240 seconds) |
| 2021-08-29 15:32:46 +0000 | xff0x | (~xff0x@2001:1a81:524c:1400:ba85:9ec4:3b29:2be0) |
| 2021-08-29 15:39:19 +0000 | chomwitt | (~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) (Ping timeout: 250 seconds) |
| 2021-08-29 15:41:50 +0000 | PinealGlandOptic | Everyone |
| 2021-08-29 15:42:38 +0000 | Everyone | Everything |
| 2021-08-29 15:44:15 +0000 | Everything | (~PinealGla@37.115.210.35) (Quit: leaving) |
| 2021-08-29 15:44:29 +0000 | Everything | (~Everythin@37.115.210.35) |
| 2021-08-29 15:46:18 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 15:46:28 +0000 | martin02 | (~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1) |
| 2021-08-29 15:47:18 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-29 15:50:38 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-29 15:51:07 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) (Ping timeout: 240 seconds) |
| 2021-08-29 15:51:43 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-29 15:51:55 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-29 15:53:02 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 15:54:19 +0000 | chomwitt | (~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) |
| 2021-08-29 15:54:43 +0000 | asthasr | (~asthasr@162.210.28.151) (Quit: asthasr) |
| 2021-08-29 15:54:47 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2021-08-29 16:01:19 +0000 | spruit11 | (~quassel@2a02:a467:ccd6:1:8013:5e37:15b2:f034) |
| 2021-08-29 16:15:10 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2021-08-29 16:16:50 +0000 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-08-29 16:18:15 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-08-29 16:19:48 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-08-29 16:22:55 +0000 | max22- | (~maxime@2a01cb088335980041b62e3fe7894c02.ipv6.abo.wanadoo.fr) |
| 2021-08-29 16:26:51 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 16:27:07 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-29 16:28:27 +0000 | Philonous | (~Philonous@user/philonous) (Quit: ZNC - https://znc.in) |
| 2021-08-29 16:28:58 +0000 | Philonous | (~Philonous@user/philonous) |
| 2021-08-29 16:28:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection) |
| 2021-08-29 16:29:02 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2021-08-29 16:29:14 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 16:34:25 +0000 | theproffesor | (~theproffe@2601:282:847f:8010::f411) |
| 2021-08-29 16:34:25 +0000 | theproffesor | (~theproffe@2601:282:847f:8010::f411) (Changing host) |
| 2021-08-29 16:34:25 +0000 | theproffesor | (~theproffe@user/theproffesor) |
| 2021-08-29 16:35:36 +0000 | goepsilongo | (~goepsilon@2603-7000-ab00-62ed-71d9-8352-a788-43f1.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-29 16:38:38 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-29 16:40:09 +0000 | theproffesor | (~theproffe@user/theproffesor) (Leaving) |
| 2021-08-29 16:41:06 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-29 16:41:27 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-08-29 16:45:56 +0000 | azeem | (~azeem@176.201.91.107) (Ping timeout: 250 seconds) |
| 2021-08-29 16:46:50 +0000 | azeem | (~azeem@176.201.91.107) |
| 2021-08-29 16:52:58 +0000 | <siers> | tomsmeding, I learned more about GADTs and your gdiff implementation for a list now makes more sense. \o/ |
| 2021-08-29 16:55:14 +0000 | <siers> | tomsmeding, gdiff I think was initially written for agda, so all the dependent typeish machinery in haskell stands in the way of 'getting it' for me |
| 2021-08-29 16:56:50 +0000 | elf-fortrez | (~elf-fortr@adsl-72-50-7-254.prtc.net) (Quit: Client closed) |
| 2021-08-29 16:59:10 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-08-29 17:07:29 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-08-29 17:09:32 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-08-29 17:11:26 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-08-29 17:14:40 +0000 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-08-29 17:14:58 +0000 | lbseale | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-29 17:17:31 +0000 | kenran | (~kenran@200116b82b59720074ec92b473a42299.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-29 17:18:05 +0000 | kenran | (~kenran@200116b82b59720051f2433385ad7a5b.dip.versatel-1u1.de) |
| 2021-08-29 17:23:45 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2021-08-29 17:23:50 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-08-29 17:31:37 +0000 | <siers> | does reflex frp have some runnable examples in the browser? |
| 2021-08-29 17:31:45 +0000 | azeem | (~azeem@176.201.91.107) (Ping timeout: 248 seconds) |
| 2021-08-29 17:32:18 +0000 | azeem | (~azeem@176.201.91.107) |
| 2021-08-29 17:35:07 +0000 | fresheyeball | (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-29 17:41:53 +0000 | <Cale> | I have some random bits and pieces accumulated by helping people with random things. https://cale.l5.ca/Demos/ |
| 2021-08-29 17:42:18 +0000 | <Cale> | I'm a bit sad that the PrismataUnits one no longer works... |
| 2021-08-29 17:42:19 +0000 | oxide | (~lambda@user/oxide) |
| 2021-08-29 17:43:07 +0000 | <siers> | nice! |
| 2021-08-29 17:49:04 +0000 | peterhil | (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-29 17:52:05 +0000 | t3hyoshi | (~snicf@2600:8804:1b96:4900:759f:c8d1:b667:e4fb) (Quit: Konversation terminated!) |
| 2021-08-29 17:53:37 +0000 | azeem | (~azeem@176.201.91.107) (Ping timeout: 248 seconds) |
| 2021-08-29 17:56:39 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-08-29 17:57:55 +0000 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-29 17:58:41 +0000 | <mastarija> | Do we have any markdown parser that also supports those yaml headers? And isn't pandoc / pandoc dependent? |
| 2021-08-29 17:59:41 +0000 | <sm> | could you rephrase that ? |
| 2021-08-29 17:59:47 +0000 | <Rembane_> | mastarija: Do you need a markdown parser that isn't Pandoc? Because Pandoc supports it. |
| 2021-08-29 18:00:13 +0000 | <mastarija> | Rembane_, yes, something that isn't Pandoc |
| 2021-08-29 18:00:18 +0000 | <mastarija> | something small |
| 2021-08-29 18:00:42 +0000 | <sm> | search hackage for "markdown" with google (some packages don't have it in their name IIRC) |
| 2021-08-29 18:01:06 +0000 | <mastarija> | sm, will try |
| 2021-08-29 18:01:39 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-08-29 18:01:41 +0000 | <mastarija> | all I've found on hackage so far was pure markdown, but I want some metadata with my markdown |
| 2021-08-29 18:02:02 +0000 | <Lycurgus> | is pandoc still a thing? |
| 2021-08-29 18:02:12 +0000 | <mastarija> | Lycurgus, a big thing |
| 2021-08-29 18:02:41 +0000 | <Lycurgus> | ah good just checking |
| 2021-08-29 18:03:29 +0000 | <Rembane_> | mastarija: If you don't find anything that supports YAML headers you can parse out the header first yourself and then send the rest to the markdown parser |
| 2021-08-29 18:03:39 +0000 | <mastarija> | Yes, that's my backup plan |
| 2021-08-29 18:03:50 +0000 | <mastarija> | But I've found mmark now |
| 2021-08-29 18:04:03 +0000 | <mastarija> | Put markdown and yaml in google and that came out |
| 2021-08-29 18:04:18 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-08-29 18:04:28 +0000 | <sm> | mastarija, cmark or cheapskate seem the way to go |
| 2021-08-29 18:04:40 +0000 | <davean> | mastarija: you don't do metadata with markdown, yaml the spec has a thing for trailing data that you would THEN feed into markdown processors |
| 2021-08-29 18:04:48 +0000 | <sm> | or mmark |
| 2021-08-29 18:04:54 +0000 | <mastarija> | davean, ah... yes |
| 2021-08-29 18:05:08 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-29 18:05:08 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-08-29 18:05:08 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2021-08-29 18:05:09 +0000 | <mastarija> | I was thinking that maybe I'm going about it the wrong way |
| 2021-08-29 18:05:19 +0000 | <davean> | mastarija: yep |
| 2021-08-29 18:05:23 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-29 18:05:24 +0000 | <mastarija> | but then again, I'm looking for out of the box experience |
| 2021-08-29 18:05:26 +0000 | <davean> | Nice and easy actually |
| 2021-08-29 18:05:53 +0000 | <mastarija> | davean, so maybe I can use cmark + yaml package |
| 2021-08-29 18:07:10 +0000 | <mastarija> | davean, do you maybe know of an example, how does one access the trailing data, is it a special YAML field name? |
| 2021-08-29 18:07:11 +0000 | <davean> | mastarija: yep |
| 2021-08-29 18:07:34 +0000 | <davean> | Oh god, I haven't done this in a few years lets see if I remember |
| 2021-08-29 18:07:52 +0000 | <mastarija> | :) |
| 2021-08-29 18:08:33 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-29 18:08:35 +0000 | <davean> | I stopped using YAML bcause of how insane the spec is |
| 2021-08-29 18:09:38 +0000 | <mastarija> | I always heard about the spec being insane, but for me it's just JSON without braces |
| 2021-08-29 18:10:11 +0000 | [exa] | makes a wish for a decent bencode editor |
| 2021-08-29 18:10:14 +0000 | <davean> | ITS VERY MUCH NOT and you can't safely expect thats what it is |
| 2021-08-29 18:10:31 +0000 | <davean> | mastarija: Your files can extremely violate that idea |
| 2021-08-29 18:10:35 +0000 | <davean> | and no, I don't recall sadly |
| 2021-08-29 18:10:59 +0000 | <davean> | Theres a reason there are multiple CSVs of "used yaml as a file format" |
| 2021-08-29 18:11:15 +0000 | <mastarija> | I meant, it's JSON for me because how I use it. I'm sure others might have some horror stories :D |
| 2021-08-29 18:11:32 +0000 | <davean> | A fully compliant YAML parser can cause arbitrary code execution during decoding :-p |
| 2021-08-29 18:11:57 +0000 | <mastarija> | Lol |
| 2021-08-29 18:12:00 +0000 | <davean> | if you only get YAML files from yourself thats fine |
| 2021-08-29 18:12:05 +0000 | <davean> | but if someone else can create them? |
| 2021-08-29 18:12:08 +0000 | <davean> | Uh |
| 2021-08-29 18:12:15 +0000 | <davean> | Enjoy being their cloud provider? :) |
| 2021-08-29 18:13:25 +0000 | <davean> | Luckily I don't think theres any YAML parsers that can even do that in Haskell because Haskell doesn't make hooking like that make sense |
| 2021-08-29 18:13:43 +0000 | <davean> | but its happened a large number of times in practice |
| 2021-08-29 18:13:47 +0000 | <mastarija> | Honestly, I was always a bit skeptical about configuration "languages". Maybe because I don't do very complicated stuff, but things like nix or dhall always look like complications, rather than solutions to me |
| 2021-08-29 18:15:02 +0000 | <davean> | oh, no I mean YAML is a data format |
| 2021-08-29 18:15:19 +0000 | <davean> | that dataformat can just happen to call constructors in your language with arbitrary parameters |
| 2021-08-29 18:15:29 +0000 | <davean> | so like Grovy("heres the script I want to run") |
| 2021-08-29 18:15:47 +0000 | max22- | (~maxime@2a01cb088335980041b62e3fe7894c02.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 2021-08-29 18:16:12 +0000 | <mastarija> | davean, yes, that execution just reminded me of nix / dhall |
| 2021-08-29 18:16:12 +0000 | <davean> | Thats your data |
| 2021-08-29 18:16:15 +0000 | <davean> | Ah |
| 2021-08-29 18:16:28 +0000 | <mastarija> | So I went on a mini rant :D |
| 2021-08-29 18:19:30 +0000 | thyriaen | (~thyriaen@x4dbfddec.dyn.telefonica.de) |
| 2021-08-29 18:20:40 +0000 | <sm> | like backfiring.. set off a mini rant to stop the big rant :) |
| 2021-08-29 18:23:52 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 18:27:24 +0000 | neurocyte2 | (~neurocyte@45.143.79.183) |
| 2021-08-29 18:27:24 +0000 | neurocyte2 | (~neurocyte@45.143.79.183) (Changing host) |
| 2021-08-29 18:27:24 +0000 | neurocyte2 | (~neurocyte@user/neurocyte) |
| 2021-08-29 18:27:53 +0000 | neurocyte | (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 2021-08-29 18:27:53 +0000 | neurocyte2 | neurocyte |
| 2021-08-29 18:29:56 +0000 | martin02 | (~silas@2001:4ca0:0:fe00:0:5efe:a96:1bc1) (Quit: WeeChat 3.2) |
| 2021-08-29 18:34:10 +0000 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 240 seconds) |
| 2021-08-29 18:36:27 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-08-29 18:40:40 +0000 | max22- | (~maxime@2a01cb0883359800468c3975aa62b651.ipv6.abo.wanadoo.fr) |
| 2021-08-29 18:44:31 +0000 | jess | (~jess@libera/staff/jess) () |
| 2021-08-29 18:44:36 +0000 | Everything | Everyone |
| 2021-08-29 18:45:11 +0000 | Everyone | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2021-08-29 18:52:14 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 18:53:07 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2021-08-29 18:56:21 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 18:57:24 +0000 | fendor | (~fendor@178.165.182.151.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-29 18:58:22 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-29 18:58:37 +0000 | fendor | (~fendor@178.165.182.151.wireless.dyn.drei.com) |
| 2021-08-29 18:58:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection) |
| 2021-08-29 18:59:13 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 18:59:47 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-08-29 19:07:35 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-08-29 19:07:48 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-29 19:11:02 +0000 | y04nn | (~y04nn@91.193.4.154) |
| 2021-08-29 19:11:18 +0000 | <siers> | could you make a excel-kind spreadsheet program with frp? |
| 2021-08-29 19:12:30 +0000 | <maerwald> | with frp? :D |
| 2021-08-29 19:12:41 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection) |
| 2021-08-29 19:12:45 +0000 | <siers> | react frp, I suppose |
| 2021-08-29 19:16:34 +0000 | Xnuk | (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-08-29 19:16:50 +0000 | Xnuk | (~xnuk@vultr.xnu.kr) |
| 2021-08-29 19:16:53 +0000 | ub | (~Thunderbi@178.165.168.136.wireless.dyn.drei.com) |
| 2021-08-29 19:18:03 +0000 | <maerwald> | siers: https://i.imgflip.com/5l7mel.jpg |
| 2021-08-29 19:18:06 +0000 | <maerwald> | couldn't resist |
| 2021-08-29 19:18:07 +0000 | ubert | (~Thunderbi@77.119.192.190.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-29 19:18:07 +0000 | ub | ubert |
| 2021-08-29 19:19:10 +0000 | ubert1 | (~Thunderbi@77.119.192.190.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-29 19:21:00 +0000 | kayprish | (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Read error: Connection reset by peer) |
| 2021-08-29 19:22:07 +0000 | kenran | (~kenran@200116b82b59720051f2433385ad7a5b.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2021-08-29 19:22:08 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 19:23:17 +0000 | kenran | (~kenran@200116b82b597200c49c746a42f32f39.dip.versatel-1u1.de) |
| 2021-08-29 19:23:40 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 250 seconds) |
| 2021-08-29 19:25:32 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) |
| 2021-08-29 19:26:19 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 19:26:53 +0000 | chomwitt | (~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) (Read error: Connection reset by peer) |
| 2021-08-29 19:27:14 +0000 | chomwitt | (~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) |
| 2021-08-29 19:27:36 +0000 | kayprish | (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) |
| 2021-08-29 19:29:11 +0000 | pavonia | (~user@user/siracusa) |
| 2021-08-29 19:30:17 +0000 | arjun | (~Srain@user/arjun) |
| 2021-08-29 19:31:04 +0000 | <hololeap> | siers: you might want to check out elm |
| 2021-08-29 19:31:23 +0000 | <hololeap> | if you're making something like that for the browser |
| 2021-08-29 19:31:43 +0000 | <carbolymer> | I'm trying to start vim from my shake script: https://bpa.st/SVTA - but I think I need to allocate terminal to make it work interactively - how can I do that? |
| 2021-08-29 19:32:00 +0000 | <siers> | hololeap, I would really rather want to try haskell + ghcjs, since it's nothing serious |
| 2021-08-29 19:32:40 +0000 | sts-q | (~sts-q@91.200.108.136) |
| 2021-08-29 19:32:47 +0000 | <hololeap> | do you, but I found elm quite fun to work with |
| 2021-08-29 19:33:07 +0000 | <hololeap> | once you get used to the restrictions (e.g. no typeclasses) |
| 2021-08-29 19:33:49 +0000 | <maerwald> | siers: miso |
| 2021-08-29 19:34:05 +0000 | chisui | (~chisui@200116b8685a11007429fb4030e28bf0.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-08-29 19:34:30 +0000 | sleblanc | (~sleblanc@user/sleblanc) |
| 2021-08-29 19:39:46 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2021-08-29 19:40:56 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2021-08-29 19:42:22 +0000 | Topsi | (~Tobias@dyndsl-095-033-090-188.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-08-29 19:43:28 +0000 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2021-08-29 19:50:34 +0000 | qbt | (~edun@user/edun) (Remote host closed the connection) |
| 2021-08-29 19:50:57 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-08-29 19:51:13 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 19:52:39 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-29 19:55:38 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-08-29 19:56:35 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-29 19:56:48 +0000 | jtomas_ | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-29 19:58:10 +0000 | jtomas | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-08-29 19:59:31 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-29 20:08:45 +0000 | <_bin> | Good afternoon, this code is failing to compile, saying, "Couldn't match expected type 'Toml.Key' with actual type '[Char]': https://paste.tomsmeding.com/DaT48aj9 It closely matches the example code listed for this library, so I'm unsure as to why this might be happening: https://hackage.haskell.org/package/tomland |
| 2021-08-29 20:09:37 +0000 | benin036932 | (~benin@183.82.27.230) (Ping timeout: 248 seconds) |
| 2021-08-29 20:10:25 +0000 | jtomas_ | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-08-29 20:10:28 +0000 | benin036932 | (~benin@183.82.206.204) |
| 2021-08-29 20:12:46 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de) |
| 2021-08-29 20:15:18 +0000 | <c_wraith> | _bin: well.. long odds the problem code isn't what you pasted |
| 2021-08-29 20:16:49 +0000 | hendursa1 | (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-29 20:17:12 +0000 | <c_wraith> | _bin: oh, nevermind! here's your problem: https://hackage.haskell.org/package/tomland-1.3.3.0/docs/Toml-Codec-Combinator-Primitive.html#v:int |
| 2021-08-29 20:17:40 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-08-29 20:18:25 +0000 | <_bin> | c_wraith: Right, it appears to take a Key, but the example code shows using just string literals and doesn't mention directly creating a Key. |
| 2021-08-29 20:18:34 +0000 | <_bin> | Or is there something else? |
| 2021-08-29 20:18:46 +0000 | <c_wraith> | _bin: I'd blame out of date examples. (Examples are always out of date) |
| 2021-08-29 20:19:26 +0000 | <c_wraith> | the next line looks probably-wrong too |
| 2021-08-29 20:20:19 +0000 | <_bin> | c_wraith: I lost a prior version of the code where it was working, I believe... Another example, updated this February, shows similar: https://github.com/kowainik/tomland/blob/main/examples/Main.hs#L107 |
| 2021-08-29 20:20:25 +0000 | <_bin> | Next line has the same error, yes. |
| 2021-08-29 20:20:39 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efd:c800:3061:d615:b40a:a206) |
| 2021-08-29 20:22:04 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-08-29 20:23:55 +0000 | <c_wraith> | yeah, you're basing it on the comment in https://hackage.haskell.org/package/tomland-1.3.3.0/docs/Toml-Codec-Di.html#v:.-61- ? |
| 2021-08-29 20:23:58 +0000 | <c_wraith> | that's clearly out of date |
| 2021-08-29 20:24:04 +0000 | <c_wraith> | Toml.str doesn't exist |
| 2021-08-29 20:24:17 +0000 | <c_wraith> | examples always lie |
| 2021-08-29 20:25:23 +0000 | <c_wraith> | Ah. It expects you to have OverloadedStrings enabled. |
| 2021-08-29 20:25:39 +0000 | <c_wraith> | I'd skip that and just call fromString so that inference remains sane |
| 2021-08-29 20:26:40 +0000 | thyriaen | (~thyriaen@x4dbfddec.dyn.telefonica.de) (Remote host closed the connection) |
| 2021-08-29 20:29:15 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
| 2021-08-29 20:29:39 +0000 | Boomerang | (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 250 seconds) |
| 2021-08-29 20:31:22 +0000 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 2021-08-29 20:33:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 20:33:37 +0000 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 2021-08-29 20:34:31 +0000 | d0ku | (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 2021-08-29 20:35:06 +0000 | arjun | (~Srain@user/arjun) (Remote host closed the connection) |
| 2021-08-29 20:36:26 +0000 | <_bin> | Thanks, I appreciate it |
| 2021-08-29 20:39:41 +0000 | <_bin> | c_wraith: Weirdly, it's still not working with OverloadedStrings. How would I go about using `fromString` to resolve this? |
| 2021-08-29 20:40:16 +0000 | <c_wraith> | same code, just enabled OverloadedStrings? What error is it giving you now? |
| 2021-08-29 20:42:49 +0000 | <_bin> | Yes, exact same but with OverloadedStrings. Same error: "Couldn't match expected type ‘Toml.Key’ with actual type ‘[Char]’" |
| 2021-08-29 20:43:29 +0000 | <c_wraith> | That suggests you didn't actually enable OverloadedStrings. It would give an error message about IsString a => a instead of [Char] |
| 2021-08-29 20:44:13 +0000 | <_bin> | Oh dang, you're right. It appears I accidentally put my language directive after the module where line. My bad. |
| 2021-08-29 20:44:29 +0000 | <c_wraith> | easy mistake to make, really. I've done it several times. |
| 2021-08-29 20:45:14 +0000 | <maerwald> | you can also just use `fromString` |
| 2021-08-29 20:45:24 +0000 | <maerwald> | it may be more hygienic |
| 2021-08-29 20:45:59 +0000 | <c_wraith> | You'll note that was my original recommendation. :P |
| 2021-08-29 20:46:08 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-08-29 20:46:17 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-29 20:46:45 +0000 | <c_wraith> | _bin: in case you're curious.. The OverloadedStrings extension just adds fromString calls to all string *literals* in the code. You can apply those calls yourself, if you so desire. |
| 2021-08-29 20:46:52 +0000 | <maerwald> | yeah, overloadedstrings can confuse type inference etc |
| 2021-08-29 20:47:16 +0000 | <_bin> | Oh, handy to know, thanks. I'll give that a shot instead. |
| 2021-08-29 20:47:18 +0000 | <maerwald> | it would be cool if you could specify for which literals it works |
| 2021-08-29 20:48:40 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2021-08-29 20:48:41 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-08-29 20:49:11 +0000 | jtomas_ | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-29 20:49:47 +0000 | <maerwald> | that would also solve half of the bytestring debacle, because you could just ban the instance |
| 2021-08-29 20:50:34 +0000 | ubert | (~Thunderbi@178.165.168.136.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-08-29 20:50:40 +0000 | <Cale> | I think a default declaration might work? |
| 2021-08-29 20:51:22 +0000 | <Cale> | At least, if what you want is the same as annotating all the ambiguous stuff with :: Text or some such. |
| 2021-08-29 20:52:04 +0000 | elf_fortrezz | (~elf_fortr@adsl-72-50-5-53.prtc.net) |
| 2021-08-29 20:52:36 +0000 | <c_wraith> | Not by itself. Maybe with ExtendedDefaultRules that would work |
| 2021-08-29 20:53:46 +0000 | <Cale> | Haskell’s defaulting mechanism (Haskell Report, Section 4.3.4) is extended to cover string literals, when OverloadedStrings is specified. Specifically: |
| 2021-08-29 20:53:46 +0000 | <Cale> | Each type in a default declaration must be an instance of Num or of IsString. |
| 2021-08-29 20:53:46 +0000 | <Cale> | If no default declaration is given, then it is just as if the module contained the declaration default( Integer, Double, String). |
| 2021-08-29 20:53:46 +0000 | <Cale> | The standard defaulting rule is extended thus: defaulting applies when all the unresolved constraints involve standard classes or IsString; and at least one is a numeric class or IsString. |
| 2021-08-29 20:54:06 +0000 | <c_wraith> | oh, huh. I didn't realize OverloadedStrings included that |
| 2021-08-29 20:55:26 +0000 | <Cale> | I didn't know about it either, just suspected that someone might've done it due to the purpose of defaulting in the first place. |
| 2021-08-29 20:58:14 +0000 | <_bin> | Cale: Oh cool, thanks for mentioning that. |
| 2021-08-29 21:00:49 +0000 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 248 seconds) |
| 2021-08-29 21:01:15 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-29 21:01:54 +0000 | ubert | (~Thunderbi@178.165.168.136.wireless.dyn.drei.com) |
| 2021-08-29 21:02:40 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-08-29 21:03:27 +0000 | elf_fortrezz | (~elf_fortr@adsl-72-50-5-53.prtc.net) (Quit: Client closed) |
| 2021-08-29 21:07:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-29 21:07:18 +0000 | cryptomonad | (~cryptomon@194.191.225.149) (Remote host closed the connection) |
| 2021-08-29 21:09:48 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
| 2021-08-29 21:13:44 +0000 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 250 seconds) |
| 2021-08-29 21:14:01 +0000 | Codaraxis | (~Codaraxis@user/codaraxis) |
| 2021-08-29 21:15:19 +0000 | jtomas_ | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-08-29 21:17:31 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2021-08-29 21:23:17 +0000 | opac | (~opac@ip-28-56.sn2.clouditalia.com) |
| 2021-08-29 21:24:00 +0000 | <opac> | any book/articles/blogs about haskell bug/vulnerabilities? |
| 2021-08-29 21:26:03 +0000 | Codaraxis_ | (~Codaraxis@user/codaraxis) |
| 2021-08-29 21:27:21 +0000 | <maerwald> | opac: we've been pretending that doesn't exist... I'm still waiting for the first big incident |
| 2021-08-29 21:27:22 +0000 | <sm> | nope, never happens |
| 2021-08-29 21:27:32 +0000 | <maerwald> | we don't even have a CVE workflow |
| 2021-08-29 21:27:37 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) |
| 2021-08-29 21:29:07 +0000 | <opac> | lol |
| 2021-08-29 21:29:25 +0000 | <opac> | no segfaults ? :( |
| 2021-08-29 21:29:37 +0000 | Codaraxis | (~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2021-08-29 21:30:04 +0000 | <davean> | opac: how would you get a segv with Haskell? You'd have to really do something thats explicitely a problem |
| 2021-08-29 21:30:34 +0000 | <maerwald> | easily via borked ffi |
| 2021-08-29 21:31:27 +0000 | Codaraxis_ | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2021-08-29 21:32:37 +0000 | <opac> | davean: I dont know. I am interested in learning how those cases happen. Never wrote 1 line of haskell :x |
| 2021-08-29 21:32:54 +0000 | <opac> | Im young :X |
| 2021-08-29 21:32:57 +0000 | <maerwald> | https://www.haskell.org/ghc/blog/20210709-capi-usage.html |
| 2021-08-29 21:33:07 +0000 | <jpds> | opac: Maybe start with a book on Haskell itself then |
| 2021-08-29 21:33:24 +0000 | janiczek | (~janiczek@89-24-215-117.customers.tmcz.cz) |
| 2021-08-29 21:33:27 +0000 | Codaraxis__ | (~Codaraxis@user/codaraxis) (Ping timeout: 240 seconds) |
| 2021-08-29 21:34:16 +0000 | <opac> | jpds will do |
| 2021-08-29 21:36:39 +0000 | <monochrom> | I don't understand the motivation behind the question. Suppose I had never learned C. I don't suppose it would be productive to read "C bugs/vulnerability blogs". Unless my goal were to look for something to laugh at. |
| 2021-08-29 21:36:50 +0000 | <maerwald> | :D |
| 2021-08-29 21:37:01 +0000 | <maerwald> | or win a specific argument |
| 2021-08-29 21:37:57 +0000 | <davean> | maerwald: yes, ffi is explicitely a problem, as is unsafe coerce |
| 2021-08-29 21:38:16 +0000 | <davean> | You want to do both sometimes, but its pretty clear that they can be a problem |
| 2021-08-29 21:42:04 +0000 | <opac> | monochrom: i have interest in security related topics thats why and was looking for a writeup or blog of a haskell's program being exploited (rare) - if I come with one, can I turn to NFT? |
| 2021-08-29 21:42:47 +0000 | <opac> | davean: you'd say ffi is the source of prior `bugs`? |
| 2021-08-29 21:42:51 +0000 | <monochrom> | Would you understand it? Do you have the Haskell knowledge to understand it? |
| 2021-08-29 21:43:21 +0000 | <monochrom> | Like I said, if I hadn't learned C, I would not understand an article that requires knowledge in C. |
| 2021-08-29 21:43:42 +0000 | <opac> | well depends, which other langs you know |
| 2021-08-29 21:44:10 +0000 | <monochrom> | Haskell. Pascal. |
| 2021-08-29 21:45:43 +0000 | <opac> | since the syntax is way simpler... if the writeup is detailed... then I am sure you'd have an enjoyable time reading C |
| 2021-08-29 21:45:52 +0000 | <davean> | No, I don't think so at all |
| 2021-08-29 21:46:05 +0000 | <davean> | That misses the poin tof whats important to understand this |
| 2021-08-29 21:46:05 +0000 | <maerwald> | https://frasertweedale.github.io/blog-fp/posts/2021-02-12-haskell-dependency-confusion.html |
| 2021-08-29 21:46:18 +0000 | <davean> | The only thing close enough to be useful for me to understand C is probably assembly |
| 2021-08-29 21:47:01 +0000 | <janiczek> | Hey there, I'm writing manual combined Except+State monad impl in Elm and I can't figure out the ending of andThen (bind). I'm sure it's something silly. Could you take a look? https://gist.github.com/Janiczek/a979c8a8f59d4a5186b2a340991a3aef |
| 2021-08-29 21:47:06 +0000 | <maerwald> | I believe there was a hacking course too, but I can't find it anymore |
| 2021-08-29 21:47:59 +0000 | kenran | (~kenran@200116b82b597200c49c746a42f32f39.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2021-08-29 21:49:20 +0000 | fendor | (~fendor@178.165.182.151.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-08-29 21:50:58 +0000 | <opac> | thanks for your thoughs |
| 2021-08-29 21:51:12 +0000 | <monochrom> | janiczek: I understand "s -> Result e (s, a)", and I understand "s -> (s, Result e a)". But I don't understand "Result e (s -> (s, a))". Do you? |
| 2021-08-29 21:52:24 +0000 | <janiczek> | @monochrom: Um, you're saying State . Except makes sense but Except . State isn't possible? |
| 2021-08-29 21:52:24 +0000 | <lambdabot> | Unknown command, try @list |
| 2021-08-29 21:57:57 +0000 | mastarija | (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving) |
| 2021-08-29 21:58:46 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-08-29 21:58:54 +0000 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-29 21:59:43 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-08-29 22:00:40 +0000 | max22- | (~maxime@2a01cb0883359800468c3975aa62b651.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 2021-08-29 22:00:53 +0000 | <janiczek> | Hm indeed when I tried "s -> Result e (s, a)" I had no issues... |
| 2021-08-29 22:01:26 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-29 22:03:04 +0000 | jtomas_ | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-29 22:04:28 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-29 22:04:36 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-08-29 22:06:59 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-08-29 22:12:30 +0000 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-08-29 22:12:32 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:f0e1:80b7:ba04:2699) |
| 2021-08-29 22:13:39 +0000 | <Cale> | maerwald: Good reason to be using nix, and to specify the hashes that you expect Hackage packages to have when downloaded. :) |
| 2021-08-29 22:19:46 +0000 | <janiczek> | So `ExceptT e (StateT s a)` and `StateT s (ExceptT e a)` result in `s -> Either e (a, s)` and `s -> (Either e a, s)` but neither in `Either e (s -> (a, s))` or something else that would have the Either on the outside? |
| 2021-08-29 22:20:35 +0000 | <Cale> | correct |
| 2021-08-29 22:21:39 +0000 | xlei | (znc@pool-68-129-84-118.nycmny.fios.verizon.net) |
| 2021-08-29 22:21:40 +0000 | Guest372 | (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-08-29 22:21:41 +0000 | <janiczek> | Seems unsymmetrical somehow :D and slightly magical... but fair enough |
| 2021-08-29 22:22:11 +0000 | <Cale> | Well, if you just look at the definition of ExceptT and especially StateT, it'll become clear why :) |
| 2021-08-29 22:22:42 +0000 | <Cale> | newtype StateT s m a = StateT { runStateT :: s -> m (a, s) } |
| 2021-08-29 22:22:46 +0000 | Guest372 | (~xxx@47.245.54.240) |
| 2021-08-29 22:23:07 +0000 | <Cale> | puts the m in the middle |
| 2021-08-29 22:24:27 +0000 | <janiczek> | Ah I see |
| 2021-08-29 22:24:57 +0000 | roboguy__ | (~roboguy_@2605:a601:afe7:9f00:d502:dcbd:b41f:7bd1) |
| 2021-08-29 22:25:07 +0000 | <Cale> | Also, perhaps if you don't hide the m's... |
| 2021-08-29 22:25:42 +0000 | <Cale> | @unmtl ExceptT e (StateT s a) |
| 2021-08-29 22:25:42 +0000 | <lambdabot> | err: `ExceptT e (StateT s a)' is not applied to enough arguments, giving `/\A. s -> a (Either e A, s)' |
| 2021-08-29 22:25:54 +0000 | <Cale> | @unmtl ExceptT e (StateT s m a) |
| 2021-08-29 22:25:54 +0000 | <lambdabot> | err: `ExceptT e (s -> m (a, s))' is not applied to enough arguments. |
| 2021-08-29 22:25:59 +0000 | <Cale> | @unmtl ExceptT e (StateT s m) a |
| 2021-08-29 22:25:59 +0000 | <lambdabot> | s -> m (Either e a, s) |
| 2021-08-29 22:26:02 +0000 | <Cale> | there :) |
| 2021-08-29 22:26:30 +0000 | <Cale> | @unmtl StateT s (EitherT e m) a |
| 2021-08-29 22:26:30 +0000 | <lambdabot> | s -> EitherT e m (a, s) |
| 2021-08-29 22:26:54 +0000 | <Cale> | @unmtl StateT s (ExceptT e m) a |
| 2021-08-29 22:26:54 +0000 | <lambdabot> | s -> m (Either e (a, s)) |
| 2021-08-29 22:27:50 +0000 | roboguy_ | (~roboguy_@2605:a601:afe7:9f00:f0e1:80b7:ba04:2699) (Ping timeout: 250 seconds) |
| 2021-08-29 22:28:07 +0000 | <Cale> | Quite often monad transformers end up changing the result type of the monad they're transforming, internally |
| 2021-08-29 22:29:55 +0000 | <janiczek> | Yeah it didn't occur to me, I went straight for "the other monad goes instead of `a` and that's it". Thanks for the explanation! |
| 2021-08-29 22:30:40 +0000 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-08-29 22:38:16 +0000 | janiczek | (~janiczek@89-24-215-117.customers.tmcz.cz) (Quit: WeeChat 3.2) |
| 2021-08-29 22:40:45 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-29 22:40:48 +0000 | chris | Guest8787 |
| 2021-08-29 22:42:40 +0000 | cjb | (~cjb@user/cjb) |
| 2021-08-29 22:44:58 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-7-204.prtc.net) |
| 2021-08-29 22:45:53 +0000 | elf_fortrez | (~elf_fortr@adsl-72-50-7-204.prtc.net) (Client Quit) |
| 2021-08-29 22:46:30 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-08-29 22:47:44 +0000 | pavonia_ | (~user@user/siracusa) |
| 2021-08-29 22:48:40 +0000 | sander | (~sander@user/sander) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:02 +0000 | sander | (~sander@user/sander) |
| 2021-08-29 22:49:05 +0000 | orcus- | (~orcus@user/brprice) |
| 2021-08-29 22:49:10 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:10 +0000 | pavonia | (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:10 +0000 | toms | (~foobar@pogostick.net) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:10 +0000 | koolazer | (~koo@user/koolazer) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:17 +0000 | toms | (~foobar@pogostick.net) |
| 2021-08-29 22:49:26 +0000 | pavonia_ | pavonia |
| 2021-08-29 22:49:40 +0000 | haykam | (~haykam@static.100.2.21.65.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:40 +0000 | sts-q | (~sts-q@91.200.108.136) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:40 +0000 | td_ | (~td@muedsl-82-207-238-209.citykom.de) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:40 +0000 | orcus | (~orcus@user/brprice) (Ping timeout: 240 seconds) |
| 2021-08-29 22:49:40 +0000 | nisstyre | (~wes@user/nisstyre) (Ping timeout: 240 seconds) |
| 2021-08-29 22:50:10 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2021-08-29 22:50:10 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (Ping timeout: 240 seconds) |
| 2021-08-29 22:50:30 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 22:50:51 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-29 22:51:11 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-29 22:51:37 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 22:51:40 +0000 | ishutin_ | (~ishutin@178-164-206-57.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2021-08-29 22:51:51 +0000 | td_ | (~td@muedsl-82-207-238-209.citykom.de) |
| 2021-08-29 22:52:10 +0000 | ridcully_ | (~ridcully@p508ac428.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2021-08-29 22:52:10 +0000 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) (Ping timeout: 240 seconds) |
| 2021-08-29 22:53:17 +0000 | jtomas_ | (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-29 22:53:44 +0000 | <maerwald[m]> | Cale: `plan.json` has hashes as well |
| 2021-08-29 22:53:46 +0000 | ishutin | (~ishutin@178-164-206-57.pool.digikabel.hu) |
| 2021-08-29 22:54:03 +0000 | keltono | (~kelton@x-160-94-179-178.acm.umn.edu) |
| 2021-08-29 22:54:13 +0000 | ridcully_ | (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 2021-08-29 22:56:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 22:57:37 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 22:58:09 +0000 | Gurkenglas | (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2021-08-29 22:59:02 +0000 | d0ku | (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 2021-08-29 23:03:02 +0000 | nisstyre | (~wes@user/nisstyre) |
| 2021-08-29 23:03:14 +0000 | koolazer | (~koo@user/koolazer) |
| 2021-08-29 23:04:14 +0000 | tdammers | (~tdammers@77.109.72.213) |
| 2021-08-29 23:04:39 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-29 23:11:24 +0000 | kayprish | (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection) |
| 2021-08-29 23:12:35 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b952094eaf2f81a5b0fde.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-29 23:20:31 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-08-29 23:21:38 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-08-29 23:22:40 +0000 | juri_ | (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 2021-08-29 23:24:24 +0000 | juri_ | (~juri@178.63.35.222) |
| 2021-08-29 23:25:07 +0000 | MQ-17J | (~MQ-17J@8.6.144.209) (Ping timeout: 252 seconds) |
| 2021-08-29 23:25:53 +0000 | dsrt^ | (~dsrt@wsip-98-188-244-188.mc.at.cox.net) (Ping timeout: 248 seconds) |
| 2021-08-29 23:30:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2021-08-29 23:32:29 +0000 | opac | (~opac@ip-28-56.sn2.clouditalia.com) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-08-29 23:33:22 +0000 | Guest8787 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-29 23:36:38 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-29 23:36:42 +0000 | chris | Guest9625 |
| 2021-08-29 23:37:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-29 23:39:17 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-29 23:41:57 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:44d2:fabf:4572:a77d) (Remote host closed the connection) |
| 2021-08-29 23:53:12 +0000 | Guest9625 | (~chris@81.96.113.213) (Ping timeout: 250 seconds) |
| 2021-08-29 23:55:23 +0000 | chomwitt | (~chomwitt@2a02:587:dc09:9800:12c3:7bff:fe6d:d374) (Remote host closed the connection) |
| 2021-08-29 23:56:51 +0000 | chris | (~chris@81.96.113.213) |
| 2021-08-29 23:56:54 +0000 | chris | Guest9678 |
