Logs: liberachat/#haskell
| 2021-06-18 14:44:02 | <merijn> | Isn't that just -Wwarn ? |
| 2021-06-18 14:44:37 | <janus> | aah maybe, thanks! |
| 2021-06-18 14:45:46 | <janus> | delYsid: pretty sure the LSP protocol doesn't care about pixel positions within a text character. so it is not specific to mouse. |
| 2021-06-18 14:45:55 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 14:46:01 | <lortabac> | there is ':unset', but apparently it doesn't work with -Werror |
| 2021-06-18 14:46:28 | <delYsid> | merijn: TH was interesting, but the moment I had to learn th-compat to work around Q (TExp a) vs Code Q a I was for a short moment hating the moment I followed your advice :-) |
| 2021-06-18 14:46:51 | × | hueso quits (~root@152.170.216.40) (Changing host) |
| 2021-06-18 14:46:51 | → | hueso joins (~root@user/hueso) |
| 2021-06-18 14:47:10 | <delYsid> | janus: I guessed as much. However, the emacs lsp impl. I use seems to have forgotten about terminals. |
| 2021-06-18 14:47:22 | → | yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-18 14:47:30 | × | fendor__ quits (~fendor@77.119.131.188.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-06-18 14:48:50 | → | fm joins (~fm@user/fm) |
| 2021-06-18 14:49:11 | <janus> | delYsid: i never saw an emacs mode that only worked in GUI mode so i dunno about that... but i guess theory in it could exist |
| 2021-06-18 14:49:48 | <janus> | but why would anyone write an LSP mode like that? still doesn't make sense to me |
| 2021-06-18 14:50:07 | <delYsid> | janus: Yeah, usually emacs is pretty nice about terminal vs gui compatibility. But the new wave of young and spiffy coders seem to have forgotten about it. |
| 2021-06-18 14:50:27 | <janus> | i would verify it before making assertions like that ;) |
| 2021-06-18 14:50:39 | <delYsid> | I fucking read the code! :-) |
| 2021-06-18 14:50:49 | <delYsid> | reading through lsp-lens.el makes the story quite clear |
| 2021-06-18 14:50:59 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-18 14:51:06 | <delYsid> | Fun is, I remember there was a way to do this a year ago, but they seem to have it removed since... |
| 2021-06-18 14:51:31 | × | listofoptions quits (~haha@nat.syssrc.com) (Read error: Connection reset by peer) |
| 2021-06-18 14:52:01 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-18 14:52:38 | ← | muto parts (~muto@d75-159-225-7.abhsia.telus.net) () |
| 2021-06-18 14:52:58 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-18 14:54:49 | → | jneira[m] joins (~jneira@242.red-176-83-168.dynamicip.rima-tde.net) |
| 2021-06-18 14:54:51 | × | altern quits (~altern@altern.corbina.com.ua) (Ping timeout: 268 seconds) |
| 2021-06-18 14:55:10 | × | elf_fortrez quits (~elf_fortr@adsl-64-237-239-58.prtc.net) (Ping timeout: 250 seconds) |
| 2021-06-18 14:56:12 | × | boxscape quits (~boxscape@user/boxscape) (Ping timeout: 268 seconds) |
| 2021-06-18 14:57:47 | → | listofoptions joins (~haha@nat.syssrc.com) |
| 2021-06-18 15:01:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-18 15:06:42 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 240 seconds) |
| 2021-06-18 15:06:50 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 15:10:32 | shapr | hugs delYsid |
| 2021-06-18 15:11:30 | <shapr> | delYsid: someone from the Haskell Foundation recently asked me about Haskell coders who might have accessibility issues |
| 2021-06-18 15:11:47 | <shapr> | I linked them to your braille backend for diagrams, and suggested you might be a person to ask |
| 2021-06-18 15:12:01 | <shapr> | delYsid: do you have an orbit reader? |
| 2021-06-18 15:12:13 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 15:13:41 | → | Guest9 joins (~Guest9@103.250.137.30) |
| 2021-06-18 15:13:56 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-18 15:17:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Ping timeout: 272 seconds) |
| 2021-06-18 15:17:38 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-18 15:18:30 | × | jneira[m] quits (~jneira@242.red-176-83-168.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-06-18 15:20:53 | → | andreas303 joins (andreas303@ip227.orange.bnc4free.com) |
| 2021-06-18 15:21:04 | × | delYsid quits (~user@213.208.157.38) (Remote host closed the connection) |
| 2021-06-18 15:22:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-18 15:24:24 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 15:26:30 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 15:28:04 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-18 15:29:44 | × | koishi_ quits (~user@185.209.85.134) (Remote host closed the connection) |
| 2021-06-18 15:31:14 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-18 15:31:49 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-18 15:37:12 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Remote host closed the connection) |
| 2021-06-18 15:37:16 | <Guest9> | if 3(m) symbols then 2^3(2^m) possible sequence, how? |
| 2021-06-18 15:37:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection) |
| 2021-06-18 15:37:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-18 15:37:38 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) |
| 2021-06-18 15:37:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 15:38:45 | × | pera quits (~pera@user/pera) (Ping timeout: 272 seconds) |
| 2021-06-18 15:39:33 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-06-18 15:39:34 | → | jneira[m] joins (~jneira@242.red-176-83-168.dynamicip.rima-tde.net) |
| 2021-06-18 15:39:52 | × | jorjor quits (~jorgemene@85.251.190.6.dyn.user.ono.com) (Ping timeout: 268 seconds) |
| 2021-06-18 15:42:26 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:c3b0:1a89:f9cb:1a29) (Ping timeout: 252 seconds) |
| 2021-06-18 15:43:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-06-18 15:43:19 | → | andreas31 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-06-18 15:43:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 15:44:04 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 15:44:38 | → | fendor__ joins (~fendor@e254-166.eduroam.tuwien.ac.at) |
| 2021-06-18 15:44:45 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-18 15:47:50 | × | andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Client Quit) |
| 2021-06-18 15:48:20 | → | andreas31 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-06-18 15:48:59 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-18 15:49:33 | × | andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Client Quit) |
| 2021-06-18 15:49:44 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 15:51:27 | <pavonia> | Guest9: What's the context of that question? |
| 2021-06-18 15:51:55 | <dminuoso> | 11:00:35 Guest9 | if i have m placeholders/bins/boxes & n values/symbols, how many combinations it is possible to make without repeating any value/symbol? |
| 2021-06-18 15:51:59 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-18 15:52:01 | <Guest9> | i am reaidng CLRS book, came across that statememnt i am trying to understand it. pavonia |
| 2021-06-18 15:52:12 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2021-06-18 15:52:37 | <Guest9> | dminuoso that issue was resolved. |
| 2021-06-18 15:52:40 | × | jneira[m] quits (~jneira@242.red-176-83-168.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-06-18 15:52:55 | <Guest9> | n!/(n-m)! |
| 2021-06-18 15:53:07 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-18 15:53:18 | <dminuoso> | are you sure its not n!/m!(n-m)! ? |
| 2021-06-18 15:53:42 | <Guest9> | 100 values, 2 boxes so total 100*99 combinations |
| 2021-06-18 15:53:53 | <Guest9> | 100!/(100-2)! |
| 2021-06-18 15:54:29 | <dminuoso> | Guest9: Ah, I guess you care about the order of symbols? |
| 2021-06-18 15:54:34 | <Guest9> | unique-without repeating any value/symbol |
| 2021-06-18 15:54:45 | <dminuoso> | Right, gotcha |
| 2021-06-18 15:55:10 | <dminuoso> | Guest9: So sn and ns are both valid combinations, correct? |
| 2021-06-18 15:55:20 | <Guest9> | yes |
| 2021-06-18 15:55:23 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-06-18 15:55:29 | <Guest9> | so what does this gives?n!/m!(n-m)! |
| 2021-06-18 15:55:35 | <Guest9> | what is intuition for it? |
| 2021-06-18 15:56:03 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-18 15:56:06 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-18 15:57:03 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-18 15:58:08 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-06-18 15:58:16 | <Guest9> | so does it mean if values=1,2,3=>(1,2)(1,3)(2,3) |
| 2021-06-18 15:58:26 | <pavonia> | All sequences where order doesn't matter, I think |
| 2021-06-18 15:59:15 | <hrnz> | this counts the number of m-subsets of an n-elemnent st. |
All times are in UTC.